Searched defs:has_knuth_bendix (Results 1 – 4 of 4) sorted by relevance
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/libsemigroups/include/ | ||
H A D | fpsemi.hpp | 183 bool has_knuth_bendix() const { in has_knuth_bendix() function in libsemigroups::FpSemigroup |
H A D | cong.hpp | 225 bool has_knuth_bendix() const { in has_knuth_bendix() function in libsemigroups::Congruence |
/dports/math/libsemigroups/libsemigroups-1.3.7/include/libsemigroups/ | ||
H A D | fpsemi.hpp | 185 bool has_knuth_bendix() const { in has_knuth_bendix() function in libsemigroups::FpSemigroup |
H A D | cong.hpp | 225 bool has_knuth_bendix() const { in has_knuth_bendix() function in libsemigroups::Congruence |