simplify/size - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Expression Manipulation : Simplifying : simplify/size

simplify/size

simplifies the size of mathematical expressions by appropriately collecting subexpressions

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

simplify(expr, size, evaluate_known_functions = eval_boolean)

Parameters

expr

-

expression

size

-

literal name; size

evaluate_known_functions = eval_boolean

-

(optional) equation; left-hand side is the literal evaluate_known_functions and the right-hand side eval_boolean is true or false. This equation controls whether functions are re-evaluated after simplification

Description

• 

The simplify(expr, size) calling sequence is used to attempt simplifying the expression size, performing only collections and simple decomposition of fractional powers in the coefficients - sometimes taking advantage of linear factors when they exist. No other mathematical simplifications of the expression or its subexpressions is performed. These operations, while simple and with low computational cost, may remarkably structure the expression and reduce its size.

• 

The concept of size used by these routines is close to the concept of length, but function calls and radicals are considered of bigger size than mathematically simpler objects of the same length. In this framework size partly includes the idea of mathematical complexity (for advanced users, see the routines `simplify/size/size` and `simplify/size/size/object`).

• 

The approach used consists of collecting subexpressions using an ordering based on size, then searching for possible fractional decompositions or linear factors that lead to coefficients of smaller size. Functions are handled by first simplifying in size their arguments, followed by re-evaluating the function when the simplification leads to simpler arguments. To avoid re-evaluating the functions, use the optional argument evaluate_known_functions=false.

• 

Expressions given as a ratio between two subexpressions have the numerator and denominator simplified in size separately, and the returned result constructed by dividing the expressions obtained (whenever this result is simpler than the given expression).

• 

The simplification of the expression size is not performed automatically by the simplify command. To perform it, invoke the routines by calling simplify with the extra argument size. Alternatively, the simplification of size is an option in the context menu. To activate this menu, highlight Maple output and right-click with the mouse.

Examples

e11ⅇ1x24214x324+1ⅇ1x24234xπerf12x28+1ⅇ1x24234x52πerf12x28:

A call to simplify handles the expression but does not attempt size reduction, which can be performed with the simplify/size routines.

simplifye1

1821/4xⅇ14x22x2πerf122x+ⅇ14x22πerf122x+2ⅇ14x2x

(1)

simplifye1,size

18xerf122x2πx2+1ⅇ14x2+2ⅇ14x2x21/4

(2)

e23sinx12cosx2sinxm+3sinx12cosx2cosxn+4sinx12cosx4sinxm4sinx12cosx4cosxn

e2:=3sinxcosx2sinxm+3sinxcosx2cosxn+4sinxcosx4sinxm4sinxcosx4cosxn

(3)

simplifye2

sinxcosx24cosx23sinxmcosxn

(4)

simplifye2,size

4cosxnsinxmcosx234sinxcosx2

(5)

An example using the optional argument evaluate_known_functions.

oneⅇxaax1a

one:=ⅇxaax1a

(6)

one=simplifyone,size

ⅇxaax1a=1

(7)

one=simplifyone,size,evaluate_known_functions=false

ⅇxaax1a=ⅇ0

(8)

ⅇxaax1a=1

(9)

See Also

collect

convert/horner

factors

simplify

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam