Assertion propagation
- To: mathgroup at smc.vnet.net
- Subject: [mg16366] Assertion propagation
- From: "Kevin Jaffe" <kj0 at mailcity.com>
- Date: Thu, 11 Mar 1999 02:16:41 -0500
- Organization: MailCity (http://www.mailcity.lycos.com:80)
- Sender: owner-wri-mathgroup at wolfram.com
In Section 2.3.5 of the manual, it says: However, Mathematica does not automatically propagate assertions, so it cannot determine for example that IntegerQ[x^2] is True. You must load an appropriate Mathematica package to make this ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ possible. Which package is this? Thanks, KJ Get your FREE Email at http://mailcity.lycos.com Get your PERSONALIZED START PAGE at http://personal.lycos.com