FinitelyGenerated

discrgrp.spad line 55 [edit on github]

A category for finitely generated structures. Exports a list of generators.

generators : () -> List(%)

generators() returns the list of generators.