#16819: Implement categories for Lie algebras
-------------------------------------+-------------------------------------
       Reporter:  tscrim             |        Owner:  tscrim
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.4
      Component:  categories         |   Resolution:
       Keywords:  lie algebras       |    Merged in:
        Authors:  Travis Scrimshaw   |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  public/categories/lie_algebras-16819|  
6608a1805869afd139d6c1c6361caf2542363b25
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by tscrim):

 Duh, a module with a basis is a free module by definition...(Although that
 specific category is just an alias.) However in this case it is somewhat
 stronger of a category in that there is a distinguished basis (i.e., like
 sets with a marked point). Perhaps we need to lower the `to_vector` into
 the fin-dim w/ basis category (if it's not already there)?

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