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