#5982: [with patch, needs work] Can't construct fraction field
---------------------+------------------------------------------------------
 Reporter:  jmbr     |       Owner:  tbd     
     Type:  defect   |      Status:  new     
 Priority:  major    |   Milestone:  sage-4.0
Component:  algebra  |    Keywords:          
---------------------+------------------------------------------------------

Old description:

> {{{
> ----------------------------------------------------------------------
> | Sage Version 3.4, Release Date: 2009-03-11 | | 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) sage: 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)
>
> ...
> }}}

New description:

 {{{
 ----------------------------------------------------------------------
 | Sage Version 3.4, Release Date: 2009-03-11 | | 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)

 ...
 }}}

--

Comment(by mabshoff):

 Hi,

 M2 isn't a default part of Sage, so the doctest must be made optional. I
 also don't see a reason why this cannot be implemented via libSingular for
 example, but maybe I am overlooking things.

 You also posted a diff, so please check in the code and post an hg patch
 to properly preserve credit.

 And since you are not listed at http://trac.sagemath.org/sage_trac/wiki
 please add yourself there.

 Cheers,

 Michael

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