{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 Comment" 2 18 "" 0 1 0 0 0 0 0 0 0 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 }{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 "Text Output" -1 2 1 {CSTYLE "" -1 -1 "Couri er" 1 10 0 0 255 1 0 0 0 0 0 1 3 0 0 1 }1 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "" 2 6 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 1 }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 1 }3 3 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }} {SECT 0 {SECT 0 {PARA 0 "" 0 "" {TEXT 26 8 "Advice: " }{TEXT -1 31 "Ob taining properties of objects" }}{PARA 0 "" 0 "" {TEXT -1 0 "" }} {PARA 0 "" 0 "" {TEXT -1 109 "Normally, to find what properties an obj ect has (as a result of assumptions made on it) you use the function \+ " }{MPLTEXT 0 21 5 "about" }{TEXT -1 3 ". " }}{EXCHG {PARA 0 "> " 0 " " {MPLTEXT 1 0 18 "assume(x,integer);" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 9 "about(x);" }}{PARA 6 "" 1 "" {TEXT -1 25 "Originally x , renamed x~:" }}{PARA 6 "" 1 "" {TEXT -1 27 " is assumed to be: inte ger" }}{PARA 6 "" 1 "" {TEXT -1 0 "" }}}{PARA 0 "" 0 "" {TEXT -1 206 " However, that only prints the information rather than returning it in \+ a form that can be saved in a variable or acted on by other procedures . The actual assumptions on objects are stored in a table called " } {MPLTEXT 0 21 17 "`property/object`" }{TEXT -1 33 " and can be retriev ed from there." }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "`property/ object`[x];" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%(integerG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "additionally(x > 0);" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "`property/object`[x];" }}{PARA 11 " " 1 "" {XPPMATH 20 "6#-%(AndPropG6$-%*RealRangeG6$\"\"\"%)infinityG%(i ntegerG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "indets(%,RealRan ge);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#<#-%*RealRangeG6$\"\"\"%)infin ityG" }}}{PARA 0 "" 0 "" {TEXT -1 95 "You can also search the table to find all objects for which a certain assumption has been made." }} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 48 "select(has,op(eval(`property /object`)),integer);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7$/%#x|irG-%(A ndPropG6$-%*RealRangeG6$\"\"\"%)infinityG%(integerG/%#x|irGF." }}} {PARA 0 "" 0 "" {TEXT -1 320 "Note, however, that when a new assumptio n is made about a variable the old properties are not deleted from the table. They are still present, but they refer to a different name th at looks the same (when an assumption about a variable is made, a chan ge of name occurs). This is why the result above has two entries for \+ " }{XPPEDIT 18 0 "x" "6#%\"xG" }{TEXT -1 1 "." }}}{SECT 0 {PARA 0 "" 0 "" {TEXT 26 9 "See also:" }{TEXT -1 1 " " }{HYPERLNK 17 "about" 2 "a bout" "" }{TEXT -1 2 ", " }{HYPERLNK 17 "assume" 2 "assume" "" }{TEXT -1 2 ", " }{HYPERLNK 17 "Changing assumptions and names" 2 "Changing_a ssumptions_and_names" "" }}}{SECT 0 {PARA 0 "" 0 "" {TEXT 26 24 "Maple Advisor Database, " }{TEXT -1 15 " R. Israel 1997" }}}}{MARK "0 12 0 " 0 }{VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 }{PAGENUMBERS 0 1 2 33 1 1 }