[Maxima] question about declarations
kcrisman at gmail.com
Thu May 17 14:14:46 CDT 2012
> Message: 3
> Date: Thu, 17 May 2012 14:45:04 +0000 (UTC)
> From: Robert Dodier <robert.dodier at gmail.com>
> To: maxima at math.utexas.edu
> Subject: Re: [Maxima] question about declarations
> Well, declare is just lazy; for the most part it doesn't attempt to
> figure out if declarations are inconsistent or redundant.
> (%i1) declare (foo, integer);
> (%o1) done
> (%i2) declare (foo, irrational);
> (%o2) done
> (%i3) facts ();
> (%o3) [kind(foo, integer), kind(foo, irrational)]
Okay, I figured it worked like assume() which does check for
redundancy, but apparently declare really is separate in that sense.
Thanks for the clarification.
More information about the Maxima