#17425: Rational isometry test for quadratic forms over number fields
-------------------------------------+-------------------------------------
Reporter: annahaensch | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.9
Component: quadratic forms | Resolution:
Keywords: | Merged in:
Authors: Anna Haensch | Reviewers: Vincent Delecroix
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/annahaensch/ticket/17425 | 17c277600a085dcc04437ec614cfe60aaa4e5fff
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by vdelecroix):
Argh! You reintroduced a lot of trailing whitespaces.
Perhaps in the `TESTS` section, you can add
{{{
sage: K.<a> = NumberField(x^5 - x + 2, 'a')
sage: Q = QuadraticForm(K,3,[a,1,0,-a**2,-a**3,-1])
sage: m = Q.matrix()
sage: for _ in range(5):
....: t = random_matrix(ZZ,3,algorithm='unimodular')
....: m2 = t*m*t.transpose()
....: Q2 = QuadraticForm(K, 3, [m[i,j] / (2 if i==j else 1)
....: for i in range(3) for j in
range(i,3)])
....: print Q.is_rationally_isometric(Q2)
True
True
True
True
True
}}}
I had some trouble going from the matrix to the quadratic form. There
might be a simpler way.
--
Ticket URL: <http://trac.sagemath.org/ticket/17425#comment:33>
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/d/optout.
