>> 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 _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
