Hello,<br> Is there something like array expression in GiNaC? I want to do symbolic computation involving array expressions related to program verification.<br>I would like to implement a theorem prover on top of GiNaC. So I also need conditional expressions.
<br><br>  For example:<br> x = mem[2] + 2;<br>y =&nbsp;mem[i]&nbsp;-3;   <br> x &gt;= 3;<br> Can GiNaC represent these expressions? <br>Note that array index might be a symbolic value.<br><br> Thank you.<br><br> - Zhongxing Xu<br><br>
<br><br><br><br><br><br><br><br>