[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
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 



More information about the GiNaC-list mailing list