Home
last modified time | relevance | path

Searched refs:RECOG (Results 1 – 25 of 111) sorted by relevance

12345

/dports/math/gap/gap-4.11.0/pkg/recog-1.3.2/gap/almostsimple/
H A Dlietype.gi19 RECOG.LieTypeOrderFunc := RECOG.ProjectiveOrder;
20 RECOG.LieTypeSampleSize := 250;
21 RECOG.LieTypeNmrTrials := 10;
23 RECOG.OMppdset := function(p, o)
276 RECOG.ComputeArtin := function (o, p)
566 return RECOG.PSLvsPSP (G, [1, 2, 4], p, RECOG.LieTypeSampleSize,
660 RECOG.LieTypeSampleSize, RECOG.LieTypeNmrTrials, orders);
756 return RECOG.OPlus82vsS62 (G, orders, RECOG.LieTypeSampleSize);
759 return RECOG.OPlus83vsO73vsSP63 (G,orders,RECOG.LieTypeSampleSize);
761 return RECOG.OPlus8vsO7vsSP6 (G,orders,p,e,RECOG.LieTypeSampleSize);
[all …]
/dports/math/gap/gap-4.11.0/pkg/recog-1.3.2/tst/slow/
H A Dbasic.tst6 gap> ri := RECOG.TestGroup(g,false,120);;
10 gap> ri := RECOG.TestGroup(g,false,Factorial(11));;
14 gap> ri := RECOG.TestGroup(g,false,Factorial(5)*Factorial(6));;
18 gap> ri := RECOG.TestGroup(g,false,Factorial(5)^12*Factorial(12));;
22 gap> ri := RECOG.TestGroup(g,false,Factorial(2)^100*Factorial(100));;
26 gap> ri := RECOG.TestGroup(g,false,Factorial(5)^32*Factorial(32));;
30 gap> ri := RECOG.TestGroup(g,false,(Factorial(5)/2)^32 * Factorial(32));;
39 gap> ri := RECOG.TestGroup(g,false,24^32);;
43 gap> ri := RECOG.TestGroup(g,false,Factorial(11));;
49 gap> ri := RECOG.TestGroup(g,false,60);;
[all …]
H A DProjC6.tst1 gap> h := RECOG.MakeC6Group(Sp(4,5),Sp(4,5),3);;
5 gap> ri := RECOG.TestGroup(g,true,5850000000);;
/dports/math/gap/gap-4.11.0/pkg/recog-1.3.2/misc/obsolete/
H A Dshortorbs.gi19 RECOG.InitHT := function(len, hfun, eqfun);
36 RECOG.LASTNUMBERVALUEHT := 0;
37 RECOG.ValueHT := function(ht, x)
46 RECOG.LASTNUMBERVALUEHT := h;
53 RECOG.AddHT := function(ht, x, val)
118 t := RECOG.InitHT(hashlen,hashfun,eqf);
119 RECOG.AddHT(t,x,1);
127 pos := RECOG.ValueHT(t,yy);
157 RECOG.AddHT(orbrec.ht,x,1);
190 RECOG.ShortOrbitsNrRandoms := 12;
[all …]
H A Dblackbox.gi30 vars.A := RECOG.ProjectiveOrder(els[1]);
52 vars.D := RECOG.ProjectiveOrder(els[5]);
74 vars.A := RECOG.ProjectiveOrder(els[1]);
102 vars.D := RECOG.ProjectiveOrder(els[5]);
114 vars.E := RECOG.ProjectiveOrder(els[9]);
141 vars.A := RECOG.ProjectiveOrder(els[1]);
172 vars.D := RECOG.ProjectiveOrder(els[6]);
189 vars.F := RECOG.ProjectiveOrder(els[9]);
214 vars.A := RECOG.ProjectiveOrder(els[1]);
237 vars.D := RECOG.ProjectiveOrder(els[5]);
[all …]
H A Dsemilinear.gi15 RECOG.WriteOverBiggerFieldWithSmallerDegree :=
40 RECOG.WriteOverBiggerFieldWithSmallerDegreeFinder := function(m)
69 RECOG.CleanRow(mu,ShallowCopy(i),true,fail);
76 if not(RECOG.CleanRow(mu,ShallowCopy(new),true,fail)) then
82 RECOG.CleanRow(mu,ShallowCopy(new),true,fail);
108 Add(newgens,RECOG.WriteOverBiggerFieldWithSmallerDegree(inforec,gens[j]));
137 r := RECOG.WriteOverBiggerFieldWithSmallerDegreeFinder(m);
139 hom := GroupHomByFuncWithData(G,H,RECOG.WriteOverBiggerFieldWithSmallerDegree,
169 newgens := List(GeneratorsOfGroup(G),x->RECOG.HomToDiagonalBlock(data,x));
171 hom := GroupHomByFuncWithData(G,H,RECOG.HomToDiagonalBlock,data);
/dports/math/gap/gap-4.11.0/pkg/recog-1.3.2/gap/
H A Dalmostsimple.gi317 RECOG.AlmostSimpleHints := rec();
648 RECOG.simplesocle := function(ri,g)
717 p := RECOG.findchar(ri,ri!.simplesocle,RECOG.RandElFuncSimpleSocle);
883 RECOG.HomFDPM := function(data,x)
993 RECOG.SporadicsElementOrders :=
1045 RECOG.SporadicsProbabilities :=
1163 RECOG.SporadicsNames :=
1168 RECOG.SporadicsSizes :=
1179 RECOG.SporadicsKillers :=
1192 RECOG.SporadicsWorkers := [];
[all …]
H A Dtools.gi18 RECOG.ElementOrderStats := function(pr,order,n,k)
46 RECOG.BinomialTab := [];
48 RECOG.InitBinomialTab := function()
51 RECOG.BinomialTab[i] := EmptyPlist(i);
52 Add(RECOG.BinomialTab[i],1);
56 Add(RECOG.BinomialTab[i],s);
60 RECOG.InitBinomialTab();
61 Unbind(RECOG.InitBinomialTab);
63 RECOG.CheckFingerPrint := function(fp,orders)
77 return RECOG.BinomialTab[Length(orders)][count+1]/2^(Length(orders));
H A DAnSnOnFDPM.gi25 RECOG.LogRat := function(rat, base)
62 RECOG.Commute := function(g, h);
70 RECOG.Conj := function(A, B)
80 RECOG.ConjInv := function(A, B)
279 RECOG.IsPre3Cycle :=
502 maxItr := RECOG.LogRat(n, 2);
552 return RECOG.Conj(g, s);
678 RECOG.Power := function(xs, k)
1551 34*RECOG.LogRat(eps^-1, 2)*RECOG.LogRat(fdpm.dim + 2, 2),
1557 2000*RECOG.LogRat(eps^-1, 2)*RECOG.LogRat(fdpm.dim + 2, 2),
[all …]
H A Dclassicalnatural.gi113 # RECOG.SL_FindSL2 := function(g,f)
465 RECOG.ResetSLstd := function(r)
482 return RECOG.ResetSLstd(r);
494 RECOG.InitSLfake := function(f,d)
1079 # RECOG.ResetSLstd(std);
1167 RECOG.SLn_UpStep(std);
1578 RECOG.SLn_godown:=function(list)
1647 out:=RECOG.SLn_godown(list);
1857 RECOG.SLn_UpStep := function(w)
2644 # RECOG.SpMakeImage_en :=
[all …]
H A Dtensor.gi16 RECOG.FindTensorKernel := function(G,onlyone)
74 RECOG.FindTensorDecomposition := function(G,N)
173 RECOG.IsKroneckerProduct := function(m,blocksize)
222 # RECOG.FindInvolution := function(g)
251 RECOG.IsScalarMat := function(m)
265 # RECOG.FindInvolutionCentraliser := function(G,x)
288 # x := RECOG.FindInvolution(N);
337 N := RECOG.FindTensorKernel(G,true);
340 r := RECOG.FindTensorDecomposition(G,N);
386 RECOG.HomTensorFactor := function(data,m)
[all …]
H A Dd247.gi18 RECOG.InvolutionSearcher := function(pr,ord,tol)
51 RECOG.InvolutionCentraliser := function(pr,ord,x,nr)
155 RECOG.DirectFactorsAction := function(data,el)
181 RECOG.IsPower := function(d)
196 RECOG.SortOutReducibleNormalSubgroup :=
299 RECOG.SortOutReducibleSecondNormalSubgroup :=
348 RECOG.SetPseudoRandomStamp(G,"D247");
365 y := RECOG.InvolutionJumper(pr,RECOG.ProjectiveOrder,x,200,false);
370 z := RECOG.InvolutionJumper(pr,RECOG.ProjectiveOrder,y,200,false);
388 x := RECOG.InvolutionSearcher(ri!.pr,RECOG.ProjectiveOrder,100);
[all …]
H A Dc3c5.gi22 RECOG.WriteOverBiggerFieldWithSmallerDegree :=
182 RECOG.HomBCToDiagonalBlock := function(data,x)
315 RECOG.CleanRow(seb,v[1],true,fail);
374 RECOG.SetPseudoRandomStamp(G,"Subfield");
405 RECOG.HomActionFieldAuto := function(data,el)
413 RECOG.HomCommutator := function(data,el)
420 RECOG.DecomposeNilpotent := function(data,el)
456 RECOG.HomForNilpotent := function(data,el)
466 RECOG.ProjectiveOrder := function(el)
486 orderfunc := RECOG.ProjectiveOrder;
[all …]
H A Dsnksetswrsr.gi36 RECOG.NkrGetParameters := function( N )
66 RECOG.NkrSchreierTree := function ( alpha, gens, gensinv )
98 RECOG.NkrTraceSchreierTree := function( beta, sv )
123 RECOG.NkrOrbitsOfStabiliser := function ( alpha, sv, grp )
170 g := RECOG.NkrTraceSchreierTree( beta, svalpha );
369 RECOG.AllJellyfish := function( G )
400 params := RECOG.NkrGetParameters( N );
440 RECOG.FindImageJellyfish := function( g, T, seen )
472 RECOG.JellyHomFunc := function(data,el)
485 RECOG.SetPseudoRandomStamp(grp,"Jellyfish");
[all …]
H A Dc6.gi56 RECOG.whichpower:=function(r,n,q,spa,spb,x)
98 RECOG.CommonDiagonal2:=function(r,n,q,rad)
154 RECOG.RadBasis:=function(r,n,q,rad)
200 RECOG.basis2:=function(r,n,q,g)
329 RECOG.check:=function(r,n,q,list,x,exp)
395 RECOG.multiplicity:=function(p,n)
413 RECOG.commondiagonal:=function(q,rad)
440 RECOG.basis:=function(r,n,q,g)
571 RECOG.TestAbelian := function (n,grp,u)
673 RECOG.New2RecogniseC6 := function(grp)
[all …]
H A Dgiant.gi30 RECOG.NiceGeneratorsSn := function ( mp, grp, N )
83 RECOG.ConjEltSn := function( mp, g, h )
117 RECOG.RecogniseSn := function( mp, grp, eps )
308 RECOG.ConjEltAnEven := function( mp, g, h )
367 RECOG.ConjEltAnOdd := function( mp, g, h )
462 RECOG.IsGiant:=function(g,mp)
482 RECOG.SLPforSn := function( n, pi )
548 RECOG.SLPforAn := function( n, pi )
689 RECOG.GiantEpsilon := 1/1024;
701 if RECOG.IsGiant(grp,mp) = fail then
[all …]
H A Dmatimpr.gi24 # RECOG.OrbitSubspaceWithLimit := function( grp, U, max )
62 RECOG.IndexMaxSub := function( hm, grp, d )
75 #orb := RECOG.OrbitSubspaceWithLimit(grp, sub, 4 * d );
122 RECOG.SmallHomomorphicImageProjectiveGroup := function ( grp )
136 res := RECOG.IndexMaxSub( hm, grp, d );
168 RECOG.SetPseudoRandomStamp(G,"LowIndex");
169 res := RECOG.SmallHomomorphicImageProjectiveGroup(G);
207 iso := GroupHomByFuncWithData(G,H,RECOG.HomDoBaseChange,
247 RECOG.HomBackToMats := function(el)
259 newgens := List(GeneratorsOfGroup(G),RECOG.HomBackToMats);
[all …]
H A Dmatrix.gi33 RECOG.HomToScalars := function(data,el)
89 #RECOG.DetWrapper := function(m)
110 # dets := List(gens,RECOG.DetWrapper);
182 RECOG.IsDiagonalBlockOfMatrix := function(mat,poss)
200 RECOG.HomToDiagonalBlock := function(data,el)
309 RECOG.HomDoBaseChange := function(data,el)
373 RECOG.FindAdjustedBasis := function(l)
394 RECOG.SetPseudoRandomStamp(G,"ReducibleIso");
413 bc := RECOG.FindAdjustedBasis(compseries);
458 RECOG.HomOntoBlockDiagonal := function(data,el)
[all …]
H A Dprojective.gi59 hom := GroupHomByFuncWithData(G,H,RECOG.HomToDiagonalBlock,data);
73 hom := GroupHomByFuncWithData(G,H,RECOG.HomToDiagonalBlock,data);
132 RECOG.HomProjDet := function(data,m)
153 hom := GroupHomByFuncWithData(G,H,RECOG.HomProjDet,
163 RECOG.IsBlockScalarMatrix := function(blocks, x)
180 RECOG.HomNormLastBlock := function(data, x)
183 if not RECOG.IsBlockScalarMatrix(blocks, x) then
200 g := RECOG.HomNormLastBlock(data, g);
207 hom := GroupHomByFuncWithData(G,H,RECOG.HomNormLastBlock,data);
221 RECOG.MakeAlternatingMatrixReps := function(deg,f,tens)
[all …]
/dports/math/gap/gap-4.11.0/pkg/recog-1.3.2/tst/
H A DMatTensor.g11 rislxsp := RECOG.TestGroup(slxsp,false,Size(sl)*Size(sp)/2);
14 rislxsp := RECOG.TestGroup(glxsp,false,Size(gl)*Size(sp)/2);
22 rislxsp := RECOG.TestGroup(slxsp,false,Size(sl)*Size(sp)/2);
25 rislxsp := RECOG.TestGroup(glxsp,false,Size(gl)*Size(sp)/2);
/dports/math/gap/gap-4.11.0/pkg/recog-1.3.2/tst/quick/
H A Dmixed.tst3 # RECOG.SortOutReducibleNormalSubgroup
9 gap> #ri:=RECOG.TestGroup(H2, false, 645120);;
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.dg/
H A Ddelay-slot-2.c50 RECOG, SPLIT, PEEPHOLE2 enumerator
107 ((void)(__builtin_expect(!(subroutine_type == RECOG), 0) ? __builtin_unreachable(), 0 : 0)); in write_cond()
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.dg/
H A Ddelay-slot-2.c50 RECOG, SPLIT, PEEPHOLE2 enumerator
107 ((void)(__builtin_expect(!(subroutine_type == RECOG), 0) ? __builtin_unreachable(), 0 : 0)); in write_cond()
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gcc.dg/
H A Ddelay-slot-2.c49 RECOG, SPLIT, PEEPHOLE2 enumerator
106 ((void)(__builtin_expect(!(subroutine_type == RECOG), 0) ? __builtin_unreachable(), 0 : 0)); in write_cond()
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.dg/
H A Ddelay-slot-2.c50 RECOG, SPLIT, PEEPHOLE2 enumerator
107 ((void)(__builtin_expect(!(subroutine_type == RECOG), 0) ? __builtin_unreachable(), 0 : 0)); in write_cond()

12345