Brauer Algebra Idempotents

[pavjav]

Ticket dedicated to the implementation of Brauer Algebra Idempotents

CC: @tscrim

Component: algebra

Keywords: Brauer Algebra, idempotents

Author: Pavel Javornik

Branch/Commit: u/gh-pavjav/brauer_algebra_idempotents @ 4e1305b

Reviewer: Pavel Javornik

Issue created by migration from https://trac.sagemath.org/ticket/28279

[pavjav]

Changed keywords from none to Brauer Algebra, idempotents

[pavjav]

Author: Pavel Javornik

[pavjav]

Reviewer: Pavel Javornik

[pavjav]

Branch: u/gh-pavjav/brauer_algebra_idempotents

[pavjav]

Changed branch from u/gh-pavjav/brauer_algebra_idempotents to brauer_algebra_idempotents

[pavjav]

Changed branch from brauer_algebra_idempotents to u/gh-pavjav/brauer_algebra_idempotents

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

[sagetrac-git]

Commit: 1537fe5

[fchapoton]

comment:6

the branch is empty

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

4e1305b

First edit. Added call .central_primitive_idempotents() to return list. Minor concerns about division by zero errors when k=3, z=4 due to ocurrence of (z-4) terms in denominator of interpolating polynomial expression. May need to cancel terms with numerator terms before evaluating with Jucys-Murphy elements.

[sagetrac-git]

Changed commit from 1537fe5 to 4e1305b

[pavjav]

comment:8

TODO:

--Resolve division by zero errors. See example when order is 3 and deformation parameter is 4. As in https://arxiv.org/pdf/1606.08900.pdf , pg. 31 where the rank 3 idempotents are listed, there is a (delta-4) in the denominator. Perhaps there are terms that cancel? B_3(4) is semisimple after all.

--Cite https://arxiv.org/pdf/1606.08900.pdf

--Code must be organized and optimized as per development standards

[embray]

comment:9

Ticket retargeted after milestone closed

[mkoeppe]

comment:10

Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.

[mkoeppe]

comment:12

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.