MPS_PRIVATE void mps_check_data(mps_context *s, char *which_case)
Check consistency of data and makes some basic adjustments.
Definition main.c:460
MPS_PRIVATE void mps_compute_sep(mps_context *s)
Compute the minimum distance that can separate two roots of the input polynomial.
Definition main.c:602
MPS_PRIVATE void mps_setup(mps_context *s)
Setup vectors and variables.
Definition main.c:296
this struct holds the state of the mps computation
Definition context.h:60