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 image not shown  

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   ]