Closed olexandr-konovalov closed 5 months ago
This should be changed to use PositiveIntegers. Consider:
PositiveIntegers
gap> for i in [1..10^8] do x:=IsPosInt(42);od;time; 4176 gap> for i in [1..10^8] do x:=42 in PositiveIntegers;od;time; 12833
This should be changed to use
PositiveIntegers
. Consider: