#14234: Restructuring Diagram/Partition Algebras to match category structure
-------------------------------------+-------------------------------------
Reporter: ghseeli | Owner: AlexGhitza
Type: enhancement | Status: positive_review
Priority: minor | Milestone: sage-5.12
Component: algebra | Resolution:
Keywords: Partition | Merged in:
algebra, diagram algebra, days38, | Reviewers: Travis Scrimshaw,
days40 | Darij Grinberg
Authors: Stephen Doty, | Work issues:
Aaron Lauve, George H. Seelinger | Commit:
Report Upstream: N/A | Stopgaps:
Branch: |
Dependencies: #10630 |
-------------------------------------+-------------------------------------
Changes (by tscrim):
* status: needs_work => positive_review
Old description:
> Currently, the Partition/Diagram Algebra implementations in Sage need to
> be redone. This problem was identified at Sage Days 38. The documentation
> is not very clear on how it should be used, and although it is supposed
> to be an algebra, it does not follow the standard form for algebras in
> Sage (most likely because these algebras have not been modified since
> 2007.) [[BR]][[BR]]This attached program seeks to provide an alternate
> implementation for, and eventually replace once dependencies are
> resolved, the existing !PartionAlgebra package. More detail about these
> specific algebras can be found in a 2005 paper by Halverson and Ram
> titled "Partition Algebras." This new implementation restructures the
> Partition/Diagram Algebras to use the category structure in Sage, so that
> they are actually implemented as Algebras_with_basis. The new
> implementation also provides much more detailed documentation on how to
> use the Partition Algebras, what they actually are, and provides an
> easier and more standard usage pattern (inherited from
> !CombinatorialFreeModule.)
>
> ----
>
> Apply:
>
> * [attachment:trac_14234_revision_for_5.10_compatibility.patch]
New description:
Currently, the Partition/Diagram Algebra implementations in Sage need to
be redone. This problem was identified at Sage Days 38. The documentation
is not very clear on how it should be used, and although it is supposed to
be an algebra, it does not follow the standard form for algebras in Sage
(most likely because these algebras have not been modified since 2007.)
[[BR]][[BR]]This attached program seeks to provide an alternate
implementation for, and eventually replace once dependencies are resolved,
the existing !PartionAlgebra package. More detail about these specific
algebras can be found in a 2005 paper by Halverson and Ram titled
"Partition Algebras." This new implementation restructures the
Partition/Diagram Algebras to use the category structure in Sage, so that
they are actually implemented as Algebras_with_basis. The new
implementation also provides much more detailed documentation on how to
use the Partition Algebras, what they actually are, and provides an easier
and more standard usage pattern (inherited from !CombinatorialFreeModule.)
----
Apply:
* [attachment:trac_14234-folded-ts.patch]
--
Comment:
Here's the folded patch which replaces asserts with raising `ValueError`s.
For patchbot:
Apply: trac_14234-folded-ts.patch
--
Ticket URL: <http://trac.sagemath.org/ticket/14234#comment:28>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
