On Feb 6, 1:36 am, Adela <adisev...@gmail.com> wrote:
> > It would also be interesting to know how much RAM your system has and
> > if the computation you run over night ever hit swap since it is
> > basically game over once you hit swap in a GB computation :)
>
> I have a brand new system with 4 GB RAM so I guess should be enough.
Well, to be honest 4 GB isn't much these days and GBasis computations
tend to be rather large, especially if you use Lex. I often ran out of
memory on a 24 GB system three years ago doing rather large-ish GB
computations and none of those ideals were the size you posted. That
was over various F_p and not boolean rings, so the amount of memory
needed is different and PolyBoRi is extremely efficient storing
boolean polynomials.
> On the other hand, I discovered that the computations that lead my to
> that ideal were somehow wrong because I discovered that the Grobner
> Base using DegRevLex is 1(it seems that for Lex, it took very long
> and never finished but with DegRevLex, in said 1 in 5 seconds) ,
> which means there is no solution for my system of nonlinear equations,
> and this is wrong. I'm sure I have solutions, so I have to check again
> some calculations!
Ok. In theory you can compute the GBasis in Lex for zero dimensional
ideals by first computing it in some other term ordering like
DegRevLex and then use FGLM which worst case complexity is much better
than the GB computation. Other helpful tricks are homogenization, but
I am not sure if PolyBoRi is doing so internally.
> Thank you very much for your advice! I will be back very soon!
Let us know if you have any more questions.
Cheers,
Michael
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to
sage-support-unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
