bFunction(..., Strategy => ...) -- specify strategy for computing b-function
Description
IntRing -- the simplest algorithm available. The idea is to compute in(-w,w)(I) intersect it with k[t1,...,tn](ti = xiDi)Call the ideal obtained J. Finally J + (t1 + ... + tn- s) \cap k[s] is generated by the b-function that we are looking for.
TryGeneric -- checks whether the ideal is generic and if that is the case uses Alg.5.1.5 in Saito-Sturmfels-Takayama (1999) otherwise is eqivalent to NonGeneric
NonGeneric -- uses 5.1.6 in Saito-Sturmfels-Takayama (1999)