FLINT3.7.0-dev

_d1_add_tracked, _d2_add_tracked, _d3_add_tracked, _d4_add_tracked, _d1_sub_tracked, _d2_sub_tracked, _d3_sub_tracked, _d4_sub_tracked, _d1_mul_tracked, _d2_mul_tracked, _d3_mul_tracked, _d4_mul_tracked, _d1_sqr_tracked, _d2_sqr_tracked, _d3_sqr_tracked, _d4_sqr_tracked

Synopsis#include <flint/dfloat.h>
void _d1_add_tracked(double * res, double * err, const double * x, const double * y)
void _d2_add_tracked(double * res, double * err, const double * x, const double * y)
void _d3_add_tracked(double * res, double * err, const double * x, const double * y)
void _d4_add_tracked(double * res, double * err, const double * x, const double * y)
void _d1_sub_tracked(double * res, double * err, const double * x, const double * y)
void _d2_sub_tracked(double * res, double * err, const double * x, const double * y)
void _d3_sub_tracked(double * res, double * err, const double * x, const double * y)
void _d4_sub_tracked(double * res, double * err, const double * x, const double * y)
void _d1_mul_tracked(double * res, double * err, const double * x, const double * y)
void _d2_mul_tracked(double * res, double * err, const double * x, const double * y)
void _d3_mul_tracked(double * res, double * err, const double * x, const double * y)
void _d4_mul_tracked(double * res, double * err, const double * x, const double * y)
void _d1_sqr_tracked(double * res, double * err, const double * x)
void _d2_sqr_tracked(double * res, double * err, const double * x)
void _d3_sqr_tracked(double * res, double * err, const double * x)
void _d4_sqr_tracked(double * res, double * err, const double * x)

The tracked kernels: set res to the N-term rounded sum, difference, product or square and add a bound for the magnitude of the dropped part to *err.

Cite this page

The FLINT team, “_d1_add_tracked, _d2_add_tracked, _d3_add_tracked, _d4_add_tracked, _d1_sub_tracked, _d2_sub_tracked, _d3_sub_tracked, _d4_sub_tracked, _d1_mul_tracked, _d2_mul_tracked, _d3_mul_tracked, _d4_mul_tracked, _d1_sqr_tracked, _d2_sqr_tracked, _d3_sqr_tracked, _d4_sqr_tracked (dfloat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/dfloat/_d1_add_tracked.html (generated 2026-10-20).