Question: Error, (in PatternMatching:-AlgStruct:-Match) string or symbol expected for substring

Encountered this error using patmatch with condition. I have changed my code since then  to avoid such cases.

But do you think this is valid error? It only happens when adding conditional. 

interface(version);

restart;

RHS:=1/2/lambda(y)*f(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*a+1/2/lambda(y)*f(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*b-1/lambda(y)*f(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*y-1/2/lambda(y)^2*D(f)(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*a*b+1/2/lambda(y)^2*D(f)(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*a*y+1/2/lambda(y)^2*D(f)(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*b*y-1/2/lambda(y)^2*D(f)(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*y^2;

(1/2)*f(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*a/lambda(y)+(1/2)*f(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*b/lambda(y)-f(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*y/lambda(y)-(1/2)*(D(f))(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*a*b/lambda(y)^2+(1/2)*(D(f))(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*a*y/lambda(y)^2+(1/2)*(D(f))(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*b*y/lambda(y)^2-(1/2)*(D(f))(RootOf(f(_Z)*a*b-f(_Z)*a*y-f(_Z)*b*y+f(_Z)*y^2+lambda(y)^2))*y^2/lambda(y)^2

patmatch(RHS,F::anything*lambda(y)^(n::anything)+H::anything,'la')

true

patmatch(RHS,conditional(F::anything*lambda(y)^(n::anything)+H::anything, not (_has(H,lambda(y)) or _has(n,y))),'la')

Error, (in PatternMatching:-AlgStruct:-Match) string or symbol expected for substring

 

 

Download error_patmatch_april_18_2025.mw

Please Wait...