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 D | control.c | 38 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 D | al1.h | 109 extern Logic *geninv; /* Are generators involutions? */
|
H A D | util1.c | 51 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 D | logrws.gi | 428 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 ] );
|