RealBox
BinaryPredicates
binary predicates for RealBox objects
Equal
check for data structure equality of two RealBox objects
Eq
check for mathematical equality of two RealBox objects
NotEq
check for non-equality of two RealBox objects
LessThan
check for strict inequality of two RealBox objects
`<`
LessEqual
check for inequality of two RealBox objects
`<=`
Overlaps
check for a nonempty intersection of two RealBox objects
Contains
check for inclusion between two RealBox objects
Calling Sequence
Parameters
Description
Examples
Compatibility
Equal( b1, b2 )
Eq( b1, b2 )
NotEq( b1, b2 )
b1 < b2
b1 <= b2
LessThan( b1, b2 )
LessEqual( b1, b2 )
Overlaps( b1, b2 )
Contains( b1, b2 )
b1
-
RealBox object
b2
precopt
(optional) equation of the form precision = n, where n is a positive integer
Each RealBox object defines a number of predicates that can be used to query various properties of the box.
Predicates may be further subdivided into unary predicates (of a single RealBox object) or binary (for comparing two RealBox objects).
The following table describes briefly the defined binary predicate methods for RealBox objects.
Predicate
returns true if the arguments are equal as boxes
returns true if the arguments are equal in a way that is "mathematically meaningful"
returns true if the arguments are unequal in a way that is "mathematically meaningful"
returns true if every member of the first argument is less than every member of the second
operator form of LessThan
returns true if every member of the first argument is less than or equal to every member of the second
operator form of LessEqual
returns true if the operands have nonempty intersection
returns true if the first operand contains the second operand
Use the 'precision' = n option to control the precision used in these methods. For more details on precision, see BoxPrecision.
The Equal predicate returns true when its two arguments are "equal as boxes".
EqualRealBox0,1.×10−10,RealBox0,1.×10−10
true
The Eq predicate is different; it returns a "mathematically meaningful" test for equality.
EqRealBox0,1.×10−10,RealBox0,1.×10−10
false
EqRealBox0,RealBox0
EqRealBox0.,RealBox0
EqRealBox−0.,RealBox0
EqRealBox0.,RealBox−0.
The NotEq predicate returns true when its two arguments are not equal in a "mathematically meaningful" way.
NotEqRealBox0,1.×10−10,RealBox0,1.×10−10
The comparison predicates LessThan and LessEqual, as well as their infix operator counterparts `<` and `<=`, return true if the indicates comparison is true for all members of their box operands.
LessEqualRealBox1,1,RealBox3,1
Also note that `<` and `<=` require that you use evalb in a non-boolean context.
evalbRealBox1,1≤RealBox3,1
evalbRealBox1,1<RealBox4,1
ContainsRealBox4,4,RealBox3,1
ContainsRealBox0,2,RealBox3,1
OverlapsRealBox0,2,RealBox3,1
The RealBox[BinaryPredicates], RealBox[Equal], RealBox[Eq], RealBox[NotEq], RealBox[LessThan], RealBox[`<`], RealBox[LessEqual], RealBox[`<=`], RealBox[Overlaps] and RealBox[Contains] commands were introduced in Maple 2022.
For more information on Maple 2022 changes, see Updates in Maple 2022.
See Also
ComplexBox
Download Help Document
