fmpz_factor_ecm_add
Synopsis
#include <flint/fmpz_factor.h>void fmpz_factor_ecm_add(nn_ptr x, nn_ptr z, nn_ptr x1, nn_ptr z1, nn_ptr x2, nn_ptr z2, nn_ptr x0, nn_ptr z0, nn_ptr n, ecm_t ecm_inf)sourceSets (x : z) to (x_1 : z_1) + (x_2 : z_2) given their difference (x_0 : z_0), by Montgomery's differential addition x = z_0 (x_1 x_2 - z_1 z_2)^2, z = x_0 (x_2 z_1 - x_1 z_2)^2 modulo n (up to a common factor 4).
Cite this page
The FLINT team, “fmpz_factor_ecm_add (fmpz_factor.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_factor/fmpz_factor_ecm_add.html (generated 2026-10-20).
@misc{flint-doc-fmpz-factor-fmpz-factor-ecm-add,
author = {{The FLINT team}},
title = {{fmpz\_factor\_ecm\_add (fmpz\_factor.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_factor/fmpz_factor_ecm_add.html},
note = {Generated 2026-10-20}
}