I'm trying to solve the following recurrence equatoins, vP = tail(v)∧ wP= w ⊗ head(v), and get its invariant relation, where the variables are of ListType v,w and the condition to run is Length(v) > 0 How to get the invariant of this using RSolve?
RSolve[{v[n + 1] == Rest[v[n]] && w[n + 1] == Append[w[n], {First[v[n]]}], {v[0] == v0 ,
w[0] == w0}}, {v[n], w[n]}, n]
Following is what I got: RSolve::ivar {h,t,4,7} is not a valid variable. It was unable to give a solution. How to get the invariant in the case of a list in Mathematica?
Attachments:
