|
MPS_BEGIN_DECLS mps_boolean | mps_ftouchnwt (mps_context *s, double *frad, int n, int i, int j) |
| Check if the i-th and the j-th discs are newton-isolated. More...
|
|
mps_boolean | mps_dtouchnwt (mps_context *s, rdpe_t *drad, int n, int i, int j) |
| Check if the i-th and the j-th discs are newton-isolated. More...
|
|
mps_boolean | mps_mtouchnwt (mps_context *s, rdpe_t *drad, int n, int i, int j) |
| Check if the i-th and the j-th discs are newton-isolated. More...
|
|
mps_boolean | mps_ftouchreal (mps_context *s, int n, int i) |
| Return true if the disk intersects the real axis, false otherwise (floating point version). More...
|
|
mps_boolean | mps_dtouchreal (mps_context *s, int n, int i) |
| Return true if the disk intersects the real axis, false otherwise (DPE version). More...
|
|
mps_boolean | mps_mtouchreal (mps_context *s, int n, int i) |
| Return true if the disk intersects the real axis, false otherwise (MP version). More...
|
|
mps_boolean | mps_ftouchimag (mps_context *s, int n, int i) |
| Return true if the disk intersects the imaginary axis, false otherwise (floating point version). More...
|
|
mps_boolean | mps_dtouchimag (mps_context *s, int n, int i) |
| Return true if the disk intersects the imaginary axis, false otherwise (DPE version). More...
|
|
mps_boolean | mps_mtouchimag (mps_context *s, int n, int i) |
| Return true if the disk intersects the imaginary axis, false otherwise (MP version). More...
|
|
mps_boolean | mps_ftouchunit (mps_context *s, int n, int i) |
| Return true if the disk intersects the unitary circle, false otherwise (floating point version). More...
|
|
mps_boolean | mps_dtouchunit (mps_context *s, int n, int i) |
| Return true if the disk intersects the unitary circle, false otherwise (DPE version). More...
|
|
mps_boolean | mps_mtouchunit (mps_context *s, int n, int i) |
| Return true if the disk intersects the unitary circle, false otherwise (MP version). More...
|
|
void | mps_validate_inclusions (mps_context *ctx) |
| This function can be called to validate the inclusion radii and cluster analysis for a limited precision polynomial. More...
|
|
Routines that check the emptyness of the intersection of several sets.
mps_boolean mps_dtouchnwt |
( |
mps_context * |
s, |
|
|
rdpe_t * |
drad, |
|
|
int |
n, |
|
|
int |
i, |
|
|
int |
j |
|
) |
| |
Check if the i-th and the j-th discs are newton-isolated.
More precisely, given a parameter n
, check if the roots i
and j
are separated with circles whose radius is less than their distance divided for n
.
If
this condition correspond to isolation, if
where
is the degree of the polynomial then it correspond to newton isolation.
- Parameters
-
s | mps_context struct. |
drad | The inclusion radii that should be used to perform cluster analysis. |
n | See above. |
i | the first root. |
j | the second root. |
- Returns
- false if the disc
i
and j
are newton-isolated.
MPS_BEGIN_DECLS mps_boolean mps_ftouchnwt |
( |
mps_context * |
s, |
|
|
double * |
frad, |
|
|
int |
n, |
|
|
int |
i, |
|
|
int |
j |
|
) |
| |
Check if the i-th and the j-th discs are newton-isolated.
More precisely, given a parameter n
, check if the roots i
and j
are separated with circles whose radius is less than their distance divided for n
.
If
this condition correspond to isolation, if
where
is the degree of the polynomial then it correspond to newton isolation.
- Parameters
-
s | mps_context struct. |
n | See above. |
i | the first root. |
j | the second root. |
frad | The inclusion radii precomputed by some other routines. |
- Returns
- false if the disc
i
and j
are newton-isolated.
mps_boolean mps_mtouchnwt |
( |
mps_context * |
s, |
|
|
rdpe_t * |
drad, |
|
|
int |
n, |
|
|
int |
i, |
|
|
int |
j |
|
) |
| |
Check if the i-th and the j-th discs are newton-isolated.
More precisely, given a parameter n
, check if the roots i
and j
are separated with circles whose radius is less than their distance divided for n
.
If
this condition correspond to isolation, if
where
is the degree of the polynomial then it correspond to newton isolation.
- Parameters
-
s | mps_context struct. |
drad | The inclusion radii that should be used to perform cluster analysis. |
n | See above. |
i | the first root. |
j | the second root. |
- Returns
- false if the disc
i
and j
are newton-isolated.