[GiNaC-list] array expressions with symbolic index

[Zhongxing Xu]

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 at yahoo.com.ar>:
>
>
> --- 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
> 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 at ginac.de
> https://www.cebix.net/mailman/listinfo/ginac-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cebix.net/pipermail/ginac-list/attachments/20070131/e4773b4f/attachment.html