Dear Waldek,
I'm afraid I cannot help much further. At first I thought that normalize
might expect that the dummy variables in
sum(a^k, a=1..k) and eval(sum(a^k, a=1..k), k=k-1) should be different, but
this doesn't help:
(1) -> ex := sum(a^k,a=1..k); ex2 := sum(a^(k-1),a=1..k-1);
Type:
Expression(Integer)
(2) -> [tower kernels ex, tower kernels ex2]
k k - 1
k --+ k k - 1 --+ k - 1
(2) [[k, %C , > a ], [k, %D , > a ]]
--+ --+
a = 1 a = 1
Type:
List(List(Kernel(Expression(Integer))))
(3) -> normalize(ex/ex2)
log(%D)
>> Error detected within library code:
Hidden constant detected
So, maybe normalize should somehow know that the dummy variables are dummy
variables?
Martin
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ef2f1035-54b6-44b2-ae07-60f1e6f6118a%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
