FUNCTION SMC_V3_CloseRel : BOOL
Returns whether the relative difference of a and b is at most epsilon, that is if |a-b| <= eps * MAX(|a|, |b|), where the |.| denotes the euclidean norm.
InOut:
|
Scope |
Name |
Type |
Comment |
|
Inout Const |
a |
||
|
b |
|||
|
Input |
eps |
LREAL |
The (non-negative) relative epsilon. |
|
Return |
SMC_V3_CloseRel |
BOOL |