{VERSION 2 3 "IBM INTEL NT" "2.3" } {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 {PARA 0 "" 0 "" {TEXT -1 0 "" }}{SECT 0 {PARA 0 "" 0 "" {TEXT 26 6 "Error:" }{TEXT -1 36 " cannot assume on a constant object" }} {PARA 0 "" 0 "" {TEXT -1 0 "" }}{PARA 0 "" 0 "" {TEXT -1 45 "This erro r occurs when the first argument to " }{MPLTEXT 0 21 6 "assume" } {TEXT -1 4 " or " }{MPLTEXT 0 21 12 "additionally" }{TEXT -1 253 " con tains no names upon which to make assumptions. The most common cause \+ is an attempt to make an assumption about a variable that has already \+ been assigned a constant value. It doesn'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 same as if you typed " } {MPLTEXT 0 21 13 "assume(3 > 0)" }{TEXT -1 139 ". It happens to be tr ue, but that's irrelevant: it doesn't say anything 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 quo tes to avoid having the variable replaced by its value: " }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "assume('x' > 0);" }}}{PARA 0 "" 0 " " {TEXT -1 70 "However, this removes the previously assigned value fro m 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 "assume" 2 "assume" " " }{TEXT -1 2 ", " }{HYPERLNK 17 "Changing assumptions and names" 2 "C hanging_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. Israel, 1998" }}} {PARA 0 "" 0 "" {TEXT -1 0 "" }}}{MARK "2 0 6" 14 }{VIEWOPTS 1 1 0 1 1 1803 }