#3416: Weierstrass form for cubics
-----------------------------+----------------------------------------------
   Reporter:  moretti        |       Owner:  was                                
                       
       Type:  enhancement    |      Status:  needs_work                         
                       
   Priority:  major          |   Milestone:  sage-4.6.1                         
                       
  Component:  number theory  |    Keywords:  nagell, weierstrass, cubic, 
elliptic curves, editor_wstein
     Author:                 |    Upstream:  N/A                                
                       
   Reviewer:                 |      Merged:                                     
                       
Work_issues:                 |  
-----------------------------+----------------------------------------------
Changes (by cremona):

  * status:  needs_review => needs_work


Comment:

 I tried to define the morphism properly, which should work, but it doesn't
 since in defining the morphism Sage checks that the polynomials used a
 homogeneous of the same degree (see line 458 of
 schemes.generic.morphism.py), but the degree function is not defined for
 elements of the coordinate ring.  This can be fixed:  although in general
 QuotientRingElement s have no degree, in this situation (where the
 quotient is by a homogeneous ideal) the degree is well-defined.

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