{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 Comment" 2 18 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }{CSTYLE "2 D 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 }{CSTYLE "" -1 256 "Times" 0 1 0 0 0 0 0 0 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 "Heading 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 "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 } {PSTYLE "" 11 12 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 } 1 0 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 27 "As sume doesn't affect solve" }}{PARA 0 "" 0 "" {TEXT -1 0 "" }}{PARA 0 " " 0 "" {TEXT -1 238 "The assume command is used with symbolic variable s that are not assigned values, and tells Maple that it can apply rule s that would be appropriate when the variable has certain properties ( e.g. is an integer). This primarily affects the " }{MPLTEXT 0 21 8 "s implify" }{TEXT -1 19 " command. Thus if " }{MPLTEXT 0 21 1 "x" } {TEXT -1 28 " is assumed to be positive, " }{XPPEDIT 18 0 "sqrt(x^2)" "6#-%%sqrtG6#*$%\"xG\"\"#" }{TEXT -1 22 " can be simplified to " } {XPPEDIT 18 0 "x" "6#%\"xG" }{TEXT -1 1 "." }}{PARA 0 "" 0 "" {TEXT -1 0 "" }}{PARA 0 "" 0 "" {TEXT -1 58 "However, these assumptions do n ot restrict the values for " }{MPLTEXT 0 21 1 "x" }{TEXT -1 25 " that \+ can be returned by " }{MPLTEXT 0 21 5 "solve" }{TEXT -1 74 " and its r elated commands. There are other ways to restrict these values." }} {PARA 0 "" 0 "" {TEXT -1 0 "" }}}{SECT 0 {PARA 3 "" 0 "" {TEXT 26 10 " Examples:" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "assume(x, posi tive);" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "simplify(sqrt(x^2 ));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%#x|irG" }}}{PARA 0 "" 0 "" {TEXT -1 17 "In this example, " }{MPLTEXT 0 21 5 "solve" }{TEXT -1 58 " finds both real and complex solutions; the assumption on " } {MPLTEXT 0 21 1 "x" }{TEXT -1 15 " has no effect." }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 25 "solve(x^4 + 2*x = 20, x);" }}{PARA 12 "" 1 " " {XPPMATH 20 "6&\"\"#,(*$),&\"$2\"\"\"\"*$-%%sqrtG6#\"%H8\"\"\"\"\"$# F)F0F/#!\"\"F0*&F/F/*$)F'#\"\"\"F0F/!\"\"#\"\")F0#!\"#F0F),*F%#F)\"\"' F4#!\"%F0F " 0 "" {MPLTEXT 1 0 34 "solve(\{y^4 + 2 *y = 20, y > 0\}, y);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#<#/%\"yG\"\"# " }}}{PARA 0 "" 0 "" {TEXT -1 23 "Finding real solutions:" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 42 "solve(\{y^4 + 2*y = 20, y > -infini ty\}, y);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6$<#/%\"yG\"\"#<#/F%-%'Root OfG6$,**$)%#_ZG\"\"$\"\"\"\"\"\"*$)F/F&F1F&F/\"\"%\"#5F2$!+/LgBA!\"*" }}}{PARA 0 "" 0 "" {TEXT -1 26 "Finding integer solutions:" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "isolve(y^4 + 2*y = 20);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#<#/%\"yG\"\"#" }}}{PARA 0 "" 0 "" {TEXT -1 39 "Real (numerical) solutions with fsolve:" }}{EXCHG {PARA 0 "> " 0 " " {MPLTEXT 1 0 26 "fsolve(y^4 + 2*y = 20, y);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6$$!+/LgBA!\"*$\"\"#\"\"!" }}}{PARA 0 "" 0 "" {TEXT -1 27 "Restricting to an interval:" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 42 "fsolve(y^4 + 2*y = 20, y = 0 .. infinity);" }}{PARA 11 "" 1 " " {XPPMATH 20 "6#$\"\"#\"\"!" }}}{PARA 0 "" 0 "" {TEXT -1 11 "The opti on " }{MPLTEXT 0 21 33 "avoid = \{variable = value, `...`\}" }{TEXT -1 33 " for fsolve is new in Release 5: " }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 52 "fsolve(y^4 + 2*y = 20, y, avoid = \{y=-2.223603304\}) ;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#$\"\"#\"\"!" }}}}{SECT 0 {PARA 0 "" 0 "" {TEXT 26 9 "See also:" }{TEXT -1 1 " " }{HYPERLNK 17 "assume" 2 "assume" "" }{TEXT -1 2 ", " }{HYPERLNK 17 "Declaring the type of an argument" 2 "Declaring_the_type_of_an_argument" "" }{TEXT -1 2 ", " } {HYPERLNK 17 "fsolve" 2 "fsolve" "" }{TEXT -1 2 ", " }{HYPERLNK 17 "is olve" 2 "isolve" "" }{TEXT -1 2 ", " }{HYPERLNK 17 "solve" 2 "solve" " " }}}{SECT 0 {PARA 0 "" 0 "" {TEXT 26 22 "Maple Advisor Database" } {TEXT 256 18 " R. Israel, 1997" }}}}{MARK "2 0 0" 3 }{VIEWOPTS 1 1 0 3 2 1804 }