Faugère's F4 and F5 algorithms: Difference between revisions

Revision as of 15:37, 11 October 2013

Revision as of 16:51, 7 November 2013

Line 12:

* as a [http://www-calfor.lip6.fr/~jcf/Software/FGb package FGb] for the [[Maple computer algebra system]]. This package is included in [[Maple (software)|Maple]] distribution as the option '''method=fgb''' of function '''Groebner[gbasis]''';

* in the [[Magma computer algebra system]].

* in the [[Xcas|Giac/Xcas computer algebra sysmtem]].<ref>{{cite arXiv |last= Parisse|first= Bernard | eprint= 1309.4044|title= A probabilistic and deterministic modular algorithm for computing Groebner basis over Q |class= cs.SC | year=2013}} </ref>.

* as a [http://www-calfor.lip6.fr/~jcf/Software/FGb/C%20API/index.html C library].

Study versions of the Faugère F5 algorithm is implemented in{{citation needed|date=February 2013}}

* the [[SINGULAR]] computer algebra system;<ref>{{cite arXiv |last=Eder |first=Christian |eprint=0804.2033 |title=On The Criteria Of The F5 Algorithm |class= math.AC|year=2008 }}</ref>;

* the [[Sage (mathematics software)|Sage]] computer algebra system.