The unary version of `Subgroup’ is intended to have a subgroup object that is going to be further specified in the course of an algorithm. E.g. if you do not know how to get generators of a Sylow subgroup, you could still have an object representing one and have this object store e.g. order, nilpotence etc. There is currently little, if any, functionality that uses this.
Best, Alexander Hulpke -- Colorado State University, Department of Mathematics, Weber Building, 1874 Campus Delivery, Fort Collins, CO 80523-1874, USA email: hul...@math.colostate.edu, Phone: ++1-970-4914288 http://www.math.colostate.edu/~hulpke _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
