“…(4) Return A (F). Therefore, by Algorithm 12, we conclude that For example, if F = { 2, 5 , 3, 5, 7 } we write [3,5,7]]; F:=List(F,i->NumericalSemigroup(i)); SmallestArithmeticVariety(F); provided that the package NumericalSgps and the function Arithmetic Extensions have already been loaded into GAP.…”