assume and is (4.2.01)

Arif Zaman

Here is a simple problem which assume seems to FAIL on:


Colin Birch (13.2.01)

In fact the behaviour is even stranger than you report:


Willard, Daniel Dr (13.2.01)

Ask Maple why many of their programs don’t accept ”assume” as mandatory directive.