#19112: Add a function "isometry" to the quadratic forms package.
-------------------------------------+-------------------------------------
Reporter: tgaona | Owner:
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-6.10
Component: quadratic forms | Resolution:
Keywords: isometry | Merged in:
Authors: Tyler Gaona | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/tgaona/ticket/19112 | 9e211fecd4b525ad30276d37d442a68ce9bec8f0
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tgaona):
I will make it more clear in the documentation that the method returns a
transformation matrix, as opposed to saying it returns an isometry.
As to your second point, I agree that a cleaner, more efficient
replacement for the first step of the algorithm is very desirable.
However, I have looked at the source for PARI's {{{qfsolve()}}} and it
isn't clear to me how to adapt it to return an affine vector {{{x}}} such
that {{{Q(x) = C}}}. I would appreciate it if you could offer more
guidance here, otherwise, I'm not sure how to proceed.
> 2. it will no longer run forever if there is isometry (which is
unacceptable).
I can fix this by throwing an exception when
{{{is_rationally_isometric()}}} returns false for the two forms. The
reason I didn't include this initially is that I was working off of Sage
6.8 but {{{is_rationally_isometric()}}} was added in 6.9.
I will fix the formatting in the docstring.
--
Ticket URL: <http://trac.sagemath.org/ticket/19112#comment:10>
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.
