Membership + comparison

This page contains information about the methods of the FroidurePin class related to testing membership.

FroidurePin.contains(self: FroidurePin, x: Element) → bool

Test membership of an element.

Parameters

x (Element) -- a possible element.

Returns

A bool.

FroidurePin.current_position(self: FroidurePin, w: List[int]) → int

Returns the position corresponding to a word.

Parameters

w (List[int]) - a word in the generators

Returns

An int or UNDEFINED.

FroidurePin.current_position(self: FroidurePin, i: int) → int

Returns the position in of the generator with specified index.

Parameters

i (int) - the index of the generator

Returns

An int.

FroidurePin.current_position(self: FroidurePin, x: Element) → int

Find the position of an element with no enumeration.

Parameters

x (Transf1) - a possible element.

Returns

An int.

FroidurePin.position_to_sorted_position(self: FroidurePin, i: int) → int

Returns the sorted index of an element via its index.

Parameters

i (int) -- the index of the element

Returns

An int.

FroidurePin.position(self: FroidurePin, x: Element) → int

Find the position of an element with enumeration if necessary.

Parameters

x (Element) -- a possible element.

Returns

An int.

FroidurePin.sorted_position(self: FroidurePin, x: Element) → int

Returns the sorted index of an element.

Parameters

x (Element) -- a possible element.

Returns

An int.

FroidurePin.equal_to(self: FroidurePin, x: List[int], y: List[int]) → bool

Check equality of words in the generators.

Parameters

• x (List[int]) -- the first word for comparison

• y (List[int]) -- the second word for comparison

Returns

A bool.