Home
last modified time | relevance | path

Searched refs:geninv (Results 1 – 4 of 4) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/ace-5.3/src/
H A Dcontrol.c38 Logic *geninv, galpha; variable
270 if (geninv != NULL) in al1_chkinvol()
271 { free(geninv); } in al1_chkinvol()
275 geninv[0] = FALSE; /* P.P.P. */ in al1_chkinvol()
277 { geninv[i] = FALSE; } in al1_chkinvol()
288 { geninv[abs(p->word[1])] = TRUE; } in al1_chkinvol()
291 { geninv[abs(p->word[1])] = TRUE; } in al1_chkinvol()
321 geninv[1] = FALSE; in al1_cols()
356 if (geninv[i]) in al1_cols()
378 if (!geninv[1] || (geninv[1] && geninv[2])) in al1_cols()
[all …]
H A Dal1.h109 extern Logic *geninv; /* Are generators involutions? */
H A Dutil1.c51 geninv = NULL; in al1_init()
124 if (geninv == NULL) in al1_dump()
130 { fprintf(fop, "%d ", geninv[i]); } in al1_dump()
/dports/math/gap/gap-4.11.0/pkg/idrel-2.43/lib/
H A Dlogrws.gi428 local F, freerels, genF, genG, geninv, numgen, numrel, relrange, str,
443 ## previously: geninv := Concatenation( genF, List(genF,g->g^-1) );
444 geninv := 0 * [1..numgen2];
448 geninv[i] := genF[j];
450 geninv[i] := genF[-j]^-1;
453 Info( InfoIdRel, 2, "geninv = ", geninv );
474 mu := GroupHomomorphismByImages( FM, F, genFM, geninv );
492 fam := FamilyObj( [ geninv, relsmon, geninvrels, mu ] );