combine ranges - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Expression Manipulation : Combining : combine/range

combine/range - combine ranges

Calling Sequence

combine(e, 'range')

Parameters

e

-

any expression

Description

• 

Expressions involving calls to an operator F of two arguments, the second of which is of the form name = range, in which the range is either a discrete or continuous range, are combined by applying the transformations:

Ffx,x=a..b+Fgx,x=c..dFfx,x=a..d

  

whenever the operator F, first arguments fx and gx, and ranges a..b and c..d satisfy one of the following conditions.

• 

F=Int or F=int,c=b, and fx=gx

• 

F=Int or F=int,c=a, and fx=gx

• 

F=Int or F=int,b=d, and fx=gx

• 

F=Sum or F=sum,c=1+b, and fx=gx

• 

F&equals;Sum or F&equals;sum&comma;c&equals;a and b<d and fx&equals;gx

• 

For the results of `combine/range` to be valid, the operator F must be a function of two arguments, the second of which has the form name = range and is additive over ranges.

• 

Knowledge of the summation and integral operators is supported in the library. You can add to the knowledge of which operators can be manipulated by `combine/range`  by assigning to one of the environment variables _EnvRangeCombinableContinuous or _EnvRangeCombinableDiscrete. Each should be a set of names of operators F. Operators in the set _EnvRangeCombinableDiscrete are combined in the same way as Sum, while those in _EnvRangeCombinableContinuous are combined like integrals. The environment variable _EnvRangeCombinable is used internally and should not be modified directly by users.

• 

By calling the procedure combine/range directly, you can set the values of combinable operators for a single call by passing an extra (second) argument in the form of a list of two sets. The first member of the list is the set of operators that can be combined using continuous ranges (Int-like), and the second member of the list should be a set of the names of Sum-like operators whose ranges are to be treated as discrete.

• 

The power of `combine/range` is controlled by the values of the environment variables Testzero and Normalizer. These are used to detect matching range endpoints and matching first arguments. Resetting Testzero gives you local control over the combining power of this procedure.

Examples

&int;abfx&DifferentialD;x&plus;&int;acfx&DifferentialD;x

&int;abfx&DifferentialD;x&plus;&int;acfx&DifferentialD;x

(1)

&equals;combine&comma;&apos;range&apos;

&int;abfx&DifferentialD;x&plus;&int;acfx&DifferentialD;x&equals;&int;bcfx&DifferentialD;x

(2)

j&equals;abfj&plus;j&equals;b&plus;1dfj

j&equals;abfj&plus;j&equals;1&plus;bdfj

(3)

&equals;combine&comma;&apos;range&apos;

j&equals;abfj&plus;j&equals;1&plus;bdfj&equals;j&equals;adfj

(4)

`combine/range` is sensitive to assumptions:

j&equals;abfj&plus;j&equals;adfj

j&equals;abfj&plus;j&equals;adfj

(5)

&equals;combine&comma;&apos;range&apos;assumingb<d

j&equals;abfj&plus;j&equals;adfj&equals;j&equals;1&plus;bdfj

(6)

Gfx&comma;x&equals;a..b&plus;Gfx&comma;x&equals;b..c

Gfx&comma;x&equals;a..b&plus;Gfx&comma;x&equals;b..c

(7)

&equals;combine&comma;&apos;range&apos;&comma;&apos;G&apos;&comma;

Gfx&comma;x&equals;a..b&plus;Gfx&comma;x&equals;b..c&equals;Gfx&comma;x&equals;a..c

(8)

See Also

combine, Environment Variables (Testzero, Normalizer), Expressions of Type range, int or Int, sum or Sum


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