login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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

1 2 3 4
Editor: test1
Time: 2014/04/15 10:49:26 GMT+0
Note:

added:

From test1 Tue Apr 15 10:49:26 +0000 2014
From: test1
Date: Tue, 15 Apr 2014 10:49:26 +0000
Subject: 
Message-ID: <20140415104926+0000@axiom-wiki.newsynthesis.org>

Status: fixed somewhere => closed 


Submitted by : kratt6 at: 2009-01-13T16:08:03-08:00 (15 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

fricas
(1) -> f := operator 'f

\label{eq1}f(1)
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(2)
Type: PositiveInteger?

fixed in FriCAS revision 573 --kratt6, Fri, 10 Apr 2009 03:08:14 -0700 reply
Status: open => fixed somewhere

Status: fixed somewhere => closed