#9367: S_unit return type is incorrect,
------------------------------+---------------------------------------------
Reporter: syazdani | Owner: davidloeffler
Type: defect | Status: positive_review
Priority: minor | Milestone: sage-5.0
Component: number fields | Keywords: S_units
Work_issues: | Upstream: N/A
Reviewer: David Loeffler | Author: Michael Orlitzky
Merged: | Dependencies:
------------------------------+---------------------------------------------
Changes (by davidloeffler):
* priority: major => minor
* reviewer: => David Loeffler
* status: needs_review => positive_review
* milestone: => sage-5.0
Old description:
> Here is a sample error:
> {{{
> sage: _.<x>=QQ[]
> sage: L.<alpha>=NumberField(x^3+x+1)
> sage: p=L.S_units([ L.ideal(7) ] )
> sage: p[0].parent()
> Rational Field
> }}}
> The correct output should be
> {{{
> Number Field in alpha with defining polynomial x^3 + x + 1
> }}}
>
> The attached patch solves this problem.
New description:
In some old versions of Sage, the S-unit commands returned values with the
wrong parent:
{{{
sage: _.<x>=QQ[]
sage: L.<alpha>=NumberField(x^3+x+1)
sage: p=L.S_units([ L.ideal(7) ] )
sage: p[0].parent()
Rational Field
}}}
The correct output should be
{{{
Number Field in alpha with defining polynomial x^3 + x + 1
}}}
This is now fixed, so we should doctest to make sure it doesn't get broken
again.
Apply [attachment:sage-trac_9367.patch]
--
Comment:
Apply sage-trac_9367.patch
(for patchbot).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9367#comment:2>
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.
