QEtaQuotientMonoidToolsΒΆ

qetaqmspecs.spad line 209 [edit on github]

QEtaQuotientMonoidTools extract the monoid generators from the output of a ZSPECS datastructure.

monoidGenerators: Record(zinhom: List QEtaSpecification, zhom: List QEtaSpecification, zfree: List QEtaSpecification) -> List QEtaSpecification

monoidGenerators(zspecs) computes from zspecs the monoid generators. This is the union of the the free elemenst and their inverses with the homogeneous elements.