Changes
http://wiki.axiom-developer.org/334MisrecognizedVariableInExpression/diff
--
??changed:
\begin{axiom}
-coefficient (numer (12 * (sin x)^3 * z, (sin x)::Kernel Expression Integer, 3)
+coefficient (numer (12 * (sin x)^3 * z), (sin x)::Kernel Expression Integer, 3)
\end{axiom}
??changed:
\begin{axiom}
-coefficient (numer (12 * (sin x)^3 * z, sin z, 3)
+coefficient (numer (12 * (sin x)^3 * z), sin z, 3)
\end{axiom}
??changed:
-
+A simpler example is:
+
+\begin{axiom}
+coefficient (numer((sin z)^2), sin z::Kernel EXPR INT, 2)
+coefficient (numer((sin z)^2), sin z, 2)
+\end{axiom}
+
+I modified 'POLYCAT' as follows::
+
+ -- coefficient(p,v,n) ==
+ -- output(hconcat(["POLYCAT:", p::OutputForm, v::OutputForm,
n::OutputForm]))$OutputPackage
+ -- output(hconcat(["POLYCAT:",
univariate(p,v)::OutputForm]))$OutputPackage
+ -- coefficient(univariate(p,v),n)
+
+and obtained the following output::
+
+ --(2) -> coefficient(numer(sin x)^2, (sin x)::Kernel EXPR INT, 2)
+ -- 2
+ -- POLYCAT:sin(x) sin(x)2
+ -- 2
+ -- POLYCAT:?
+ --
+ -- (2) 1
+ -- Type: SparseMultivariatePolynomial(Integer,Kernel Expression
Integer)
+ --(3) -> coefficient(numer(sin x)^2, (sin x), 2)
+ -- 2
+ -- POLYCAT:sin(x) sin(x)2
+ -- 2
+ -- POLYCAT:sin(x)
+ --
+ -- (3) 0
+ -- Type: SparseMultivariatePolynomial(Integer,Expression
Integer)
+
+
+(PLEASE help with formatting... MathAction is eating my spaces)
+
+Note also, that the result types are different.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
