Here's a frustrating problem I've been having with "assume".You'll see below that I assume that v'(m) >0 and v''(m) <>Maple clearly remembers that v'(m) > 0 (as seen in the assumptions list and by looking at the first "is" in (4)), however, it now can't figure out that v'(m) > 0 implies !(v'(m) <>Strangely, this worked perfectly fine before the additional assumption was added, and looking up the property (6) reveals the correct answer.Moreover, maple seems to have two sets of assumptions on v'(m) (for six total assumptions, when I would expect four).

Any maple geniuses have an idea as to why Maple's "is" function is confused?

Page 1 of 1

﻿

Share via:

Share via e-mail:

From:

To:

Custom Message (optional):

Share on Facebook:

You must be logged into your Facebook account in order to share via Facebook.

Share via GooglePlus:

Click the button below to share this on Google+. A new window will open.

Share via Twitter:

You must be logged in to your Twitter account in order to share. Click the button below to login (a new window will open.)