#7160: comparison with quadratic number field elements needs work
-----------------------------+----------------------------------------------
   Reporter:  mhansen        |       Owner:  davidloeffler
       Type:  defect         |      Status:  needs_work   
   Priority:  major          |   Milestone:  sage-4.2.1   
  Component:  number fields  |    Keywords:               
Work_issues:                 |      Author:  Mike Hansen  
   Reviewer:                 |      Merged:               
-----------------------------+----------------------------------------------
Changes (by cremona):

  * status:  needs_review => needs_work


Comment:

 I think this is confusing:  you have an ordering of elements of a real or
 imaginary quadratic field which is based on some kind of lexicographic
 ordering on the representation of the elements rather than anything
 mathematical.  Presumably this is so lists, etc, can be sorted in a
 pythonic way.  But I find this bizarre:
 {{{
 sage: K.<i> = QuadraticField(-1)
 sage: i>0
 True
 }}}
 and this raises a strange error:
 {{{
 sage: K.<a> = NumberField(x^2+x-10)
 sage: a < -a
 ---------------------------------------------------------------------------
 SystemError                               Traceback (most recent call
 last)

 /home/john/.sage/temp/ubuntu/790/_home_john__sage_init_sage_0.py in
 <module>()

 SystemError: error return without exception set
 sage: Type(K)
 ---------------------------------------------------------------------------
 NameError                                 Traceback (most recent call
 last)

 /home/john/.sage/temp/ubuntu/790/_home_john__sage_init_sage_0.py in
 <module>()

 NameError: name 'Type' is not defined
 sage: type(K)
 <class 'sage.rings.number_field.number_field.NumberField_quadratic'>
 }}}

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