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 3 of 4

1 2 3 4
Editor: kratt6
Time: 2009/04/10 03:08:14 GMT-7
Note: fixed in FriCAS revision 573

added:

From kratt6 Fri Apr 10 03:08:14 -0700 2009
From: kratt6
Date: Fri, 10 Apr 2009 03:08:14 -0700
Subject: fixed in FriCAS revision 573
Message-ID: <20090410030814-0700@axiom-wiki.newsynthesis.org>

Status: open => fixed somewhere 


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
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