Home
last modified time | relevance | path

Searched defs:knuth_bendix (Results 1 – 8 of 8) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/libsemigroups/include/
H A Dfpsemi.hpp221 std::shared_ptr<KnuthBendix> knuth_bendix() const { in knuth_bendix() function in libsemigroups::FpSemigroup
H A Dcong.hpp204 std::shared_ptr<congruence::KnuthBendix> knuth_bendix() const { in knuth_bendix() function in libsemigroups::Congruence
H A Dknuth-bendix.hpp571 fpsemigroup::KnuthBendix& knuth_bendix() const { in knuth_bendix() function in libsemigroups::congruence::KnuthBendix
/dports/math/libsemigroups/libsemigroups-1.3.7/include/libsemigroups/
H A Dfpsemi.hpp223 std::shared_ptr<KnuthBendix> knuth_bendix() const { in knuth_bendix() function in libsemigroups::FpSemigroup
H A Dcong.hpp204 std::shared_ptr<congruence::KnuthBendix> knuth_bendix() const { in knuth_bendix() function in libsemigroups::Congruence
H A Dknuth-bendix.hpp782 fpsemigroup::KnuthBendix& knuth_bendix() const { in knuth_bendix() function in libsemigroups::congruence::KnuthBendix
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/libsemigroups/src/
H A Dknuth-bendix-impl.hpp844 bool knuth_bendix() { in knuth_bendix() function in libsemigroups::fpsemigroup::KnuthBendix::KnuthBendixImpl
/dports/math/libsemigroups/libsemigroups-1.3.7/src/
H A Dknuth-bendix-impl.hpp853 bool knuth_bendix() { in knuth_bendix() function in libsemigroups::fpsemigroup::KnuthBendix::KnuthBendixImpl