Constructors¶
This page contains information about the constructors of the Sims1
class.
-
template<typename P>
inline libsemigroups::Sims1::Sims1(congruence_kind ck, P const &p)¶ Construct from congruence_kind and Presentation.
- Parameters
ck – the handedness of the congruences (left or right)
p – the presentation
- Throws
LibsemigroupsException – if
ck
is congruence_kind::twosidedLibsemigroupsException – if
p.validate()
throws.
-
template<typename P>
inline libsemigroups::Sims1::Sims1(congruence_kind ck, P const &p, P const &e)¶ Construct from congruence_kind and two Presentation objects.
Note
The presentations provided are copied when an instance of Sims1 is created, and the return values of presentation and extra may not be identical to
p
ande
. See presentation for further details.- Parameters
ck – the handedness of the congruences (left or right)
p – the presentation defining the semigroup
e – presentation containing additional relations
- Throws
LibsemigroupsException – if
ck
iscongruence_kind::twosided
LibsemigroupsException – if
p.validate()
throws.
-
libsemigroups::Sims1::Sims1(congruence_kind ck, Presentation<word_type> const &p)¶
Construct from congruence_kind and Presentation.
- Parameters
ck – the handedness of the congruences (left or right)
p – the presentation
- Throws
LibsemigroupsException – if
ck
is congruence_kind::twosidedLibsemigroupsException – if
p.validate()
throws.
-
libsemigroups::Sims1::Sims1(congruence_kind ck, Presentation<word_type> const &p, Presentation<word_type> const &e)¶
Construct from congruence_kind and two Presentation objects.
Note
The presentations provided are copied when an instance of Sims1 is created, and the return values of presentation and extra may not be identical to
p
ande
. See presentation for further details.- Parameters
ck – the handedness of the congruences (left or right)
p – the presentation defining the semigroup
e – presentation containing additional relations
- Throws
LibsemigroupsException – if
ck
is congruence_kind::twosidedLibsemigroupsException – if
p.validate()
throws.