> 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? Anyway, it would be good if someone implements Groebner Walk in FriCAS. Perhaps a nice little project for GSoC 2016. Ralf -- 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.
