Question: How to remove a=a from solutions using subsindents and applyrule?

sometimes solve returns solution of the form




And wanted to remove all those that represnt arbitrary solution, which is v[3]=v[3] above.

I could do this using


which gives


But as an excersise, I could not figure how to do the same using subsindent (where I wanted to replace v[3]=v[3] with {} or NULL,. and also using applyrule.

Is it possible to do the same as above but using subsindent and applyrule (which is similar to patmatch)? 

Please Wait...