[sage-devel] quadratic forms signature_vector() gives different results for real cyclotomics and for reals

2019-10-17 Thread Ignat Soroko
I am computing the signature of a quadratic form having entries 0, 1, -1/2, -sqrt(2)/2. I noticed that the result of signature_vector() is different if we treat the number sqrt(2) as a cyclotomic or as a real number. Please look at the example: sage: K.=CyclotomicField(8) sage: a=z-z^3 # a is

[sage-devel] Re: quadratic forms signature_vector() gives different results for real cyclotomics and for reals

2019-10-18 Thread Ignat Soroko
y, October 18, 2019 at 6:38:50 AM UTC-5, Frédéric Chapoton wrote: > > The bug over the cyclotomic field is caused by > > > sage: K = CyclotomicField(8) > sage: K(-1/16) > 0 > True > > > > Le vendredi 18 octobre 2019 13:24:51 UTC+2, Frédéric Chapoton a écrit : >