[Axiom-developer] [DefiniteIntegration] Another problem with integrate

[anonymous]

Changes http://page.axiom-developer.org/zope/mathaction/DefiniteIntegration/diff
--
Consider the following piecewise function:
\begin{axiom}
f(x | (x >=0) and (x <=1) ) == 1
f(x | (x<0) or (x > 1)) == 0
\end{axiom}
It is obvious that $\int_{-1}^2 f(t) dt= 1$, while Axiom claims otherwise:
\begin{axiom}
integrate(f(t), t=-1..2)
\end{axiom}
What's worse, it doesn't say that it cannot calsulate it, but it simply gives 
an incorrect result! Haven't I first tested it with such a simple example I 
wouldn't even know, the results are wrong. Any clue how to serve Axiom such 
function, so that it integrates them correctly? Is this a bug in Axiom or I'm 
doing something wrong? TIA
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden