#6458: [with patch, needs work] Inverse modulo an ideal in a relative number
field
----------------------------+-----------------------------------------------
Reporter: davidloeffler | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-4.1.1
Component: number theory | Keywords:
Reviewer: Nick Alexander | Author: David Loeffler
Merged: |
----------------------------+-----------------------------------------------
Comment(by ncalexan):
Also, I get a doctest failure on sage.math. This could be transient --
this is with a slightly out of date sage build. But there's no way this
will work on all architectures, so testing the property will be much
better.
{{{
sage -t -long devel/sage/sage/rings/number_field/number_field_element.pyx
**********************************************************************
File "/scratch/ncalexan/sage-4.0.2.alpha1/devel/sage-
main/sage/rings/number_field/number_field_element.pyx", line 3436:
sage: OE(b - a).inverse_mod(17*b)
Expected:
(-25*b + 26)*a + 51*b - 1
Got:
(26*b - 25)*a - 51*b - 1
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6458#comment:3>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
