[GiNaC-list] array expressions with symbolic index

Zhongxing Xu xuzhongxing at gmail.com
Wed Jan 31 14:32:00 CET 2007

Is there something like array expression in GiNaC? I want to do symbolic
computation involving array expressions related to program verification.
I would like to implement a theorem prover on top of GiNaC. So I also need
conditional expressions.

For example:
x = mem[2] + 2;
y = mem[i] -3;
x >= 3;
Can GiNaC represent these expressions?
Note that array index might be a symbolic value.

Thank you.

- Zhongxing Xu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cebix.net/pipermail/ginac-list/attachments/20070131/5b2cce19/attachment.html

More information about the GiNaC-list mailing list