MathGroup Archive 1999

[Date Index] [Thread Index] [Author Index]

Search the Archive

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


  • Prev by Date: Re: Position of element in a list
  • Next by Date: Supressing Plot Output
  • Previous by thread: Re: Interpolation of 3D data problem
  • Next by thread: Re: Assertion propagation