saturate => Strategy

The strategy option value should be one of the following:
  • Linear -- use the reverse lex order
  • Iterate -- use successive ideal quotients (the default)
  • Bayer -- use the method in Bayer's thesis
  • Elimination -- compute the saturation (I:f) by eliminating z from (I,f*z-1)

    • topindexpreviousupnext