Changes
http://wiki.axiom-developer.org/358VariableIsApparentlyAlwaysAssumedToBePositive/diff
--
>No that is not correct. The function definition you have is incomplete. Your h
>is only defined for x<=0. So Axiom cannot evaluate >this for the value x since
I think Axiom is "stupid" to even think that in the definition of h, the x is
symbolic as in POLY INT or EXPR INT. The function definition is complete as
shown by the correct execution of [h(-1.0+0.5*i) for i in 0..2]. A function h
is NOT the same as a value h(x) where x is a variable in EXPR INT. We should
integrate h, not h(x).
Why isn't [h(i) for i in -1.0..0.0 by 0.5] sensible (especially in Axiom)? Why
is the signature of BY given (for any S in SEG S) by (%, Integer)->% and not
(%, S)->% (when S is Float)?
\begin{axiom}
fs:=-3.5..8.0 by 2
expand fs
gs:=-3.5..8.0 by 2.0
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
