[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: Bad crash
From: |
Waldek Hebisch |
Subject: |
Re: [Axiom-developer] Re: Bad crash |
Date: |
Tue, 5 Feb 2008 12:06:42 +0100 (CET) |
Fabio S. wrote:
>
> I am thinking you are right: I tried the same computations on another
> machine: same distribution, same axiom version: it ran for more than 8
> hours without problems, but, unluckly, not giving the answer... :-(
>
You may try to do computation modulo a prime number. For me
groebner([x ::(Polynomial PF(1663)) for x in eqns])
finished in about 15 minutes. For some (unlucky) primes modular
Groebner basis is quite different than integer Groebner basis, but
for most primes they share many properties. In fact, one method
of computing integer Groebner bases (currently unimplemented in Axiom)
starts with modular Groebner basis and "lifts" it to an integer one.
Also, it looks that you are using 'Fraction Polynomial Integer'
as your domain. Did you try to use 'DistributedMultivariatePolynomial'
(which is likely to be much more efficient)?
--
Waldek Hebisch
address@hidden
- [Axiom-developer] Bad crash, Fabio S., 2008/02/04
- [Axiom-developer] Bad crash, daly, 2008/02/04
- [Axiom-developer] Re: Bad crash, Fabio S., 2008/02/05
- Re: [Axiom-developer] Re: Bad crash,
Waldek Hebisch <=
- Re: [Axiom-developer] Re: Groebner basis, Waldek Hebisch, 2008/02/05
- Re: [Axiom-developer] Re: Groebner basis, root, 2008/02/05
- Re: [Axiom-developer] Re: Groebner basis, root, 2008/02/05
- Re: [Axiom-developer] Re: Groebner basis, Fabio S., 2008/02/05
- Re: [Axiom-developer] Re: Groebner basis, root, 2008/02/05