#11464: Maximal orders in QuaternionAlgebra of prime discriminant has a bug
-----------------------------+----------------------------------------------
Reporter: mmasdeu | Owner: craigcitro
Type: defect | Status: new
Priority: major | Milestone: sage-4.7.1
Component: modular forms | Keywords: maximal order, quaternion
algebra
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
-----------------------------+----------------------------------------------
In Sage 4.7 (and older) the following code enters an infinite loop:
{{{
#!python
A.<i,j,k>=QuaternionAlgebra(17)
O=A.maximal_order()
}}}
The maximal_order() function is essentially a formula, except for when the
prime (here 17) is 1 mod 8. In that case there is a mistake in how the
formula ought to be.
It looks like the invariants as returned when starting from a Brandt
module are in opposite order as when a QuaternionAlgebra is created by
hand, and the code makes assumptions on that ordering.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11464>
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.
