FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9
TubeVector CAPD_integrateODE(const Interval &tdomain, const Function &f, const IntervalVector &x0, double tube_dt=0., int capd_order=20, double capd_dt=0.)
Integrates the autonomous ODE using CAPD.