{VERSION 3 0 "IBM INTEL NT" "3.0" } {USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 1 0 0 0 0 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 }{CSTYLE "Hyperlink" -1 17 "" 0 1 0 128 128 1 0 0 1 0 0 0 0 0 0 } {CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 }{CSTYLE " " 0 21 "" 0 1 0 0 0 1 0 0 0 0 2 0 0 0 0 }{CSTYLE "Help Heading" -1 26 "" 1 14 0 0 0 0 0 1 0 0 0 0 0 0 0 }{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Text Output" -1 2 1 {CSTYLE "" -1 -1 "Courier" 1 10 0 0 255 1 0 0 0 0 0 1 3 0 0 }1 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "War ning" 2 7 1 {CSTYLE "" -1 -1 "" 0 1 0 0 255 1 0 0 0 0 0 0 1 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Error" 7 8 1 {CSTYLE "" -1 -1 " " 0 1 255 0 255 1 0 0 0 0 0 0 0 0 0 }0 0 0 -1 -1 -1 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 }3 3 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }} {SECT 0 {SECT 0 {PARA 0 "" 0 "" {TEXT 26 6 "Error:" }{TEXT -1 36 " ca nnot assume on a constant object" }}{PARA 0 "" 0 "" {TEXT -1 0 "" }} {PARA 0 "" 0 "" {TEXT -1 45 "This error occurs when the first argument to " }{MPLTEXT 0 21 6 "assume" }{TEXT -1 4 " or " }{MPLTEXT 0 21 12 " additionally" }{TEXT -1 253 " contains no names upon which to make ass umptions. The most common cause is an attempt to make an assumption a bout a variable that has already been assigned a constant value. It d oesn't matter whether or not this value has the property being assumed . " }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "x:= 3:\nassume(x > 0); " }}{PARA 8 "" 1 "" {TEXT -1 53 "Error, (in assume) cannot assume on a constant object" }}}{PARA 0 "" 0 "" {TEXT -1 22 "Like most procedures , " }{MPLTEXT 0 21 6 "assume" }{TEXT -1 64 " begins by evaluating its \+ arguments. This replaces the variable " }{MPLTEXT 0 21 1 "x" }{TEXT -1 83 " by the value assigned to that variable, so the effect is the s ame as if you typed " }{MPLTEXT 0 21 13 "assume(3 > 0)" }{TEXT -1 139 ". It happens to be true, but that's irrelevant: it doesn't say anyth ing about any variables, and therefore it results in an error message. " }}{PARA 0 "" 0 "" {TEXT -1 0 "" }}{PARA 0 "" 0 "" {TEXT -1 81 "It is possible to use quotes to avoid having the variable replaced by its v alue: " }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "assume('x' > 0);" }}}{PARA 0 "" 0 "" {TEXT -1 70 "However, this removes the previously a ssigned value from the variable." }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 2 "x;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%#x|irG" }}}}{SECT 0 {PARA 0 "" 0 "" {TEXT 26 9 "See also:" }{TEXT -1 1 " " }{HYPERLNK 17 " additionally" 2 "additionally" "" }{TEXT -1 2 ", " }{HYPERLNK 17 "assu me" 2 "assume" "" }{TEXT -1 2 ", " }{HYPERLNK 17 "Changing assumptions and names" 2 "Changing_assumptions_and_names" "" }{TEXT -1 2 ", " } {HYPERLNK 17 "type[constant]" 2 "type,constant" "" }}}{SECT 0 {PARA 0 "" 0 "" {TEXT 26 22 "Maple Advisor Database" }{TEXT -1 18 " R. Israe l, 1998" }}}{PARA 0 "" 0 "" {TEXT -1 0 "" }}}{MARK "0" 0 }{VIEWOPTS 1 1 0 1 1 1803 }