GAP tutrial1 - ploughko @ ウィキ

GAPによる例の表示

例（群の三角形）

F:=FreeGroup("a", "b", "c");

a:=F.1;;b:=F.2;;c:=F.3;;

G:=F/[a^4,b^4,c^4,a^2*b^-2,a^2*c^-2,c^2*b^-2];

LoadPackage("kbmag");

R:=KBMAGRewritingSystem(G);

AutomaticStructure(R);

GrowthFunction(R);