Dear Forum, I have a fixed monoid M.
All the elements of M have the same family Fam.I would like to construct a filter "IsElementOfM" which returns true if and only if the object is in M.
Is this feasible? Thanks in advance, Gabor _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
