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

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.