Status: None => transferred Example of code trigerring the bug: axiom f:=operator 'f
Type: BasicOperator?axiom D(sum(f(i), is nonsense. The problem is in COMBF/dvdsum: axiom dvdsum(l, Type: VoidAlthough this: is a nice try, it is wrong. It seems that the order of magnitude is roughly correct, but that's about it. Unfortunately, I do not know how to return the thing unevaluated, so I cannot fix the bug yet Category: => Axiom Compiler Severity: => critical Status: => duplicate |

(new) differentiating sums with respect to a bound is wrong--Bill Page, Wed, 22 Jun 2005 13:55:51 -0500 reply