Ralf Hemmecke wrote:
>
> > 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
Yes.
> Anyway, it would be good if someone implements Groebner Walk in FriCAS.
> Perhaps a nice little project for GSoC 2016.
AFAICS the first step is to implement polyhedra. Proof of concept
implementation looks easy, but to make it efficient and correct
is tricky.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
