integrate(1/x,x=1..t, "noPole") tells the integrate function not to worry about poles.
Adding assumptions about values of symbols needs to be done at a fairly fundamental level in many places in the Axiom library. I recall an attempt by Prof Davenport of Bath University but I can't track it down (or I am going senile). Themos Tsikas ________________________________________________________________________ The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. This e-mail has been scanned for all viruses by Star. The service is powered by MessageLabs. ________________________________________________________________________ _______________________________________________ Axiom-mail mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-mail
