#14489: _S_class_group_and_units is mathematically incorrect
---------------------------------+------------------------------------------
Reporter: robharron | Owner: davidloeffler
Type: defect | Status: needs_work
Priority: critical | Milestone: sage-5.11
Component: number fields | Resolution:
Keywords: S-class group | Work issues:
Report Upstream: N/A | Reviewers: Peter Bruin
Authors: Robert Harron | Merged in:
Dependencies: | Stopgaps:
---------------------------------+------------------------------------------
Comment (by pbruin):
I don't have access to a 32-bit machine on which to test this. The
expected output and the actual output differ only in the third element of
each triple, and they differ by a unit (which is -1 in the second case; I
haven't checked in the first case). This is consistent with the fact that
this element is a somewhat arbitrary generator of a principal ideal. This
doctest failure should go away when applying both this patch and #14746,
which eliminates this third element, among other things.
Perhaps the quickest fix would be to mark the output of these doctests as
random in this patch and revert to non-random in the patch of #14746?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14489#comment:17>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
