#19359: Implement finite-dimensional subalgebras with basis
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: algebra | Resolution:
Keywords: subalgebras | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/algebras/subalgebras-19359 | 0f159aaa1c04b36e482f623a98a875cf246a17ae
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by tscrim):
* cc: nthiery, darij, virmaux (added)
* status: new => needs_review
* commit: => 0f159aaa1c04b36e482f623a98a875cf246a17ae
* branch: => public/algebras/subalgebras-19359
* milestone: sage-6.9 => sage-6.10
Comment:
Some things that might need a discussion:
- I made the lift map from a submodule a coercion.
- I made a distinction between a subalgebra and a unital subalgebra, where
the latter enforces that unit match in the subalgebra.
- Move code up to magamatic algebras, but it should be okay since it only
involves products of 2 elements.
- How to better incorporate axiomatic information to the category of the
subalgebras. For example, subalgebras of algebras of finite groups are
always unital, but this is not reflected currently in the category setup
because it seemed like too much of a headache right now.
Thoughts?
For a future ticket, we should implement `idealizer` (equivalent to a
normalizer for Lie algebras).
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=0f159aaa1c04b36e482f623a98a875cf246a17ae
0f159aa]||{{{Adding basic support for subalgebras}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/19359#comment:3>
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/d/optout.
