I need something that can be compiled with my existing c++ code. So I think GiNaC is more suitable for me. After checking out the reference manual of GiNaC, I guess class idx and varidx and indexed() is the thing for me. Is it right? 2007/1/31, Charlls Quarra <charlls_quarra@yahoo.com.ar>:
--- Zhongxing Xu <xuzhongxing@gmail.com> escribió:
Hello, 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.
I assume you already considered +CAL? not that you can't do it with ginac, im sure its possible, but this is a language specific for the purpose of algorithm verification
__________________________________________________ Preguntá. Respondé. Descubrí. Todo lo que querías saber, y lo que ni imaginabas, está en Yahoo! Respuestas (Beta). ¡Probalo ya! http://www.yahoo.com.ar/respuestas
_______________________________________________ GiNaC-list mailing list GiNaC-list@ginac.de https://www.cebix.net/mailman/listinfo/ginac-list