KnuthBendixΒΆ

libsemigroups::fpsemigroup::KnuthBendix::KnuthBendix()

Constructs a KnuthBendix instance with no rules, and the short-lex reduction ordering.

Parameters

(None)

Complexity

Constant.