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

Old 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]

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

--

--
Ticket URL: <http://trac.sagemath.org/ticket/11111#comment:25>
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