MathAction #443 equality of nested products is random

Topics

Hm, it seems unreproducible here. It is reproducible on my machine, though...

fricas

(1) -> f := operator 'f

$\label{eq1}f$

Type: BasicOperator?

fricas

count(true, [(product(product(f j, j=1..i), i=1..n)=product(product(f k, k=1..j), j=1..n))@Boolean for m in 1..200])

$\label{eq2}200$

Type: PositiveInteger?

fixed in FriCAS revision 573 --kratt6, Fri, 10 Apr 2009 03:08:14 -0700 reply

Status: open => fixed somewhere

... --test1, Tue, 15 Apr 2014 10:49:26 +0000 reply

Status: fixed somewhere => closed