Spracherkennung für: .gi vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#(C) Graham Ellis, 2005-2006
#####################################################################
InstallGlobalFunction(TietzeReduction,
function(S,c)
local
ElementaryReduction,
ElementaryReductionPosNeg,
b;
#####################################################################
ElementaryReduction:=function(b,c)
local d;
d:=AddFreeWords(b,c);
if Length(d) < Length(c) then return ElementaryReduction(b,d);
else return c; fi;
end;
#####################################################################
#####################################################################
ElementaryReductionPosNeg:=function(b,c)
local d;
d:=ElementaryReduction(b,c);
if Length(d)<Length(c) then return d;
else d:=ElementaryReduction(Negate(b),c);
if Length(d) < Length(c) then return d;
else return c;
fi;
fi;
end;
#####################################################################
for b in S do
c:=ElementaryReductionPosNeg(b,c);
od;
return c;
end);
#####################################################################
[Dauer der Verarbeitung: 0.19 Sekunden, vorverarbeitet 2026-06-18]
