Home
last modified time | relevance | path

Searched refs:Igs (Results 1 – 25 of 62) sorted by relevance

123

/dports/math/gap/gap-4.11.0/pkg/polycyclic-2.15.1/gap/cover/const/
H A Dbas.gi16 return SubgroupByIgs(K,Igs(K){[Length(Igs(H))+1..Length(Igs(K))]});
24 return Subgroup(G, Concatenation(Igs(U), Igs(V)));
32 return Subgroup(G, List(Igs(G), x -> x^e));
/dports/math/gap/gap-4.11.0/pkg/polycyclic-2.15.1/gap/basic/
H A Dpcpgrps.gi61 #M Igs( <pcpgrp> )
65 InstallMethod( Igs, [ IsPcpGroup ],
69 return Igs( GeneratorsOfGroup(G) );
75 return Ngs( Igs( GeneratorsOfGroup(G) ) );
80 return Cgs( Igs( GeneratorsOfGroup(G) ) );
167 for u in Igs(U) do
181 pcs := Igs( G );
255 pcs := Igs( G );
269 pcsG := Igs(G);
270 pcsH := Igs(H);
[all …]
H A Dpcpsers.gi38 U := SubgroupByIgs( G, Igs(C), new );
49 ## Compute a polycyclic series of G - we use the series defined by Igs(G).
53 pcs := Igs( G );
198 if Length( Igs( B ) ) = 0 then return new; fi;
228 f := AddToIgs( Igs(B), gens{fini} );
241 f := AddToIgs( Igs(B), f );
283 f := AddToIgs( Igs(B), f );
324 U := SubgroupByIgs( G, Igs(D), gens{fini} );
347 U := SubgroupByIgs( G, pcp{[j+1..Length(pcp)]}, Igs(M) );
408 B := SubgroupByIgs( Parent( ser[1] ), Igs(L), gens );
H A Dchngpcp.gi20 pcs := Igs(G);
74 pcs := Igs( G );
105 H!.bijection := GroupHomomorphismByImagesNC( G, H, new, Igs(H) );
174 G!.bijection := GroupHomomorphismByImagesNC( G, H, Igs(G), gens );
226 G!.bijection := GroupHomomorphismByImagesNC( G, H, Igs(G), gens );
H A Dpcpgrps.gd21 DeclareAttribute( "Igs", IsPcpGroup );
H A Dpcpfact.gi40 imgs := ShallowCopy( Igs( F ) );
/dports/math/gap/gap-4.11.0/pkg/polycyclic-2.15.1/gap/cohom/
H A Dgrpext.gi60 G!.module := Subgroup( G, Igs(G){[n+1..n+m]} );
149 g := Igs(G);
150 h := Igs(H);
220 f := [1,Length(Igs(D))+1];
222 a := List(Igs(D), x -> IdentityMapping(groups[i]));
224 Add(f,Length(Igs(D))+1);
257 gens := Igs( G );
258 imgs := Igs( D ){[info.first[i] .. info.first[i+1]-1]};
282 gens := Igs( D );
285 Igs( G ),
H A Dgrpcom.gi207 gens := AddIgsToIgs( cent, Igs( K ) );
246 L := SubgroupByIgs( G, Igs(A), Igs(K) );
255 elif ForAny( Igs(S), x -> x = One(K) ) then
/dports/math/gap/gap-4.11.0/pkg/aclib-1.3.2/gap/
H A Dextend.gi31 mats := List( Igs(G), x -> IdentityMat(1));
46 mats := List( Igs(G), x -> IdentityMat(1));
47 for i in [1..Length(Igs(G))] do
48 if not Igs(G)[i] in H then
69 mats := List( Igs(G), x -> IdentityMat(1));
75 gens := Flat( List( reps, Igs ) );
89 mats := List( Igs(G), x -> IdentityMat(1));
90 for i in [1..Length(Igs(G))] do
91 if not Igs(G)[i] in H then
257 mats := List( Igs(G), x -> IdentityMat( 1 ) );
H A Dcrystgrp.gi1326 n := Length( Igs(H) );
1327 F := Subgroup( H, Igs(H){[n-dim+1..n]} );
/dports/math/gap/gap-4.11.0/pkg/polycyclic-2.15.1/tst/exam/
H A Dgeneric.tst16 gap> hom:=GroupHomomorphismByImages( G, Group(G!.mats), Igs(G), G!.mats);;
25 gap> hom:=GroupHomomorphismByImages( G, Group(G!.mats), Igs(G), G!.mats);;
/dports/math/gap/gap-4.11.0/pkg/polycyclic-2.15.1/gap/pcpgrp/
H A Dnormcon.gi55 b := AddIgsToIgs( Igs(H), DenominatorOfPcp( CR.normal ) );
85 int := List( Igs(I), x -> ExponentsByPcp( pcp, x ) );
166 return SubgroupByIgsAndIgs( C, stb.stab, Igs(CR.group) );
178 sub := Igs(I);
224 L := SubgroupByIgsAndIgs( C, Igs(H), Igs(M) );
293 if ForAny( Igs(C), x -> H^x <> H ) then
333 H := SubgroupByIgs( H, Igs(G), Igs(U) );
H A Dcentcon.gi37 for g in Igs(G) do
103 stb := AddIgsToIgs( stb, Igs(N) );
116 stb := AddIgsToIgs( stb.stab, Igs(M) );
143 if ForAny( Igs(C), x -> Comm(g,x) <> One(G) ) then
271 stb := AddIgsToIgs( stb.stab, Igs(N) );
290 stb := AddIgsToIgs( stb.stab, Igs(M) );
H A Dinters.gi18 igs := Igs(G);
119 if IsInt(Size(V)/Size(U)) and ForAll(Igs(U), x -> x in V ) then
122 and ForAll( Igs(V), x -> x in U ) then
H A Dschur.gi43 g := Igs(G);
87 extgens := Igs( ext );
162 g := Igs(G);
164 extgens := Igs( cover );
231 g := Igs(G);
H A Dnilpot.gi104 if Length(Igs(G)) = 0 then return G; fi;
117 if Length(Igs(G)) = 0 then return G; fi;
H A Dtensor.gi302 n := Length(Igs(S!.group));
445 n := Length(Igs(G));
456 y := NumberOfGenerators(coll) - Length(Igs(S));
469 T := Subgroup(T, Igs(T){[1..2*n]});
473 Igs(T){[1..2*n]},Igs(S){[1..2*n]} );
H A Dpcpattr.gi30 g := Igs(G);
H A Dfitting.gi26 mats := LinearActionOnPcp( Igs(G), pcps[i] );
106 mats := LinearActionOnPcp( Igs(F), pcps[i] );
/dports/math/gap/gap-4.11.0/pkg/fwtree-1.3/gap/
H A Dskf.gi228 e := Igs(G){[3 + k*4..Length(Igs(G))]};
250 u := [Igs(G)[3]];
252 u := List([3, 7 .. Length(Igs(G))-3], x -> Igs(G)[x]);
H A Dpsl.gi159 e := Igs(G){[d*(d-1)/2 + k*(d^2-1) + 1..Length(Igs(G))]};
183 Add(u, MappedVector(e, Igs(G)));
/dports/cad/ngspice_rework/ngspice-35/src/spicelib/devices/hisimhv1/
H A Dhsmhvcvtest.c41 Igs=0.0, dIgs_dVd=0.0, dIgs_dVg=0.0, dIgs_dVb=0.0, dIgs_dT=0.0, in HSMHVconvTest() local
134 Igs = here->HSMHV_igs ; in HSMHVconvTest()
184 Igs = here->HSMHV_igs ; in HSMHVconvTest()
210 i_gP = Igd + Igs + Igb ; in HSMHVconvTest()
215 i_sP =-Ids + Isubs + Igisl - Igs ; in HSMHVconvTest()
/dports/cad/ngspice_rework/ngspice-35/src/spicelib/devices/hisimhv2/
H A Dhsmhv2cvtest.c83 Igs=0.0, dIgs_dVd=0.0, dIgs_dVg=0.0, dIgs_dVb=0.0, dIgs_dT=0.0, in HSMHV2convTest() local
176 Igs = here->HSMHV2_igs ; in HSMHV2convTest()
226 Igs = here->HSMHV2_igs ; in HSMHV2convTest()
252 i_gP = Igd + Igs + Igb ; in HSMHV2convTest()
257 i_sP =-Ids + Isubs + Igisl - Igs ; in HSMHV2convTest()
/dports/math/gap/gap-4.11.0/pkg/guarana-0.96.2/gap/supple/
H A Dalmsup.gi74 imgs := ShallowCopy( Igs( F ) );
224 f := AddToIgs( Igs(B), gens{fini} );
237 f := AddToIgs( Igs(B), f );
/dports/math/gap/gap-4.11.0/pkg/lpres-1.0.1/
H A Dread.g8 # problem with polycyclic's Igs vs. Cgs

123