| /dports/math/libsemigroups/libsemigroups-1.3.7/benchmarks/examples/ |
| H A D | cong-intf.cpp | 30 namespace congruence { namespace
|
| H A D | cong-intf.hpp | 37 namespace congruence { namespace
|
| /dports/math/reduce/Reduce-svn5758-src/libraries/crlibm/tests/ |
| H A D | powmidpoint.h | 1 typedef struct midpoint_t_tag {double x; double y; int congruence;} midpoint_t; member
|
| H A D | test_perf.c | 430 int index, congruence, offset, offset1, offset2, lowBound; in generate_pow_exact_case_rn() local
|
| /dports/math/crlibm/crlibm-1.0beta4/tests/ |
| H A D | powmidpoint.h | 1 typedef struct midpoint_t_tag {double x; double y; int congruence;} midpoint_t; member
|
| H A D | test_perf.c | 430 int index, congruence, offset, offset1, offset2, lowBound; in generate_pow_exact_case_rn() local
|
| /dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/libsemigroups/include/ |
| H A D | knuth-bendix.hpp | 43 namespace congruence { namespace
455 namespace congruence { namespace
|
| H A D | tce.hpp | 40 namespace congruence { namespace
|
| H A D | cong-wrap.hpp | 192 wrapped_type& congruence() const { in congruence() function in libsemigroups::CongruenceWrapper
|
| H A D | todd-coxeter.hpp | 50 namespace congruence { namespace
63 namespace congruence { namespace
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/euf/ |
| H A D | euf_justification.h | 51 static justification congruence(bool c) { return justification(c); } in congruence() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/euf/ |
| H A D | euf_justification.h | 51 static justification congruence(bool c) { return justification(c); } in congruence() function
|
| /dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/libsemigroups/src/ |
| H A D | tce.cpp | 30 namespace congruence { namespace
|
| H A D | knuth-bendix.cpp | 238 namespace congruence { namespace
|
| /dports/math/libsemigroups/libsemigroups-1.3.7/tests/ |
| H A D | test-knuth-bendix-6.cpp | 51 namespace congruence { namespace
|
| H A D | test-cong-intf.cpp | 44 namespace congruence { namespace
|
| /dports/math/libsemigroups/libsemigroups-1.3.7/include/libsemigroups/ |
| H A D | knuth-bendix.hpp | 45 namespace congruence { namespace
664 namespace congruence { namespace
|
| H A D | tce.hpp | 40 namespace congruence { namespace
|
| H A D | cong-wrap.hpp | 192 wrapped_type& congruence() const { in congruence() function in libsemigroups::CongruenceWrapper
|
| H A D | todd-coxeter.hpp | 52 namespace congruence { namespace
65 namespace congruence { namespace
|
| /dports/math/R-cran-psych/psych/R/ |
| H A D | parcels.R | 2 function(x,n.samp=100,reps=10,delta=.5,full=FALSE,congruence=FALSE,max=TRUE) { argument
88 (x,size=3,max=TRUE,flip=TRUE,congruence = FALSE) { argument
|
| /dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/libsemigroups/tests/ |
| H A D | test-cong-intf.cpp | 39 namespace congruence { namespace
|
| H A D | test-knuth-bendix.cpp | 2767 namespace congruence { namespace
|
| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | Grid_conversion.cc | 142 Congruence& congruence = dest[index]; in multiply_grid() local
|
| /dports/math/libsemigroups/libsemigroups-1.3.7/src/ |
| H A D | knuth-bendix.cpp | 363 namespace congruence { namespace
|