Hi everyone.Is there a mechanism in GAP that allows one to declare that certain new features are inherited by associated objects in a certain way? As an example: Let's say I want to implement a category for ordered groups. Is there a way to tell GAP that subgroups of a ordered group are also ordered with the same ordering?
greetings Johannes Hahn. _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
