AngouriMath

Navigation

← Back to list of members

AtEveryRoot​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable,​AngouriMath.​Entity)

 Method (no overloads)

Summary

not Res_w(p, q) = 0 for a conjunct not g = h whose q = g - h is a
polynomial in name: true exactly where q is not zero at any
root of polynomial, whose coefficients must be rational. Null for any
other conjunct or polynomial.

























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