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

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

changed:
-
\begin{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..100])
\end{axiom}

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

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..100])
There are no library operations named f Use HyperDoc Browse or issue )what op f to learn if there is any operation containing " f " in its name. Cannot find a definition or applicable library operation named f with argument type(s) Variable j
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. FriCAS will attempt to step through and interpret the code. There are no library operations named f Use HyperDoc Browse or issue )what op f to learn if there is any operation containing " f " in its name.
Cannot find a definition or applicable library operation named f with argument type(s) Variable j
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.