Maple 9 Learning Guide - Maplesoft

6.1 Mathematical Manipulations • 169> simplify( expr );ln(3) + ln(x) + 1For a list of built-in simplification rules, refer to the ?simplify helppage.Simplification with AssumptionsMaple may not perform a simplification as you would. Although you knowthat a variable has special properties, Maple treats the variable in a moregeneral way.> expr := sqrt( (x*y)^2 );expr := √ x 2 y 2> simplify( expr );√x 2 y 2The option assume=property specifies that simplify assume thatall the unknowns in the expression have that property.> simplify( expr, assume=real );|x y|> simplify( expr, assume=positive );x yYou can also use the general assume facility to place assumptions onindividual variables. See 6.2 Assumptions.Simplification with Side RelationsSometimes you can simplify an expression using your own special-purposetransformation rule. The simplify command allows you do to this bymeans of side relations.> expr := x*y*z + x*y + x*z + y*z;