I eventually checked. You are requesting a lexicographic Groebner basis,
but since it's much slower than reverse lex. ordering, Giac tries first
revlex ordering, because if the ideal is 0 dimensional it would call FGLM.
The revlex basis computation is fast (about 2 seconds on my PC) but the
ide
I'll attach my script. It's 26 KB and uses 67 variables.
I'm just suggesting checking the number of variables (whatever it is) at
the beginning and returning an error message, rather than me checking with
gdb, which I've already done!
agape
brent
On Friday, June 9, 2023 at 6:37:44 AM
There is code for up to 64 variables. I'm not sure for more. Can you send
your input? That way I can check with gdb.
On Monday, June 5, 2023 at 9:19:04 PM UTC+2 Brent W. Baccala wrote:
> Hi -
>
> I don't think giac can handle more than 15 variables in a Gröbner basis
> calculation.
>
> This lim
