#5982: Can't construct fraction field
--------------------------------------------------------+-------------------
   Reporter:  jmbr                                      |          Owner:  tbd  
                              
       Type:  defect                                    |         Status:  
positive_review                    
   Priority:  major                                     |      Milestone:  
sage-4.7.1                         
  Component:  algebra                                   |       Keywords:       
                              
Work_issues:                                            |       Upstream:  N/A  
                              
   Reviewer:  William Stein, Mike Hansen, Marco Streng  |         Author:  Nick 
Alexander, Juan M. Bello Rivas
     Merged:                                            |   Dependencies:       
                              
--------------------------------------------------------+-------------------
Changes (by mstreng):

  * status:  needs_work => positive_review


Old description:

> {{{
> ----------------------------------------------------------------------
> | Sage Version 3.4.2, Release Date: 2009-05-04                       |
> | Type notebook() for the GUI, and license() for information.        |
> ----------------------------------------------------------------------
> sage: R.<x, y> = PolynomialRing(QQ, 2)
> sage: I = (x^2 + y^2 - 1)*R
> sage: Q = R.quotient(I); Q
> Quotient of Multivariate Polynomial Ring in x, y over Rational Field by
> the ideal (x^2 + y^2 - 1)
> sage: Q.fraction_field()
> ---------------------------------------------------------------------------
> NotImplementedError                       Traceback (most recent call
> last)
> <SNIP>
> }}}
>
> Apply
>
>  * [attachment:trac_5982-ncalexan-with-check.patch]
>
>  * [attachment:trac_5982-reviewer.patch]
>
>  * [attachment:trac_5982_review2.patch]

New description:

 {{{
 ----------------------------------------------------------------------
 | Sage Version 3.4.2, Release Date: 2009-05-04                       |
 | Type notebook() for the GUI, and license() for information.        |
 ----------------------------------------------------------------------
 sage: R.<x, y> = PolynomialRing(QQ, 2)
 sage: I = (x^2 + y^2 - 1)*R
 sage: Q = R.quotient(I); Q
 Quotient of Multivariate Polynomial Ring in x, y over Rational Field by
 the ideal (x^2 + y^2 - 1)
 sage: Q.fraction_field()
 ---------------------------------------------------------------------------
 NotImplementedError                       Traceback (most recent call
 last)
 <SNIP>
 }}}

 Apply

  * [attachment:trac_5982-ncalexan-with-check2.patch]

  * [attachment:trac_5982-reviewer.patch]

  * [attachment:trac_5982_review2.patch]

--

Comment:

 I made that patch into a proper hg changeset. All tests still pass, and as
 the new patch does exactly the same as the old one, I put it back to
 positive_review.

 (apply [attachment:trac_5982-ncalexan-with-check2.patch],
 [attachment:trac_5982-reviewer.patch],
 [attachment:trac_5982_review2.patch])

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