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 fromzspecs
the monoid generators. This is the union of the the free elemenst and their inverses with the homogeneous elements.