CHECKBYMAT
- This function substitutes the generators in an equation [monomial, polynomial] by matrices from a file matrep, and returns true or false. For example
gap>CHECKBYMAT([U,U]);CHECKBYMAT([U,V]);#A list of type [monomial, polynomial] means monomial = polynomial.
true
false
- This fucntion calls a external function: sed.
listona:=[];
CHECKBYMAT:=function(rel)
PrintTo("TEMP", "listona:=", rel, ";");
Exec("sed -e 's/U/u/g' -e 's/V/v/g' -e 's/<zero> of .../0*u/g' TEMP > TEMP1");
Read("TEMP1");
Exec("rm TEMP TEMP1");
if listona[1]=listona[2] then
return true;
else
return false;
fi;
end;