> 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)]
>
> Oops.
Nice.
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.