Just to clarify, I believe that Q.is_locally_represented_number(42), where
Q = DiagonalQuadraticForm(ZZ, [1,4,4]) should return False.
An integer m is locally represented if m is represented by Q mod p ^a for
every prime p and every non-negative integer a and also that it is
represented over th
Please check my answer below...I am newbie in these subjects...
The point of Edna's Jones question is about "locally", no ?
As Pete L.Clark points out in http://www.math.uga.edu/~pete/*CasselsLemma*
.pdf
a number n can be "locally" (in Qp) represented but not integrally
representedread some
With 6.3.beta5 I get
sage: Q = DiagonalQuadraticForm(ZZ,[1,4,4])
sage: Q.is_locally_represented_number(42)
True
sage: Q.is_locally_represented_number(int(42))
True
which suggests that this has been fixed.
John
On 1 July 2014 03:54, Edna Jones wrote:
> sage: Q = DiagonalQuadraticForm(ZZ,[1,4,4]
sage: Q = DiagonalQuadraticForm(ZZ,[1,4,4])
sage: for j in range(42,43):
:
print(j, Q.is_locally_represented_number(j)) # should print (42, False) but
prints (42, True)
:
(42, True)
The above code prints (42, True) using Sage, version 6.2. I should state
that the above code prints
