/dports/math/gap/gap-4.11.0/pkg/recog-1.3.2/gap/almostsimple/ |
H A D | lietype.gi | 19 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 D | basic.tst | 6 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 D | ProjC6.tst | 1 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 D | shortorbs.gi | 19 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 D | blackbox.gi | 30 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 D | semilinear.gi | 15 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 D | almostsimple.gi | 317 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 D | tools.gi | 18 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 D | AnSnOnFDPM.gi | 25 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 D | classicalnatural.gi | 113 # 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 D | tensor.gi | 16 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 D | d247.gi | 18 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 D | c3c5.gi | 22 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 D | snksetswrsr.gi | 36 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 D | c6.gi | 56 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 D | giant.gi | 30 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 D | matimpr.gi | 24 # 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 D | matrix.gi | 33 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 D | projective.gi | 59 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 D | MatTensor.g | 11 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 D | mixed.tst | 3 # RECOG.SortOutReducibleNormalSubgroup 9 gap> #ri:=RECOG.TestGroup(H2, false, 645120);;
|
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.dg/ |
H A D | delay-slot-2.c | 50 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 D | delay-slot-2.c | 50 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 D | delay-slot-2.c | 49 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 D | delay-slot-2.c | 50 RECOG, SPLIT, PEEPHOLE2 enumerator 107 ((void)(__builtin_expect(!(subroutine_type == RECOG), 0) ? __builtin_unreachable(), 0 : 0)); in write_cond()
|