help links subscribe changes refresh edit

	IssueTracker
#442 'function any must have...' in integral ←	↑	→ #444 draw(surface(x,x*x,y),x=0..5,z=0..3)

#443 equality of nested products is random

Edit detail for #443 equality of nested products is random revision 2 of 4

	1 2 3 4
Editor: kratt6 Time: 2009/01/13 16:15:23 GMT-8
Note:

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


changed:
-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..100])
f := operator 'f
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])

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

axiom

f := operator 'f

$\label{eq1}f$

(1)

Type: BasicOperator?

axiom

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$

(2)

Type: PositiveInteger?