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