{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 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)" 
"-%%sqrtG6#*$%\"xG\"\"#" }{TEXT -1 22 " can be simplified to " }
{XPPEDIT 18 0 "x" "I\"xG6\"" }{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\"\"\"\"*$\"%H8#F(F#\"\"$#F(F,#!\"\"F,
*$F&F.#\"\")F,#!\"#F,F(,*F%#F(\"\"'F0#!\"%F,F3F(*(%\"IGF(F,F+,&F%F.F0#
!\")F,F(F+,*F%F6F0F8F3F(F:#F/F#" }}}{PARA 0 "" 0 "" {TEXT -1 39 "Findi
ng positive solutions in \"solve\": " }}{EXCHG {PARA 0 "> " 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 "Fin
ding real solutions:" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 42 "solv
e(\{y^4 + 2*y = 20, y > -infinity\}, y);" }}{PARA 12 "" 1 "" {XPPMATH 
20 "6$<#/%\"yG\"\"#<#/F%-%'RootOfG6$,**$%#_ZG\"\"$\"\"\"*$F.F&F&F.\"\"
%\"#5F0$!+/LgBA!\"*" }}}{PARA 0 "" 0 "" {TEXT -1 26 "Finding integer s
olutions:" }}{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#$\"\"#\"\"!" }}}}{SECT 0 {PARA 0 "" 0 
"" {TEXT 26 9 "See also:" }{TEXT -1 1 " " }{HYPERLNK 17 "assume" 2 "as
sume" "" }{TEXT -1 2 ", " }{HYPERLNK 17 "Declaring the type of an argu
ment" 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 4" 5 }{VIEWOPTS 1 1 
0 3 2 1804 }