Spracherkennung für: .in vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
Generators: x y z;
Parameter: t;
Limiting weight: 58;
Relations:
[[x,y],x] - 2 x;
[[x,y],y] + 2 y;
[y,z];
[[x,y],z] + 10 z;
[x,[x,[x,[x,[x,[x,[x,[x,[x,[x,[x,z]]]]]]]]]]];
[z,[x,z]];
4 [[x,[x,z]],[x,[x,[x,z]]]] - 9 [[x,z],[x,[x,[x,[x,z]]]]] - 42 t z;
5 [[x,[x,[x,z]]],[x,[x,[x,[x,z]]]]] -
6 [[x,[x,z]],[x,[x,[x,[x,[x,z]]]]]] - 28 t [x,[x,z]];
13 [[x,[x,[x,[x,z]]]],[x,[x,[x,[x,[x,z]]]]]] -
14 [[x,[x,[x,z]]],[x,[x,[x,[x,[x,[x,z]]]]]]] -
56 t [x,[x,[x,[x,z]]]] - 306 t^2 y;