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 |