#6326: optional doctest failure -- all quadratic forms tests that involve " #
optional -- souvigner"
-------------------------------+--------------------------------------------
Reporter: was | Owner: justin
Type: defect | Status: new
Priority: major | Milestone: sage-4.6.1
Component: quadratic forms | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Changes (by jonhanke):
* owner: tbd => justin
* component: optional packages => quadratic forms
Comment:
There is a bug within the interface the Souvigner code that produces false
results:
{{{
sage: Q1 = DiagonalQuadraticForm(ZZ, [1,3,5])
sage: Q2 = QuadraticForm(ZZ, 3, [1,0,0, 2,2, 8])
sage: Q1.theta_series()
1 + 2*q + 2*q^3 + 6*q^4 + 2*q^5 + 4*q^6 + 4*q^7 + 4*q^8 + 14*q^9 + O(q^10)
sage: Q2.theta_series()
1 + 2*q + 2*q^2 + 4*q^3 + 2*q^4 + 4*q^6 + 6*q^8 + 14*q^9 + O(q^10)
sage: Q1.is_globally_equivalent_to(Q2) ## Correct
False
sage: Q2.is_globally_equivalent_to(Q1) ## Incorrect
True
}}}
The problem results from the differing possible failure messages ("...not
isometric..." or "...not isomorphic...") returned from the Souvigner Code.
A patch is attached.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6326#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.
