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.
> |
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;
|

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

> |
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