#11111: More support for finite dimensional modules and algebras with basis
---------------------------------------------------------------------+------
       Reporter:  nthiery                                            |         
Owner:  nthiery 
           Type:  enhancement                                        |        
Status:  new     
       Priority:  major                                              |     
Milestone:  sage-5.0
      Component:  categories                                         |    
Resolution:          
       Keywords:                                                     |   Work 
issues:          
Report Upstream:  N/A                                                |     
Reviewers:          
        Authors:  Florent Hivert, Franco Saliola, Nicolas M. ThiƩry  |     
Merged in:          
   Dependencies:                                                     |      
Stopgaps:          
---------------------------------------------------------------------+------
Description changed by nthiery:

Old description:

> The patch under development on the Sage-Combinat queue adds generic
> features around morphisms, subspaces, quotients, ... for finite
> dimensional modules and algebras with basis.
>
> [http://combinat.sagemath.org/patches/file/tip/trac_11111
> -finite_dimensional_modules-nt.patch]

New description:

 More support for finite dimensional modules and algebras with basis:

 * Echelon form of list of vectors
 * Submodules and quotients
 * Example of a finite dimensional algebra with basis:
   the path algebra of the Kronecker quiver
 * Category SemisimpleAlgebras(...)
 * Finite group algebras are semisimple in characteristic 0
 * Center, radical, and semisimple quotient of a finite dimensional algebra
 * Annihilator
 * Matrix and inverse of module morphisms
 * Some more support for term orders in CombinatorialFreeModule
 * map_support_skip_none in ModulesWithBasis


 The patch under development on the Sage-Combinat queue is close to
 completion
 [http://combinat.sagemath.org/patches/file/tip/trac_11111
 -finite_dimensional_modules-nt.patch]

--

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11111#comment:4>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to