1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
% First problem.
% Defining identities: associativity, $s4$, $test$
% generators: 431
%
% Second problem.
% Defining identities: associativity, $s4$, $testA$
% generators: 422
s4 (([x,y]z)+([y,z]x)+([z,x]y))t-(([x,y]t)+([y,t]x)+([t,x]y))z+\
(([x,z]t)+([z,t]x)+([t,x]z))y- (([y,z]t)+([z,t]y)+([t,y]z))x
test ((((((xy)z)x)y)x)y)x - ((((((xy)z)x)y)y)x)x - ((((((xy)z)y)x)x)y)x + \
((((((xy)z)y)x)y)x)x - ((((((xz)y)x)y)x)y)x + ((((((xz)y)x)y)y)x)x \
+ ((((((xz)y)y)x)x)y)x - ((((((xz)y)y)x)y)x)x - ((((((yx)z)x)y)x)y)x + \
((((((yx)z)x)y)y)x)x + ((((((yx)z)y)x)x)y)x - ((((((yx)z)y)x)y)x)x \
+ ((((((yz)x)x)y)x)y)x - ((((((yz)x)x)y)y)x)x - ((((((yz)x)y)x)x)y)x + \
((((((yz)x)y)x)y)x)x + ((((((zx)y)x)y)x)y)x - ((((((zx)y)x)y)y)x)x \
- ((((((zx)y)y)x)x)y)x + ((((((zx)y)y)x)y)x)x - ((((((zy)x)x)y)x)y)x + \
((((((zy)x)x)y)y)x)x + ((((((zy)x)y)x)x)y)x - ((((((zy)x)y)x)y)x)x
testA ((((((xy)z)x)y)z)x)x - ((((((xy)z)x)z)y)x)x - ((((((xy)z)y)x)z)x)x + \
((((((xy)z)y)z)x)x)x + ((((((xy)z)z)x)y)x)x - ((((((xy)z)z)y)x)x)x \
- ((((((xz)y)x)y)z)x)x + ((((((xz)y)x)z)y)x)x + ((((((xz)y)y)x)z)x)x - \
((((((xz)y)y)z)x)x)x - ((((((xz)y)z)x)y)x)x + ((((((xz)y)z)y)x)x)x \
- ((((((yx)z)x)y)z)x)x + ((((((yx)z)x)z)y)x)x + ((((((yx)z)y)x)z)x)x - \
((((((yx)z)y)z)x)x)x - ((((((yx)z)z)x)y)x)x + ((((((yx)z)z)y)x)x)x \
+ ((((((yz)x)x)y)z)x)x - ((((((yz)x)x)z)y)x)x - ((((((yz)x)y)x)z)x)x + \
((((((yz)x)y)z)x)x)x + ((((((yz)x)z)x)y)x)x - ((((((yz)x)z)y)x)x)x \
+ ((((((zx)y)x)y)z)x)x - ((((((zx)y)x)z)y)x)x - ((((((zx)y)y)x)z)x)x + \
((((((zx)y)y)z)x)x)x + ((((((zx)y)z)x)y)x)x - ((((((zx)y)z)y)x)x)x \
- ((((((zy)x)x)y)z)x)x + ((((((zy)x)x)z)y)x)x + ((((((zy)x)y)x)z)x)x - \
((((((zy)x)y)z)x)x)x - ((((((zy)x)z)x)y)x)x + ((((((zy)x)z)y)x)x)x
|