mpoly_is_proved_not_square
Synopsis
#include <flint/mpoly.h>int mpoly_is_proved_not_square(const ulong * Aexps, slong Alen, flint_bitcnt_t Abits, slong N, ulong * t)sourceTries to prove that a polynomial with monomials (Aexps, Alen) is not a square, using t (N words) as scratch space. Returns 1 if the field-wise maximum of the monomials is not a square monomial, that is, some variable (or, for degree orderings, the total degree) has odd maximal degree, since the degrees of a square are even. Returns 0 if this test is inconclusive, and for an empty array.
Cite this page
The FLINT team, “mpoly_is_proved_not_square (mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpoly/mpoly_is_proved_not_square.html (generated 2026-10-20).
@misc{flint-doc-mpoly-mpoly-is-proved-not-square,
author = {{The FLINT team}},
title = {{mpoly\_is\_proved\_not\_square (mpoly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/mpoly/mpoly_is_proved_not_square.html},
note = {Generated 2026-10-20}
}