Generators

This page contains information about the methods of the FroidurePin class that relate to generators.

FroidurePin.add_generator(self: FroidurePin, x: Element) → None

Add a copy of an element to the generators.

Parameters

x (Element) -- the generator to add.

Returns

None

FroidurePin.add_generators(self: FroidurePin, coll: List[Element]) → None

Add collection of generators.

Parameters

coll (List[Element]) -- the collection of generators to add.

Returns

None

FroidurePin.closure(self: FroidurePin, coll: List[Element]) → None

Add non-redundant generators in collection.

Parameters

coll (List[Element]) -- the collection of generators to add.

Returns

None

FroidurePin.copy_add_generators(self: FroidurePin, coll: List[Element]) → FroidurePin

Copy and add a collection of generators.

Parameters

coll (List[Element]) -- the collection of generators to add.

Returns

A new FroidurePin instance generated by the generators of self and coll.

FroidurePin.copy_closure(self: FroidurePin, coll: List[Element]) → FroidurePin

Copy and add non-redundant generators.

Parameters

coll (List[Element]) -- the collection of generators to add.

Returns

A new FroidurePin instance generated by the generators of self and the non-redundant generators in coll.

FroidurePin.number_of_generators(self: FroidurePin) → int

Returns the number of generators.

Parameters

None

Returns

An int.

FroidurePin.generator(self: FroidurePin, i: int) → Element

Returns the generator with specified index.

Parameters

i (int) -- the index of a generator.

Returns

An element.