AngouriMath

Navigation

← Back to list of members

ResidueModuloTheQuadratic​(AngouriMath.​Entity[],​AngouriMath.​Entity,​AngouriMath.​Entity)

 Method (no overloads)

Summary

The polynomial with coefficients, lowest power first, reduced modulo
the monic quadratic x^2 + s x + t, as the pair (p, q) of p + q x,
each in lowest terms over the symbols.

Remarks

From the coefficients, which the caller has, rather than from the polynomial written out
and read back: a coefficient with a symbol over its square, `(4 b^2 - 2 a^2)/a^2` in the
square of `x^2 - 2 b/a x - 1`, expands to an `a^0` guarded by a condition, which the
reader does not read, and the split declined every quadratic block beside that square:
`2 (1 - t^2)^5/((1 + t^2)^4 (a - a t^2 + 2 b t)^2)` went to the Hermite reduction and did
not return in 20 s.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online