[Axiom-developer] [#20 D(1, z) fails]

[Bill Page]

??changed:
-[Axiom-developer] AXIOM BUG: D(1, z)
-From: Vladimir Bondarenko
-Subject: [Axiom-developer] AXIOM BUG: D(1, z)
-Date: Mon, 17 Jan 2005 07:35:49 +0200
>From -- Vladimir Bondarenko
Subject -- [Axiom-developer] AXIOM BUG: D(1, z)
Date -- Mon, 17 Jan 2005 07:35:49 +0200

??changed:
-.....................................................................
-
-(94) -> D(sin(z)^2+cos(z)^2, z)
-
-   (94)  0
-
-(98) -> D(simplify(sin(z)^2+cos(z)^2), z)
-
-   (98)  0
-
\begin{axiom}
D(sin(z)^2+cos(z)^2, z)
D(simplify(sin(z)^2+cos(z)^2), z)
\end{axiom}

??changed:
-
-(95) -> D(1, z)
-
-   There are 5 exposed and 0 unexposed library operations named D
-      having 2 argument(s) but none was determined to be applicable.
-      Use HyperDoc Browse, or issue
-                                )display op D
-      to learn more about the available operations. Perhaps
-      package-calling the operation or using coercions on the arguments
-      will allow you to apply the operation.
-
-   Cannot find a definition or applicable library operation named D
-      with argument type(s)
-                               PositiveInteger
-                                 Variable z
-
-      Perhaps you should use "@" to indicate the required return type,
-      or "$" to specify which version of the function you need.
-
-[28 more lines...]
\begin{axiom}
D(1, z)
D(cosh(z)^2-sinh(z)^2, z)
D(simplify(cosh(z)^2-sinh(z)^2), z)
\end{axiom}

??changed:
-D(1::Expression(Integer),z) ==> 0
-
\begin{axiom}
D(1::Expression(Integer),z)
\end{axiom}

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden