Ask Your Question

Faugère's F4 Algorithm

asked 2012-01-17 22:40:56 +0200

process91 gravatar image

There are many places online which mention that Faugère's F4 (and even F5) algorithms are included (or were going to be included) in Sage, but the only result in the documentation I can find is here:

Does anyone know if it is currently included in Sage?

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted

answered 2012-01-18 02:13:21 +0200

Simon King gravatar image

As much as I know, there are only toy implementations of F5 in Sage (and I don't recall how it is available) - that's to say, they are good for educational purposes, but it would be much more efficient to use the default ways of computing Gröbner bases.

Note that Michael Brickenstein's "slimgb" (which is often used in Singular and thus also in Sage) is sometimes referred to as a version of F4. If you create a multivariate ideal J and want to compute its Gröbner basis with a particular algorithm, you can use something like

edit flag offensive delete link more


Thanks, that is what I have found as well. It looks like the command is actually J.groebner_basis('singular:slimgb')

process91 gravatar imageprocess91 ( 2012-01-18 12:32:31 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2012-01-17 22:40:56 +0200

Seen: 1,748 times

Last updated: Jan 18 '12