Mescal
Loading...
Searching...
No Matches
shell_morprops.h
Go to the documentation of this file.
1
9
10
11#ifndef SHELL_MORPROPS_H
12#define SHELL_MORPROPS_H
13
14#include "alloc.h"
15#include "shell_languages.h"
16#include "monoid_props.h"
17
18
26bool shell_morprop_htgentriv(int,
27 char*,
28 FILE*
29);
30
31
32
33
41bool shell_morprop_monotriv(int,
42 char*,
43 FILE*
44);
45
53bool shell_morprop_semitriv(int,
54 char*,
55 FILE*
56);
57
65bool shell_morprop_orbtriv(int,
66 orbits_type,
67 char*,
68 char*,
69 FILE*
70);
71
72
80bool shell_morprop_letterind(int,
81 char*,
82 FILE*
83);
84
92bool shell_morprop_monogroup(int,
93 char*,
94 FILE*
95);
96
104bool shell_morprop_semigroup(int,
105 char*,
106 FILE*
107);
108
109
110
118bool shell_morprop_monocom(int j,
119 char* name,
120 FILE* out
121);
122
130bool shell_morprop_kercom(int j,
131 kernel_type type,
132 char* ker,
133 char* name,
134 FILE* out
135);
136
144bool shell_morprop_orbcom(int j,
145 orbits_type type,
146 char* orbs,
147 char* name,
148 FILE* out
149);
150
158bool shell_morprop_semigencom(int j,
159 char* name,
160 FILE* out
161);
162
170bool shell_morprop_monoidem(int j,
171 char* name,
172 FILE* out
173);
174
182bool shell_morprop_keridem(int j,
183 kernel_type type,
184 char* ker,
185 char* name,
186 FILE* out
187);
188
196bool shell_morprop_orbidem(int j,
197 orbits_type type,
198 char* orbs,
199 char* name,
200 FILE* out
201);
202
210bool shell_morprop_monogreen(int j,
211 green_relation R,
212 char* name,
213 FILE* out
214);
215
223bool shell_morprop_kergreen(int j,
224 green_relation R,
225 kernel_type type,
226 char* ker,
227 char* name,
228 FILE* out
229);
230
238bool shell_morprop_orbgreen(int j,
239 green_relation R,
240 orbits_type type,
241 char* orbs,
242 char* name,
243 FILE* out
244);
245
253bool shell_morprop_monoda(int j,
254 char* name,
255 FILE* out
256);
257
265bool shell_morprop_kerda(int j,
266 kernel_type type,
267 char* ker,
268 char* name,
269 FILE* out
270);
271
279bool shell_morprop_orbda(int j,
280 orbits_type type,
281 char* orbs,
282 char* name,
283 FILE* out
284);
285
293bool shell_morprop_monojsat(int j,
294 char* name,
295 FILE* out
296);
297
305bool shell_morprop_monoejsat(int j,
306 char* name,
307 FILE* out
308);
309
317bool shell_morprop_kerjsat(int j,
318 kernel_type type,
319 char* ker,
320 char* name,
321 FILE* out
322);
323
331bool shell_morprop_orbjsat(int j,
332 orbits_type type,
333 char* orbs,
334 char* name,
335 FILE* out
336);
337
345bool shell_morprop_bpgroupeq(int j,
346 kernel_type type,
347 char* ker,
348 char* name,
349 FILE* out
350);
351
359bool shell_morprop_blockg(int j,
360 char* name,
361 FILE* out
362);
363
371bool shell_mprop_semiknast(int j,
372 char* name,
373 FILE* out
374);
375
383bool shell_morprop_kerknast(int j,
384 kernel_type type,
385 char* ker,
386 char* name,
387 FILE* out
388);
389
397bool shell_morprop_knastat(int j,
398 char* name,
399 FILE* out
400);
401
409bool shell_morprop_bpgroupeqplus(int j,
410 orbits_type type,
411 char* orbs,
412 char* name,
413 FILE* out
414);
415
423bool shell_morprop_ubp2eq(int j,
424 orbits_type type,
425 char* orbs,
426 char* name,
427 FILE* out
428);
429
430
431
432#endif // SHELL_MORPROPS_H
alloc.h
Macros and functions to help memory allocation.
monoid_props.h
Tests of properties on morphisms.
green_relation
green_relation
The four Green relations.
Definition monoid_props.h:30
shell_morprop_monoejsat
bool shell_morprop_monoejsat(int j, char *name, FILE *out)
Checks if a monoid satisfies J-saturation property restricted to idempotents.
Definition shell_morprops.c:443
shell_morprop_monoda
bool shell_morprop_monoda(int j, char *name, FILE *out)
Checks if a monoid is in DA.
Definition shell_morprops.c:364
shell_morprop_bpgroupeqplus
bool shell_morprop_bpgroupeqplus(int j, orbits_type type, char *orbs, char *name, FILE *out)
Checks if a kernel satisfies the BPol(G⁺)-equation.
Definition shell_morprops.c:632
shell_morprop_monojsat
bool shell_morprop_monojsat(int j, char *name, FILE *out)
Checks if a monoid satisfies the J-saturation property.
Definition shell_morprops.c:425
shell_morprop_semigencom
bool shell_morprop_semigencom(int j, char *name, FILE *out)
Checks if a semigroup is commutative.
Definition shell_morprops.c:224
shell_morprop_kergreen
bool shell_morprop_kergreen(int j, green_relation R, kernel_type type, char *ker, char *name, FILE *out)
Checks if a Green relation is trivial in a kernel.
Definition shell_morprops.c:323
shell_morprop_monogreen
bool shell_morprop_monogreen(int j, green_relation R, char *name, FILE *out)
Checks if a Green relation is trivial in a monoid.
Definition shell_morprops.c:304
shell_morprop_kerda
bool shell_morprop_kerda(int j, kernel_type type, char *ker, char *name, FILE *out)
Checks if a kernel is in DA.
Definition shell_morprops.c:383
shell_morprop_orbtriv
bool shell_morprop_orbtriv(int, orbits_type, char *, char *, FILE *)
Checks if a set of orbits is trivial.
Definition shell_morprops.c:82
shell_morprop_knastat
bool shell_morprop_knastat(int j, char *name, FILE *out)
Checks if a monoid satisfies Knast's equation for AT sets.
Definition shell_morprops.c:612
shell_morprop_monocom
bool shell_morprop_monocom(int j, char *name, FILE *out)
Checks if a monoid is a group.
Definition shell_morprops.c:165
shell_morprop_letterind
bool shell_morprop_letterind(int, char *, FILE *)
Checks if a morphism maps all letters to the same element.
Definition shell_morprops.c:102
shell_mprop_semiknast
bool shell_mprop_semiknast(int j, char *name, FILE *out)
Checks if a semigroup satisfies Knast's equation.
Definition shell_morprops.c:554
shell_morprop_kerknast
bool shell_morprop_kerknast(int j, kernel_type type, char *ker, char *name, FILE *out)
Checks if a strict kernel satisfies Knast's equation.
Definition shell_morprops.c:574
shell_morprop_bpgroupeq
bool shell_morprop_bpgroupeq(int j, kernel_type type, char *ker, char *name, FILE *out)
Checks if a morphism satisfies the BPol(G)-equation.
Definition shell_morprops.c:503
shell_morprop_monoidem
bool shell_morprop_monoidem(int j, char *name, FILE *out)
Checks if a monoid is idempotent.
Definition shell_morprops.c:244
shell_morprop_htgentriv
bool shell_morprop_htgentriv(int, char *, FILE *)
Checks if the H-classes of 1 and all generators are trivial.
Definition shell_morprops.c:24
shell_morprop_orbidem
bool shell_morprop_orbidem(int j, orbits_type type, char *orbs, char *name, FILE *out)
Checks if orbits are idempotent.
Definition shell_morprops.c:283
shell_morprop_kercom
bool shell_morprop_kercom(int j, kernel_type type, char *ker, char *name, FILE *out)
Checks if a kernel is commutative.
Definition shell_morprops.c:184
shell_morprop_orbjsat
bool shell_morprop_orbjsat(int j, orbits_type type, char *orbs, char *name, FILE *out)
Checks if orbits satisfy the J-saturation property.
Definition shell_morprops.c:481
shell_morprop_orbcom
bool shell_morprop_orbcom(int j, orbits_type type, char *orbs, char *name, FILE *out)
Checks if orbits are commutative.
Definition shell_morprops.c:204
shell_morprop_semitriv
bool shell_morprop_semitriv(int, char *, FILE *)
Checks if a semigroup is trivial.
Definition shell_morprops.c:63
shell_morprop_semigroup
bool shell_morprop_semigroup(int, char *, FILE *)
Checks if a semigroup is a group.
Definition shell_morprops.c:145
shell_morprop_ubp2eq
bool shell_morprop_ubp2eq(int j, orbits_type type, char *orbs, char *name, FILE *out)
Checks if orbits satisfy the UBP2 equality property.
Definition shell_morprops.c:664
shell_morprop_orbda
bool shell_morprop_orbda(int j, orbits_type type, char *orbs, char *name, FILE *out)
Checks if orbits are in DA.
Definition shell_morprops.c:403
shell_morprop_kerjsat
bool shell_morprop_kerjsat(int j, kernel_type type, char *ker, char *name, FILE *out)
Checks if a kernel satisfies the J-saturation property.
Definition shell_morprops.c:461
shell_morprop_keridem
bool shell_morprop_keridem(int j, kernel_type type, char *ker, char *name, FILE *out)
Checks if a kernel is idempotent.
Definition shell_morprops.c:263
shell_morprop_monotriv
bool shell_morprop_monotriv(int, char *, FILE *)
Checks if a monoid is trivial.
Definition shell_morprops.c:44
shell_morprop_orbgreen
bool shell_morprop_orbgreen(int j, green_relation R, orbits_type type, char *orbs, char *name, FILE *out)
Checks if a Green relation is trivial in a set of orbits.
Definition shell_morprops.c:343
shell_morprop_blockg
bool shell_morprop_blockg(int j, char *name, FILE *out)
Checks if a monoid satisfies the block-group property.
Definition shell_morprops.c:534
shell_morprop_monogroup
bool shell_morprop_monogroup(int, char *, FILE *)
Checks if a monoid is a group.
Definition shell_morprops.c:126