[GAP Forum] Implementing automatic inheritance of features

Johannes Hahn johannes.hahn at uni-jena.de
Wed Oct 9 16:20:28 BST 2013


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.



More information about the Forum mailing list