MULTREL
- This function multiplies a given relation by a polynomial and applies the trivial relations U^3=0 and V^3=0, for example
gap>M(U^2, [V*U^2*V, U*V^2*U]);M([V*U^2*V, U*V^2*U], V^2);
[(1)*U^2*VU^2*V, zero of ...]
[(1)*U*V^2*U*V^2, zero of ...]
- This function calls others functions: POL2REL.
MULTREL:= function(a, b)
local polaux, subu, subv;
polaux:= a*b;
polaux:=polaux[1] - polaux[2];
polaux:=SUBS(polaux, [U^3, Zero(A)]);
polaux:=SUBS(polaux, [V^3, Zero(A)]);
if polaux = Zero(A) then
return [Zero(A), Zero(A)];
else
return POL2REL(polaux);
fi;
end;