Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/ace/src/test/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 10.3.2025 mit Größe 508 B image not shown  

Quelle  test004.in   Sprache: unbekannt

 

# U/<yu,v> from Edeson's thesis (p. 46)

Gr: y,u,v;
Rel: y^2, (yu)^2, u^3, (yv)^2, v^3, (uv)^6, (uV)^6, (yuv)^6, (y(uv)^3)^6;
Gen: yu,v;

Mess:10000;

Sims:3;  End;   # m=86 t=101

Sims:9;  End;   # m=40 t=43

Fel:1;  End;   # m=78 t=80
No:7;   End;   # m=36 t=37

# Duplicate table at top of p.48

AsIs:1;
Gr:u,v,y;
Rel: y^2, (yu)^2, u^3, (yv)^2, v^3, (uv)^6, (uV)^6, (yuv)^6, (y(uv)^3)^6;
Gen: yY, uU, yu, v;

Fel;
Loop:1;  Begin;
Loop:2;  Redo;
Pr:-3;

# Use Aep with this to give `best' enumeration ...

[ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet)  ]