Home
last modified time | relevance | path

Searched refs:congruences (Results 1 – 25 of 295) sorted by relevance

12345678910>>...12

/dports/devel/ppl/ppl-1.2/tests/BD_Shape/
H A Dcongruences1.cc43 Congruence_System cgs = bds1.congruences(); in test01()
63 Congruence_System cgs = bds1.congruences(); in test02()
86 Congruence_System cgs = bds1.congruences(); in test03()
105 Congruence_System cgs = bds1.congruences(); in test04()
127 Congruence_System cgs = bds1.congruences(); in test05()
151 Congruence_System cgs = bds.congruences(); in test06()
153 bds1.add_congruences(bds.congruences()); in test06()
170 Congruence_System cgs = bds1.congruences(); in test07()
197 Congruence_System cgs = bds1.congruences(); in test08()
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dcongruences1.cc45 Congruence_System cgs = oct1.congruences(); in test01()
65 Congruence_System cgs = oct1.congruences(); in test02()
88 Congruence_System cgs = oct1.congruences(); in test03()
107 Congruence_System cgs = oct1.congruences(); in test04()
129 Congruence_System cgs = oct1.congruences(); in test05()
154 Congruence_System cgs = oct1.congruences(); in test06()
177 Congruence_System cgs = oct1.congruences(); in test07()
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/
H A Dread.g84 ReadPackage("semigroups", "gap/congruences/congpairs.gi");
85 ReadPackage("semigroups", "gap/congruences/congrms.gi");
86 ReadPackage("semigroups", "gap/congruences/conguniv.gi");
87 ReadPackage("semigroups", "gap/congruences/conginv.gi");
88 ReadPackage("semigroups", "gap/congruences/congsimple.gi");
89 ReadPackage("semigroups", "gap/congruences/congrees.gi");
90 ReadPackage("semigroups", "gap/congruences/cong.gi");
91 ReadPackage("semigroups", "gap/congruences/conglatt.gi");
92 ReadPackage("semigroups", "gap/congruences/congfpmon.gi");
H A Dinit.g108 ReadPackage("semigroups", "gap/congruences/congpairs.gd");
109 ReadPackage("semigroups", "gap/congruences/congrms.gd");
110 ReadPackage("semigroups", "gap/congruences/conguniv.gd");
111 ReadPackage("semigroups", "gap/congruences/conginv.gd");
112 ReadPackage("semigroups", "gap/congruences/congsimple.gd");
113 ReadPackage("semigroups", "gap/congruences/congrees.gd");
114 ReadPackage("semigroups", "gap/congruences/cong.gd");
115 ReadPackage("semigroups", "gap/congruences/conglatt.gd");
116 ReadPackage("semigroups", "gap/congruences/congfpmon.gd");
/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Dcongruences1.cc35 Congruence_System cgs = gr1.congruences(); in test01()
54 Congruence_System cgs = gr1.congruences(); in test02()
74 Congruence_System cgs = gr1.congruences(); in test03()
93 Congruence_System cgs = gr1.congruences(); in test04()
117 Congruence_System cgs = gr1.congruences(); in test05()
141 Congruence_System cgs = gr1.congruences(); in test06()
160 const Congruence_System& cgs = gr1.congruences(); in test07()
185 const Congruence_System& cgs = gr1.congruences(); in test08()
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/gap/congruences/
H A Dcongrees.gd3 ## congruences/congrees.gi
10 ## This file contains methods for Rees congruences; i.e. semigroup congruences
H A Dcong.gd11 ## semigroup congruences. Methods for most of these are implemented for
16 ## congrees.gi - Rees congruences
19 ## conguniv.gi - Universal congruences
28 # Flexible functions for creating congruences
33 # Separate categories for the classes of left, right, and 2-sided congruences
H A Dconginv.gd3 ## congruences/conginv.gd
10 ## This file contains methods for congruences on inverse semigroups, using the
32 # Special congruences
H A Dconglatt.gd10 ## This file contains functions for a poset of congruences.
12 ## When the congruences of a semigroup are computed, they form a lattice with
13 ## respect to containment. The information about the congruences' positions in
H A Dcongrms.gd3 ## congruences/congrms.gd
10 ## This file contains methods for congruences on finite (0-)simple Rees
49 # Conversion with semigroup congruences by generating pairs
H A Dcongsimple.gi3 ## congruences/congsimple.gi
10 ## This file contains methods for congruences on finite (0-)simple semigroups,
12 ## congruences/reesmat.gd/gi. These functions are not intended for direct # use
66 "for two (0-)simple semigroup congruences",
73 "for two (0-)simple semigroup congruences",
86 "for two (0-)simple semigroup congruences",
204 "for two (0-)simple semigroup congruences",
H A Dconguniv.gi3 ## congruences/conguniv.gi
80 "for two universal semigroup congruences",
130 "congruences must be defined over the same semigroup,");
141 "congruences must be defined over the same semigroup,");
170 "congruences must be defined over the same semigroup,");
181 "congruences must be defined over the same semigroup,");
192 "congruences must be defined over the same semigroup,");
203 "congruences must be defined over the same semigroup,");
H A Dcongrees.gi3 ## congruences/congrees.gi
10 ## This file contains methods for Rees congruences; i.e. semigroup congruences
111 "for two Rees congruences",
118 "congruences must be defined over the same semigroup,");
151 "for two Rees congruences",
157 "the args <c1> and <c2> must be congruences of the same ",
H A Dcongsimple.gd3 ## congruences/congsimple.gd
10 ## This file contains methods for congruences on finite (0-)simple semigroups,
12 ## congruences/reesmat.gd/gi. These functions are not intended for direct
H A Dcongfpmon.gi3 ## congruences/congfpmon.gi
10 ## This file contains methods for congruences (left, right, or 2-sided) defined
117 "for two fp monoid congruences",
125 "for two 2-sided fp monoid congruences",
141 "for two left fp monoid congruences",
157 "for two right fp monoid congruences",
269 "for two fp monoid congruences",
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/tst/standard/
H A Dconglatt.tst32 <poset of 13 congruences over <regular bipartition *-monoid of size 15,
48 <poset of 3 congruences over <regular transformation monoid of size 3,
72 <poset of 5 congruences over <transformation semigroup of size 48, degree 6
171 <poset of 5 congruences over <transformation semigroup of degree 3 with 2
181 <poset of 4 congruences over <transformation semigroup of degree 3 with 2
192 <poset of 2 congruences over <transformation semigroup of degree 3 with 2
198 <poset of 1 congruences over <transformation semigroup of degree 3 with 2
266 <poset of 3 congruences over <transformation semigroup of degree 3 with 2
274 <poset of 3 congruences over <transformation semigroup of degree 3 with 2
395 <poset of 4 congruences over <symmetric inverse monoid of degree 2>>
[all …]
H A Dconguniv.tst68 congruences must be defined over the same semigroup,
71 congruences must be defined over the same semigroup,
203 congruences must be defined over the same semigroup,
206 congruences must be defined over the same semigroup,
209 congruences must be defined over the same semigroup,
212 congruences must be defined over the same semigroup,
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/tst/extreme/
H A Dcong.tst92 # PairsCongTest3: \= for two semigroup congruences
160 <poset of 52 congruences over <transformation semigroup of size 12, degree 4
175 <poset of 5 congruences over <transformation semigroup of size 48, degree 6
182 <poset of 328 congruences over <transformation semigroup of size 21, degree 6
272 <poset of 207 congruences over <transformation semigroup of size 74, degree 5
324 <poset of 225 congruences over <transformation semigroup of size 18, degree 5
385 <poset of 3 congruences over <regular transformation monoid of size 3,
391 <poset of 4 congruences over <regular transformation monoid of size 10,
397 <poset of 5 congruences over <regular transformation monoid of size 35,
403 <poset of 13 congruences over <regular bipartition *-monoid of size 15,
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dcongruences1.cc35 Congruence_System cgs = ph1.congruences(); in test01()
54 Congruence_System cgs = ph1.congruences(); in test02()
72 Congruence_System cgs = ph1.congruences(); in test03()
90 Congruence_System cgs = ph1.congruences(); in test04()
115 Congruence_System cgs = ph1.congruences(); in test05()
142 Congruence_System cgs = ph1.congruences(); in test06()
/dports/math/R-cran-psych/psych/man/
H A Dfactor.congruence.Rd18 …congruences are the cosines of pairs of vectors defined by the loadings matrix and based at the or…
20 … interesting exercise to compare factor congruences with the correlations of factor loadings. Fac…
29 \value{A matrix of factor congruences.
/dports/math/gap/gap-4.11.0/lib/
H A Dsemicong.gd11 ## This file contains the declaration for semigroup congruences.
50 ## Join of two semigroup congruences
58 ## Join of two semigroup congruences
70 ## Generating Pairs of a semigroup congruences
/dports/math/pari/pari-2.13.3/src/functions/linear_algebra/
H A Dmatsolvemod5 Help: matsolvemod(M,D,B,{flag=0}): one solution of system of congruences
10 column vector, gives an integer solution to the system of congruences
26 congruences and $u$ is a matrix whose columns give a basis of the homogeneous
/dports/math/cvc3/cvc3-2.4.1/src/theorem/
H A Dtheorem.cpp321 vector<Expr>& congruences) const in getAssumptionsAndCongRec()
333 thm.getAssumptionsAndCongRec(assumptions, congruences); in getAssumptionsAndCongRec()
348 congruences.push_back(Expr(OR, hyp)); in getAssumptionsAndCongRec()
353 congruences.push_back(Expr(OR, hyp)); in getAssumptionsAndCongRec()
358 congruences.push_back(Expr(OR, hyp)); in getAssumptionsAndCongRec()
364 (*i).getAssumptionsAndCongRec(assumptions, congruences); in getAssumptionsAndCongRec()
371 vector<Expr>& congruences, in getAssumptionsAndCong() argument
377 getAssumptionsAndCongRec(assumpSet, congruences); in getAssumptionsAndCong()
/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/analytica/
H A Dcongruence.m10 BeginPackage["congruences`", "UserInterface`", "SystemInterface`"]
17 (* Rules for congruences. Eventually, I want to include rules for solving \
18 equations involving congruences also. *)
/dports/devel/ppl/ppl-1.2/tests/Box/
H A Drefinewithcongruences1.cc128 TBox box1(box.congruences()); in test05()
203 TBox box1(box.congruences()); in test08()
273 TBox box1(box.congruences()); in test11()
288 TBox box1(box.congruences()); in test12()

12345678910>>...12