Weby shortcut 1a5a9004da81162f034eff2fc7a06c396dfddb022021fd13958735cc25a4882f
teste

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;

Listar Todas Voltar