AngouriMath
IsRedundantByChain(System.Collections.Generic.List{AngouriMath.Functions.MultivariatePolynomial},System.Collections.Generic.List{System.ValueTuple{System.Int32,System.Int32}},AngouriMath.Functions.MonomialOrder,System.Int32,System.Int32,System.UInt64)
Method (no overloads)
Summary
The chain criterion: a third basis element whose leading monomial divides this
pair's lcm, and whose own two pairs are already dealt with, makes this one
redundant.
pair's lcm, and whose own two pairs are already dealt with, makes this one
redundant.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online