Member functions¶

inline PPerm libsemigroups::PPerm::inverse() const¶

Returns the inverse.

This function returns a newly constructed inverse of this.

Parameters: (None)
Complexity: Linear in degree()

Throws: (None) – This function guarantees not to throw a LibsemigroupsException.
Returns: A value of type PPerm.

inline void libsemigroups::PPerm::inverse(PPerm &that) const¶

Replace contents of a partial perm with the inverse of another.

This function inverts that into this.

Complexity: Linear in degree()

Parameters: that – the partial perm to invert.
Throws: (None) – This function guarantees not to throw a LibsemigroupsException.
Returns: (None)

inline PPerm libsemigroups::PPerm::left_one() const¶

Returns the left one of this.

This function returns a newly constructed partial perm with degree equal to M that fixes every value in the domain of this, and is UNDEFINED on any other values.

Parameters: (None)
Complexity: Linear in degree()

Throws: (None) – This function guarantees not to throw a LibsemigroupsException.
Returns: A value of type PPerm.

inline void libsemigroups::PPerm::product_inplace(PPerm const &x, PPerm const &y)¶

Multiply two partial perms and store the product in this.

Replaces the contents of this by the product of x and y.

Complexity: Linear in degree().

Warning

No checks are made on whether or not the parameters are compatible. If x and y have different degrees, then bad things will happen.

Parameters

x – a partial perm.
y – a partial perm.

Throws

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns

(None)

inline PPerm libsemigroups::PPerm::right_one() const¶

Returns the right one of this.

This function returns a newly constructed partial perm with degree equal to M that fixes every value in the range of this, and is UNDEFINED on any other values.

Parameters: (None)
Complexity: Linear in degree()

Throws: (None) – This function guarantees not to throw a LibsemigroupsException.
Returns: A value of type PPerm.