SEARCH
- Given a polynomial this routine produces a list of sub-summands which are substitutable from a list of relations.
SEARCH:=function(pol, lrel)
local frel, x;
frel:=FREL(lrel);
for x in frel do
if SUBS( pol, x[1]) <> pol and SUBSC(pol, x[1]) = pol then
Print("Partial Relation ", x[2], " : ",x[1][1] , " = ??","\n");
fi;
od;
end;