[GiNaC-list] comparing symbols
Chris Bouchard
cbouchrd at illinois.edu
Fri Jul 25 16:13:42 CEST 2008
Hi,
>try the code
>
>cout << tree << "x = " << x << "\n";
>
>then we can see what is going on.
x = lst @0x8a08c70, hash=0xc, flags=0x13, nops=2
0 (symbol) @0x8a3df40, serial=62607, hash=0x771ff4, flags=0x7, domain=0
1 (symbol) @0x8a2bde8, serial=62608, hash=0x771ff4, flags=0x7, domain=0
>Maybe r_sum is called with something like
> symbol f1("0");
> symbol f2("1");
> r_sum(...,lst(f1,f2),...);
Wouldn't that eliminate functional dependence on the
variables represented by f1 & f2, making the return value
a function of "0" and "1". The end user could handle this
by manually simplifying the output, but that wouldn't be
optimal.
Sincerely,
Chris Bouchard
More information about the GiNaC-list
mailing list