[GiNaC-list] array expressions with symbolic index

Charlls Quarra charlls_quarra at yahoo.com.ar
Wed Jan 31 14:53:23 CET 2007

--- Zhongxing Xu <xuzhongxing at 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


Preguntá. Respondé. Descubrí. 
Todo lo que querías saber, y lo que ni imaginabas, 
está en Yahoo! Respuestas (Beta). 
¡Probalo ya! 

More information about the GiNaC-list mailing list