{VERSION 2 3 "SUN SPARC SOLARIS" "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 "Hea ding 1" 0 3 1 {CSTYLE "" -1 -1 "" 1 18 0 0 0 0 0 1 0 0 0 0 0 0 0 }1 0 0 0 6 6 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 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Map le 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 8 "Advice: " }{TEXT -1 31 "Obtaining properties of objects" }} {PARA 0 "" 0 "" {TEXT -1 0 "" }}{PARA 0 "" 0 "" {TEXT -1 109 "Normally , to find what properties an object has (as a result of assumptions ma de 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 53 "Originally x, renamed x~:\n is assumed to be: integer " }}}{PARA 0 "" 0 "" {TEXT -1 206 "However, that only prints the infor mation rather than returning it in a form that can be saved in a varia ble or acted on by other procedures. The actual assumptions on object s are stored in a table called " }{MPLTEXT 0 21 17 "`property/object` " }{TEXT -1 33 " and can be retrieved 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%(integerG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "indets(\",RealRange);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#<#-%*RealRangeG6$\"\"\"%)infinityG" }}}{PARA 0 "" 0 "" {TEXT -1 95 "You can also search the table to find all objects for whi ch 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-%(AndPropG6$-%*RealRangeG6$ \"\"\"%)infinityG%(integerG/F%F." }}}{PARA 0 "" 0 "" {TEXT -1 269 "Not e, however, that when a new assumption is made about a variable the ol d properties are not deleted from the table. They are still present, \+ but they refer to a different name that looks the same (when an assump tion about a variable is made, a change of name occurs)." }}}{PARA 3 " " 0 "" {TEXT -1 0 "" }}{SECT 0 {PARA 0 "" 0 "" {TEXT 26 9 "See also:" }{TEXT -1 1 " " }{HYPERLNK 17 "about" 2 "about" "" }{TEXT -1 2 ", " } {HYPERLNK 17 "assume" 2 "assume" "" }{TEXT -1 2 ", " }{HYPERLNK 17 "Ch anging assumptions and names" 2 "Changing_assumptions_and_names" "" }} }{PARA 0 "" 0 "" {HYPERLNK 17 "" 2 "Assumptions and name change" "" }} {SECT 0 {PARA 0 "" 0 "" {TEXT 26 24 "Maple Advisor Database, " }{TEXT -1 15 " R. Israel 1997" }}}}{MARK "3 0 6" 10 }{VIEWOPTS 1 1 0 3 2 1804 }