Yes, assume & declare need to be unified.
We're in violent agreement!
At 09:16 AM 2/8/2013, Robert Dodier wrote:
>Maxima's context system handles that, at least for stuff asserted via
>'assume'. (That's separate from stuff asserted via 'declare'. Of course,
>it would be better to unify the two.)
>
>There isn't any similar mechanism for 'declare'.