Lines Matching refs:vars
19 local vars,els,G;
22 vars := rec();
27 vars.V := 0;
30 vars.A := RECOG.ProjectiveOrder(els[1]);
31 vars.V := vars.V + 1;
32 if vars.V > 1000 then
35 if not(vars.A in [1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 15, 20]) then
38 until vars.A = 20;
43 vars.X := 0;
45 vars.X := vars.X + 1;
46 if vars.X > 1000 then
52 vars.D := RECOG.ProjectiveOrder(els[5]);
53 if not(vars.D in [5, 6, 8, 10, 11, 15, 20]) then
56 until vars.D = 11;
63 local vars,els,G;
66 vars := rec();
70 vars.V := 0;
74 vars.A := RECOG.ProjectiveOrder(els[1]);
75 vars.V := vars.V + 1;
76 if vars.V > 1000 then
79 if not(vars.A in [1, 2, 3, 4, 5, 6, 8, 11]) then
82 until vars.A in [4, 8];
84 vars.B := QuoInt(vars.A,2);
85 els[2] := els[1]^vars.B;
87 vars.C := QuoInt(vars.A,4);
88 els[3] := els[1]^vars.C;
92 vars.X := 0;
95 vars.X := vars.X + 1;
96 if vars.X > 1000 then
102 vars.D := RECOG.ProjectiveOrder(els[5]);
104 if not(vars.D in [2, 3, 4, 5, 6, 8, 11]) then
107 until vars.D = 11;
114 vars.E := RECOG.ProjectiveOrder(els[9]);
116 if vars.E = 3 then
127 local vars,els,G;
130 vars := rec();
136 vars.F := 0;
137 vars.G := 0;
138 vars.V := 0;
141 vars.A := RECOG.ProjectiveOrder(els[1]);
142 vars.V := vars.V + 1;
143 if vars.V > 1000 then
146 if not(vars.A in [1, 2, 3, 4, 5, 6, 8, 10, 11]) then
149 if vars.F = 0 then
150 if vars.A in [4, 8] then
151 vars.B := QuoInt(vars.A,2);
152 els[2] := els[1]^vars.B;
153 vars.F := 1;
156 if vars.G = 0 then
157 if vars.A = 10 then
159 vars.G := 1;
162 until vars.F <> 0 and vars.G <> 0;
163 vars.X := 0;
165 vars.X := vars.X + 1;
166 if vars.X > 1000 then
172 vars.D := RECOG.ProjectiveOrder(els[6]);
173 if not(vars.D in [1, 2, 3, 4, 5, 6]) then
176 until vars.D in [3,6];
177 vars.E := QuoInt(vars.D,3);
178 els[7] := els[6]^vars.E;
180 vars.X := 0;
182 vars.X := vars.X + 1;
183 if vars.X > 1000 then
189 vars.F := RECOG.ProjectiveOrder(els[9]);
191 if not(vars.F in [2, 3, 5, 6, 8, 10, 11]) then
194 until vars.F = 11;
201 local vars,els,G;
204 vars := rec();
210 vars.V := 0;
214 vars.A := RECOG.ProjectiveOrder(els[1]);
215 vars.V := vars.V + 1;
216 if vars.V > 1000 then
219 if not(vars.A in [1, 2, 3, 4, 5, 6, 7, 8, 11]) then
222 until vars.A = 8;
227 vars.X := 0;
230 vars.X := vars.X + 1;
231 if vars.X > 1000 then
237 vars.D := RECOG.ProjectiveOrder(els[5]);
238 if not(vars.D in [2, 3, 4, 5, 6, 7, 8, 11]) then
241 if vars.D <> 11 then
247 vars.E := RECOG.ProjectiveOrder(els[7]);
249 if vars.E <> 11 then
261 local vars,els,G;
264 vars := rec();
269 vars.F := 0;
270 vars.G := 0;
271 vars.H := 0;
272 vars.V := 0;
273 vars.X := 0;
276 vars.A := RECOG.ProjectiveOrder(els[1]);
277 vars.V := vars.V + 1;
278 if vars.V > 1000 then
281 if not(vars.A in [1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 15]) then
284 if vars.F = 0 then
285 if vars.A in [2, 6, 10] then
286 vars.B := QuoInt(vars.A,2);
287 els[2] := els[1]^vars.B;
288 vars.F := 1;
291 if vars.G = 0 then
292 if vars.A in [3, 6] then
293 vars.C := QuoInt(vars.A,3);
294 els[3] := els[1]^vars.C;
295 vars.G := 1;
303 if vars.H = 0 then
304 if vars.A in [4, 8, 12] then
305 vars.D := QuoInt(vars.A,2);
306 els[4] := els[1]^vars.D;
307 vars.H := 1;
311 if vars.F = 0 then
314 if vars.G = 0 then
317 if vars.H = 0 then
322 vars.D := RECOG.ProjectiveOrder(els[5]);
323 if vars.D in [1, 2, 3, 4, 5] then
325 vars.F := 0;
330 vars.E := RECOG.ProjectiveOrder(els[6]);
331 if vars.E in [6, 12] then
333 vars.G := 0;
342 vars.X := vars.X + 1;
343 if vars.X > 1000 then
349 vars.D := RECOG.ProjectiveOrder(els[8]);
350 if not(vars.D in [2, 3, 5, 6, 7, 8, 10, 12, 15]) then
354 if vars.D <> 7 then
361 vars.E := RECOG.ProjectiveOrder(els[10]);
363 if not(vars.E in [10, 12, 15]) then
366 if vars.E <> 12 then
378 local vars,els,G;
381 vars := rec();
386 vars.F := 0;
387 vars.G := 0;
388 vars.V := 0;
391 vars.A := RECOG.ProjectiveOrder(els[1]);
392 vars.V := vars.V + 1;
393 if vars.V > 1000 then
396 if not(vars.A in [1,2,3,4,5,6,7,8,9,10,11,12,14,15,18,20,21,22,
401 if vars.F = 0 then
402 if vars.A in [9,18,24,30] then
403 vars.B := QuoInt(vars.A,3);
404 els[2] := els[1]^vars.B;
405 vars.F := 1;
408 if vars.G = 0 then
409 if vars.A = 20 then
411 vars.G := 1;
415 if vars.F = 0 then
418 if vars.G = 0 then
424 vars.X := 0;
426 vars.X := vars.X + 1;
427 if vars.X > 1000 then
433 vars.D := RECOG.ProjectiveOrder(els[5]);
434 if not(vars.D in [4,5,6,7,8,9,10,11,12,14,15,18,20,22,23,24]) then
437 if vars.D <> 14 then
449 local vars,els,G,toSEMISTD;
452 vars := rec();
457 vars.F := 0;
458 vars.G := 0;
459 vars.V := 0;
460 vars.X := 0;
464 vars.A := RECOG.ProjectiveOrder(els[1]);
465 vars.V := vars.V + 1;
466 if vars.V > 1000 then
469 if not(vars.A in [1,2,3,4,5,6,7,8,9,10,11,12,14,15,16,18,20,23,24,
473 if vars.F = 0 then
474 if vars.A in [16,18,28] then
475 vars.B := QuoInt(vars.A,2);
476 els[2] := els[1]^vars.B;
477 vars.F := 1;
480 if vars.G = 0 then
481 if vars.A in [15,30] then
482 vars.C := QuoInt(vars.A,5);
483 els[3] := els[1]^vars.C;
484 vars.G := 1;
488 if vars.F = 0 then
491 if vars.G = 0 then
495 vars.Y := 0;
496 vars.Z := 0;
497 vars.U := 0;
499 vars.X := vars.X + 1;
500 if vars.X > 1000 then
503 vars.Y := vars.Y + 1;
507 vars.D := RECOG.ProjectiveOrder(els[5]);
508 if not(vars.D in [4,5,6,7,8,9,10,11,12,14,15,16,18,20,23,24,
513 if vars.D = 7 then
514 vars.Z := 1;
517 if vars.Z = 0 then
518 if vars.Y > 35 then
519 vars.G := 0;
526 if vars.D in [6,12,14,24,30] then
527 vars.U := vars.U + 1;
529 if vars.D in [9,11,15,23] then
530 vars.U := vars.U + 1;
533 if vars.U = 3 then
535 vars.G := 0;
541 if vars.D <> 28 then
548 if vars.Z = 0 then
551 vars.E := RECOG.ProjectiveOrder(els[6]);
553 if not(vars.E in [9, 15]) then
556 if vars.E = 15 then
557 vars.G := 0;
574 local vars,els,G;
577 vars := rec();
582 vars.F := 0;
583 vars.G := 0;
584 vars.V := 0;
587 vars.A := RECOG.ProjectiveOrder(els[1]);
588 vars.V := vars.V + 1;
589 if vars.V > 1000 then
592 if not(vars.A in [1,2,3,4,5,6,7,8,9,10,11,12,14,15,
596 if vars.F = 0 then
597 if vars.A in [2,4,6,8,10,12,14,18,20,22,24,28,30,40,42] then
598 vars.B := QuoInt(vars.A,2);
599 els[2] := els[1]^vars.B;
600 vars.F := 1;
603 if vars.G = 0 then
604 if vars.A in [20,25,40] then
605 vars.C := QuoInt(vars.A,5);
606 els[3] := els[1]^vars.C;
607 vars.G := 1;
610 until vars.F <> 0 and vars.G <> 0;
612 vars.X := 0;
614 vars.X := vars.X + 1;
615 if vars.X > 3000 then
621 vars.D := RECOG.ProjectiveOrder(els[5]);
622 if not(vars.D in [2,6,7,8,9,10,11,12,14,15,18,20,
626 if vars.D <> 14 then
633 vars.E := RECOG.ProjectiveOrder(els[8]);
634 if vars.E <> 67 then