Re: [Axiom-developer] [fricas-devel] Bug in conditional exports

[daly]

>> No, LinGroebnerPackage is not Groebner walk.  It is an older method
>> which is limited to zero dimensional ideals (it has name attached but
>> ATM I have no reference handy).

>You probably mean FGLM.
>http://www-polsys.lip6.fr/~jcf/Papers/FGLM.pdf

>I should have stated that in the first place, but I was desparately
>looking for Gröbner Walk and wrote the mail to quickly.

>> And even in case of zero dimensional ideals it is likely to be less
>> efficient than Groebner walk.

>Since I need(ed) something for non-zero dimensional ideal, I haven't
>actually looked intensively into the code. Maybe LinGroebnerPackage
>actually implements FGLM, but I wonder why someone would not put FGLM there.

>Maybe it was implemented by one of the authors of the paper. Tere are at
>least a number of files that carry the name Gianni in them.
>Tim, do you happen to know the history?

I will check with Gianni and get back to you if she replies.

>Anyway, it would be good if someone implements Groebner Walk in FriCAS.
>Perhaps a nice little project for GSoC 2016.

>Ralf

Tim Daly