AngouriMath
Navigation
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-2026 · Project's repo · Site's repo · Octicons · Transparency · 5057 pages online