#5244: is_unit is mostly not implemented for symbolic ring.
---------------------+------------------------------------------------------
 Reporter:  hivert   |       Owner:  hivert                
     Type:  defect   |      Status:  new                   
 Priority:  major    |   Milestone:                        
Component:  algebra  |    Keywords:  is_unit, symbolic ring
---------------------+------------------------------------------------------
 Here is the code of is_unit for symbolic rings (it is actually iherited
 from Ring):
 {{{
     def is_unit(self):
         if self == 1 or self == -1:
             return True
         raise NotImplementedError
 }}}
 On can do better !!!

 As a result
 {{{
 sage: m=matrix(SR, 2,2)
 sage: m.is_invertible()
 ---------------------------------------------------------------------------
 NotImplementedError                       Traceback (most recent call
 last)
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5244>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of 
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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