#19359: Implement finite-dimensional subalgebras with basis
---------------------------+------------------------------------
   Reporter:  tscrim       |            Owner:  tscrim
       Type:  enhancement  |           Status:  new
   Priority:  major        |        Milestone:  sage-6.9
  Component:  algebra      |         Keywords:  subalgebras
  Merged in:               |          Authors:  Travis Scrimshaw
  Reviewers:               |  Report Upstream:  N/A
Work issues:               |           Branch:
     Commit:               |     Dependencies:
   Stopgaps:               |
---------------------------+------------------------------------
 We currently have no generic class for subalgebras. In this ticket, we
 should implement basic features for magmatic subalgebras of a magmatic
 algebra with a basis:

 - finding a basis,
 - constructing the derived/lower central series,
 - centralizers and normalizers of a subset of elements, and
 - related properties.

 This will also promote some methods such as `center` to the category of
 magmatic algebras.

--
Ticket URL: <http://trac.sagemath.org/ticket/19359>
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.

Reply via email to