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 · 4405 pages online