Constructors

This page contains information about the constructors for the FroidurePin class.

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

Construct from list of generators.

This function constructs a FroidurePin instance generated by the specified list of generators. There can be duplicate generators and although they do not count as distinct elements, they do count as distinct generators. In other words, the generators are precisely (a copy of) coll in the same order they occur in coll.

Parameters

coll (List[Element]) the generators

Raises

RuntimeError if coll is empty.

Raises

RuntimeError if the items in coll do not all have the same degree.

FroidurePin.__init__(self: FroidurePin, that: FroidurePin) → None

Copy constructor.

Constructs a new FroidurePin which is an exact copy of that. No enumeration is triggered for either that or of the newly constructed FroidurePin.

Parameters

that (FroidurePin) the FroidurePin to copy.