#20180: Bug: is_locally_represented_number_at_place returns incorrect value
-------------------------------+----------------------------
Reporter: annahaensch | Owner:
Type: defect | Status: new
Priority: critical | Milestone: sage-7.1
Component: quadratic forms | Keywords: bug
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-------------------------------+----------------------------
Sorry this bug report is a bit ad hoc, but I suspect the thing that makes
this buggy is part of a larger problem in the quadratic forms module. I'm
running Sage 6.9 and I get the following in error if I construct the
quadratic form
{{{
M=QuadraticForm(ZZ,3,[75,120,120,144,0,144])
}}}
then
{{{
sage: M.is_locally_represented_number_at_place(99,3)
False
}}}
and
{{{
sage: M.representation_number_list(100)[99]==0
False
}}}
But of course if I represent 99 over the integers, then I have to
represent it locally. In this case the second output it correct, and the
first one is incorrect. I think there is some underlying problem with the
way global quadratic forms are defined.
--
Ticket URL: <http://trac.sagemath.org/ticket/20180>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
