verify/float - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Logic : Boolean : verify : verify/float

verify/float

verify the equality of two floats

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, float(n))

verify(expr1, expr2, float(n, opt1, opt2, ...))

Parameters

expr1, expr2

-

expressions

n

-

non-negative

opt1, opt2, ...

-

options passed to testfloat

Description

• 

The verify(expr1, expr2, float(n)) calling sequence returns testfloat(expr1, expr2, n).

• 

The verify(expr1, expr2, float(n, opt1, opt2, ...)) calling sequence returns testfloat(expr1, expr2, n, opt1, opt2, ...).

• 

See testfloat for information regarding the options and how the result is determined.

• 

This verification is not symmetric, as expr2 = 0 causes an absolute error test to be applied by default.

Examples

evalb0.2342351243=0.2342351245

false

(1)

verify0.2342351243,0.2342351245,float2

true

(2)

verify0.2342351243,0.2342351256,float2

false,13.,ulps

(3)

verify0.2342351243,0.2342351256,truefalsefloat2

false

(4)

verify1.234x2+3.114x2.592,1.235y22.591+3.114y,float1,digits=4

true

(5)

The first returns an error because select expects a result of type truefalse:

selectverify,12.53236,12.53245,12.5348,12.5351,12.534,float1.5105

Error, invalid boolean expression: [false, .164e6, `ulps `]

selectverify,12.53236,12.53245,12.5348,12.5351,12.534,truefalsefloat1.5105

12.5348,12.5351

(6)

See Also

float

testfloat

type/nonnegative

verify

verify/truefalse

 


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