AngouriMath

Navigation

← Back to list of members

Canonical​(AngouriMath.​Entity,​System.​Collections.​Generic.​IReadOnlyDictionary{AngouriMath.​Entity.​Variable,​System.​Int32},​System.​Collections.​Generic.​IReadOnlyList{AngouriMath.​Entity.​Variable})

 Method (no overloads)

Summary

substituted as a polynomial over Q in the variables still to
be assigned, where it is one, so that a term the root has made worth nothing is gone.

Remarks

A basis that is not in shape position has elements like x y + 3 x - 5 y - 15,
whose leading coefficient vanishes at a root: at y = -3 it is 0, and
says nothing about x. One structural pass leaves it x * (-3) + 3 * x,
which still mentions x, so it was taken as the equation to solve x from, solved to every number, and the system was declined. Where a root is a
radical the coefficients are not rational, and it is left as it is.

























Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5057 pages online