#7797: Full interface to letterplace from singular
---------------------------------------------------------------+------------
   Reporter:  burcin                                           |       Owner:  
burcin      
       Type:  enhancement                                      |      Status:  
needs_review
   Priority:  major                                            |   Milestone:  
sage-4.7    
  Component:  algebra                                          |    Keywords:  
singular    
     Author:  Simon King, Michael Brickenstein, Burcin Erocal  |    Upstream:  
N/A         
   Reviewer:                                                   |      Merged:   
           
Work_issues:                                                   |  
---------------------------------------------------------------+------------

Comment(by SimonKing):

 I forgot one technical detail:

 Not all rings inherit from the base class of rings. Examples are matrix
 algebras. In order to support non-commutative ideals for such rings, I
 provide the relevant methods as `ParentMethods` in the category of
 `Rings()`. Perhaps this duplication of code is considered a code smell.

 At least, it enables the following:
 {{{
 sage: MS = MatrixSpace(QQ,2,2)
 sage: MS*[MS.1,2]
 Left Ideal
 (
   [0 1]
   [0 0],

   [2 0]
   [0 2]
 )
  of Full MatrixSpace of 2 by 2 dense matrices over Rational Field
 }}}

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