Member functions

inline Perm libsemigroups::Perm::inverse() const

Returns the inverse.

This function returns a newly constructed inverse of this. The inverse of a permutation \(f\) is the permutation \(g\) such that \(fg = gf\) is the identity permutation of degree \(n\).

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::Perm::product_inplace(Transf const &x, Transf const &y)

Multiply two transformations and store the product in this.

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

Complexity

Linear in PTransf::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 transformation.

• y – a transformation.

Throws:

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

Returns:

(None)