We do some pretty cool optimizations for the ranges that impact
polynomial factorization. Namely I do everything possible to always
get away with double precision in the floating-point parts, a lot of
this is new mathematically as we're really creating alternative paths
to reduced bases which are
I'm not sure if it's in the public release, but he looked at it today
and saw that it wasn't getShift but rather what was done with
getShift. Namely kappamax isn't initialized correctly. I saw an
update of the code but I don't know if it's public or private as of
yet.
Anyway it's a simple fix, t
OK found the bug. There is a program called get_Shift which gets
confused by zero vectors. In any call to Babai if you just add a line
setting n = the number of columns of B (I'm not sure his notation in
the C++ version) then it works again.
On Dec 3, 4:56 pm, AndyNovo wrote:
> I mea
I meant FLINT.
On Dec 3, 4:56 pm, AndyNovo wrote:
> Yeah I told Damien Stehle, I have to fix it for SAGE anyway so we'll
> figure out where the bug is soon. Just thought I would tell you guys
> here.
--
To post to this group, send an email to sage-devel@googlegroups.com
To un
Yeah I told Damien Stehle, I have to fix it for SAGE anyway so we'll
figure out where the bug is soon. Just thought I would tell you guys
here.
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel-unsubscr...@googleg
],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,28315577819094206724867804252331468857549862790056567450289]]).LLL
()
In both examples if you delete the zero rows it works fine.
On Dec 3, 4:43 pm, AndyNovo wrote:
> We've been working on factoring polynomials in FLINT very intensively
> the last couple months. So
We've been working on factoring polynomials in FLINT very intensively
the last couple months. So we've been making floating point LLL in
FLINT. During the process I just discovered what I thought was my bug
but is actually a bug in fpLLL which means it's a bug in SAGE too.
Here's a simple lattic
Hi all,
Found this simple bug in a simple Z[x] factoring example.
R.=PolynomialRing(ZZ)
f = 12*x^10 + x^9 + 432*x^3 + 9011
g = 13*x^11 + 89*x^3 + 1
F = f^2 * g^3
G = F.factor()
should_be_zero = F - G.prod()
should_be_zero == 0
The problem was that F.factor returns
2028 * (12*x^10 + x^9 + 432*x
Oct 3, 8:56 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
> On Fri, Oct 3, 2008 at 11:54 AM, AndyNovo <[EMAIL PROTECTED]> wrote:
>
> > Haven't heard back from Victor Shoup, I'm not sure if I will...
>
> Don't hold your breath.I think
Haven't heard back from Victor Shoup, I'm not sure if I will...
On Oct 1, 2:18 am, Bill Hart <[EMAIL PROTECTED]> wrote:
> Yep the theory is sound. The only concern would be to check that the
> matrices weren't getting screwed up between NTL and fpLLL format, but
> it is kind of obvious that they
Oops I misread that... I mean yes I would!
On Sep 30, 7:59 pm, AndyNovo <[EMAIL PROTECTED]> wrote:
> > By the way, do you want an account on sage.math.washington.edu,
> > the sage development machine?
>
> No I don't. That would be nice, maybe we can
--- ZZXFactoring.c.safe 2008-09-29 13:33:01.0 +0200
+++ ZZXFactoring.c 2008-09-29 13:37:54.0 +0200
@@ -4,7 +4,7 @@
#include
#include
#include
-
+#include
#include
#include
@@ -3286,7 +3286,17 @@
if (verbose) cerr << " LLL...";
-
+ofstream fout;
+
> By the way, do you want an account on sage.math.washington.edu,
> the sage development machine?
No I don't. That would be nice, maybe we can set it up in Nancy?
-Andy
--~--~-~--~~~---~--~~
To post to this group, send email to sage-devel@googlegroups.com
To unsu
Hi all,
My name is Andy Novocin and I was a student of Mark van Hoeij's, and
now I'm a post-doc at LIRMM in Montpellier, France.
I'm interested in polynomial factoring over the rationals in one
variable. I've also recently become a SAGE-user and I'll be
attending SAGE Days 10.
I decided I wo
14 matches
Mail list logo
