I need something that can be compiled with my existing c++ code. So I think GiNaC is more suitable for me.<br>After checking out the reference manual of GiNaC, I guess class idx and varidx and indexed() is the thing for me. Is it right?
<br><br><div><span class="gmail_quote">2007/1/31, Charlls Quarra <<a href="mailto:charlls_quarra@yahoo.com.ar">charlls_quarra@yahoo.com.ar</a>>:</span><blockquote class="gmail_quote" style="margin-top: 0; margin-right: 0; margin-bottom: 0; margin-left: 0; margin-left: 0.80ex; border-left-color: #cccccc; border-left-width: 1px; border-left-style: solid; padding-left: 1ex">
<br>--- Zhongxing Xu <<a href="mailto:xuzhongxing@gmail.com">xuzhongxing@gmail.com</a>> escribió:<br><br>> Hello,<br>> Is there something like array expression in GiNaC? I<br>> want to do symbolic<br>> computation involving array expressions related to
<br>> program verification.<br>> I would like to implement a theorem prover on top of<br>> GiNaC. So I also need<br>> conditional expressions.<br>><br>> For example:<br>> x = mem[2] + 2;<br>> y = mem[i] -3;
<br>> x >= 3;<br>> Can GiNaC represent these expressions?<br>> Note that array index might be a symbolic value.<br><br><br>I assume you already considered +CAL? not that you<br>can't do it with ginac, im sure its possible, but this
<br>is a language specific for the purpose of algorithm<br>verification<br><br><br><br><br><br><br><br>__________________________________________________<br>Preguntá. Respondé. Descubrí.<br>Todo lo que querías saber, y lo que ni imaginabas,
<br>está en Yahoo! Respuestas (Beta).<br>¡Probalo ya!<br><a href="http://www.yahoo.com.ar/respuestas">http://www.yahoo.com.ar/respuestas</a><br><br>_______________________________________________<br>GiNaC-list mailing list
<br><a href="mailto:GiNaC-list@ginac.de">GiNaC-list@ginac.de</a><br><a href="https://www.cebix.net/mailman/listinfo/ginac-list">https://www.cebix.net/mailman/listinfo/ginac-list</a><br></blockquote></div><br>