Singular

C.6.2.5 The algorithm of Bigatti, La Scala and Robbiano

The algorithm of Bigatti, La Scala and Robbiano (see [BLR98]) combines the ideas of the algorithms of Pottier and of Hosten and Sturmfels. The computations are performed on a graded ideal with one auxiliary variable and one supplementary generator (instead of the generator in the algorithm of Pottier). The algorithm uses a quite unusual technique to get rid of the variable again.

There is another algorithm of the authors which tries to parallelize the computations (but which is not implemented in this library).