R = ZZ/2[M,A,A1,B,B1,B2,L,Lm];
I = ideal(M^2-M,A^2-A,A1^2-A1,B^2-B,B1^2-B1,B2^2-B2,L^2-L,Lm^2-Lm);
Q = R/I;

L = 0_Q;
Lm = 0_Q;

RingElement | RingElement :=(x,y)->x+y+x*y;
RingElement & RingElement :=(x,y)->x*y;

fM = A;
fA = (B & Lm) | L | (A & (1+A1) & (1+B));
fA1 = (((1+B) | (1+Lm)) & (1+L)) & A;
fB = M | (B & 1+B2);
fB1 = (1+M) & B;
fB2 = (1+M) & B1;

(fM, fA, fA1, fB, fB1, fB2)

%%-----------------------------------------------

(L,Lm)=(1,1)

M = A
A = 1
A1 = 0
B = M*B*B2+M*B+B*B2+M+B
B1 = M*B+B
B2 = M*B1+B1

(L,Lm)=(0,1)

M = A
A = A*A1*B+A*A1+A*B+A+B
A1 = A
B = M*B*B2+M*B+B*B2+M+B
B1 = M*B+B
B2 = M*B1+B1

(L,Lm)=(0,1)

M = A
A = 1
A1 = A*B+A
B = M*B*B2+M*B+B*B2+M+B
B1 = M*B+B
B2 = M*B1+B1

%%-----------------------------------------------