Opened 15 years ago
Closed 15 years ago
#653 closed enhancement (fixed)
Need LLL-optimize from pari
Reported by: | jvoight | Owned by: | was |
---|---|---|---|
Priority: | major | Milestone: | sage-2.8.10 |
Component: | number theory | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
It would be good to port polredabs() from pari--this runs LLL to find a "small" generator of a field.
From gp:
? ?polredabs polredabs(x,{flag=0}): a smallest generating polynomial of the number field for the T2 norm on the roots, with smallest index for the minimal T2 norm. flag is optional, whose binary digit mean 1: give the element whose characteristic polynomial is the given polynomial. 4: give all polynomials of minimal T2 norm (give only one of P(x) and P(-x)). 16: partial reduction.
(Of course, this is part of the larger project of bringing the number fields up to speed...)
Change History (4)
comment:1 Changed 15 years ago by
Milestone: | → sage-2.9 |
---|---|
Type: | defect → enhancement |
comment:2 Changed 15 years ago by
Milestone: | sage-2.9 → sage-2.8.9 |
---|
comment:3 Changed 15 years ago by
Milestone: | sage-2.8.9 → sage-2.8.10 |
---|
comment:4 Changed 15 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
polredabs() is in.
Hopefully we don't have to re-implement every computer algebra algorithm that uses LLL, just because we have a fast LLL now. If so, that should be a separate ticket. :)
I believe this issue has been fixed, but there is also malb's new LLL wrapper code.
Cheers,
Michael