#13531: short_vector_list_up_to_length is slow and wrong
-----------------------------------+----------------------------------------
Reporter: mraum | Owner: justin
Type: defect | Status: needs_review
Priority: major | Milestone: sage-5.4
Component: quadratic forms | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Martin Raum | Merged in:
Dependencies: | Stopgaps:
-----------------------------------+----------------------------------------
Comment (by mraum):
I had to make even further changes, since Pari sometimes returns incorrect
results. I will send a report to upstream, and I have built in a work
around for the moment. For the record, I reproduce the corresponding
example here.
{{{
qf = [72, 12; 12, 120];
vecs = qfminim(qf, 2*22953421 - 2);
matsize(vecs[3])
for(i=1,matsize(vecs[3])[2],if(72 * vecs[3][1,i]^2 + 24 *
vecs[3][1,i]*vecs[3][2,i] + 120 * vecs[3][2,i]^2 > 2*22953421 - 2,
print(vecs[3][,i])))
}}}
gives the following:
{{{
[-65, 623]~
[-143, 623]~
[-44, 622]~
[-16, 620]~
[-220, 617]~
[-243, 614]~
[65, 610]~
[77, 608]~
[-285, 607]~
[-300, 604]~
[-361, 589]~
[-381, 583]~
[220, 573]~
[-411, 573]~
[-422, 569]~
[247, 564]~
[-435, 564]~
[-445, 560]~
[285, 550]~
[300, 544]~
[312, 539]~
[-515, 527]~
[348, 523]~
[-548, 508]~
[407, 493]~
[416, 488]~
[423, 484]~
[435, 477]~
[-594, 477]~
[445, 471]~
[-602, 471]~
[-611, 464]~
[504, 432]~
[-648, 432]~
[515, 424]~
[519, 421]~
[523, 418]~
[536, 408]~
[-672, 408]~
[557, 391]~
[-699, 377]~
[591, 361]~
[-715, 356]~
[-720, 349]~
[633, 319]~
[-744, 311]~
[-749, 302]~
[-763, 274]~
[681, 262]~
[684, 258]~
[-770, 258]~
[-774, 248]~
[715, 213]~
[-786, 213]~
[720, 205]~
[723, 200]~
[726, 195]~
[-791, 195]~
[-792, 191]~
[734, 181]~
[741, 168]~
[-797, 168]~
[752, 146]~
[758, 133]~
[764, 119]~
[-804, 115]~
[770, 104]~
[773, 96]~
[-805, 96]~
[-805, 65]~
[-804, 46]~
[-803, 34]~
[796, 14]~
[798, 3]~
[-799, 3]~
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13531#comment:2>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
