i1 : options res
o1 = OptionTable{DegreeLimit => null }
FastNonminimal => false
HardDegreeLimit => {}
LengthLimit => infinity
PairLimit => infinity
SortStrategy => 0
StopBeforeComputation => false
Strategy => null
SyzygyLimit => infinity
o1 : OptionTable
|
i2 : options codim |