[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [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 |

Hi *,
A terrible bug in differentiation.
.....................................................................
(94) -> D(sin(z)^2+cos(z)^2, z)
(94) 0
(98) -> D(simplify(sin(z)^2+cos(z)^2), z)
(98) 0
BUT
(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.
(101) -> D(cosh(z)^2-sinh(z)^2, z)
(101) 0
(102) -> D(simplify(cosh(z)^2-sinh(z)^2), z)
(102) 0
BUT
(103) -> 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.
.....................................................................
Best,
Vladimir

[Prev in Thread] |
**Current Thread** |
[Next in Thread] |

**[Axiom-developer] AXIOM BUG: D(1, z)**,
*Vladimir Bondarenko* **<=**