{VERSION 4 0 "IBM INTEL NT" "4.0" }
{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 
1 0 0 0 0 1 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 
0 0 1 }{CSTYLE "Hyperlink" -1 17 "" 0 1 0 128 128 1 0 0 1 0 0 0 0 0 0 
1 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 1 }
{CSTYLE "" 0 21 "" 0 1 0 0 0 1 0 0 0 0 2 0 0 0 0 1 }{CSTYLE "Help Head
ing" -1 26 "" 1 14 0 0 0 0 0 1 0 0 0 0 0 0 0 1 }{CSTYLE "" -1 256 "Tim
es" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 }{PSTYLE "Normal" -1 0 1 {CSTYLE "
" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 }0 0 0 -1 -1 -1 0 0 0 0 0 
0 -1 0 }{PSTYLE "Heading 1" 0 3 1 {CSTYLE "" -1 -1 "" 1 18 0 0 0 0 0 
1 0 0 0 0 0 0 0 1 }1 0 0 0 6 6 0 0 0 0 0 0 -1 0 }{PSTYLE "Maple Output
" 0 11 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 }3 3 0 
-1 -1 -1 0 0 0 0 0 0 -1 0 }}
{SECT 0 {SECT 0 {PARA 0 "" 0 "" {TEXT 26 7 "Advice:" }{TEXT -1 28 " Po
sitive does not include 0" }}{PARA 0 "" 0 "" {TEXT -1 21 "The type or \+
property " }{MPLTEXT 0 21 8 "positive" }{TEXT -1 92 " in Maple (as in \+
standard mathematical English, although not in some other languages) m
eans " }{MPLTEXT 0 21 3 "> 0" }{TEXT -1 6 ", not " }{MPLTEXT 0 21 4 ">
= 0" }{TEXT -1 7 ".  For " }{MPLTEXT 0 21 4 ">= 0" }{TEXT -1 13 " you \+
can use " }{MPLTEXT 0 21 11 "nonnegative" }{TEXT -1 14 ".  Similarly, \+
" }{MPLTEXT 0 21 8 "negative" }{TEXT -1 7 " means " }{MPLTEXT 0 21 3 "
< 0" }{TEXT -1 8 ", while " }{MPLTEXT 0 21 11 "nonpositive" }{TEXT -1 
7 " means " }{MPLTEXT 0 21 4 "<= 0" }{TEXT -1 12 ".  However, " }
{MPLTEXT 0 21 11 "nonpositive" }{TEXT -1 34 " does not work with assum
ptions.  " }}}{SECT 0 {PARA 3 "" 0 "" {TEXT 26 9 "Examples:" }}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "assume(x >= 0);" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 15 "is(x,positive);" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#%&falseG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "
is(x,nonnegative);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%%trueG" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "is(x+1,positive);" }}{PARA 
11 "" 1 "" {XPPMATH 20 "6#%%trueG" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 16 "is(-x,negative);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%
&falseG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "is(-x-1,negative
);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%%trueG" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 19 "is(-x,nonpositive);" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#%%FAILG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 12 "i
s(-x <= 0);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%%trueG" }}}}{SECT 0 
{PARA 0 "" 0 "" {TEXT 26 9 "See also:" }{TEXT -1 1 " " }{HYPERLNK 17 "
type/positive, type/nonnegative" 2 "type/posneg" "" }{TEXT -1 3 ",  " 
}{HYPERLNK 17 "assume" 2 "assume" "" }}}{SECT 0 {PARA 0 "" 0 "" {TEXT 
26 22 "Maple Advisor Database" }{TEXT 256 18 "   R. Israel, 1997" }}}}
{MARK "1 3 0 0" 18 }{VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 }{PAGENUMBERS 0 
1 2 33 1 1 }