Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
PVS
/
vectors
/
pvsbin
/ (
Beweissystem der NASA
Version 6.0.9
©
) Datei vom 7.10.2014 mit Größe 267 kB
Quellcode-Bibliothek test4.sp Sprache: unbekannt
#Standard Presentation input file
1
prime 5
class 1
metabelian
generators {g1, g2, }
relations {g1^25,
g1^-1*g2^-1*g1*g2*g1^-1*g2^-1*g1^-1*g2*g1^2,
g2^5,
}
;
2
SPRES
5
2
2 0
0 1
4 1
4 0
0
0
[ 0.22Quellennavigators Projekt
]
2026-04-02