Documentation

CompPoly.Univariate.Roots.Extraction

Root Extraction Helpers #

Candidate extraction, validation, and deduplication helpers for univariate root finding.

source
def CompPoly.CPolynomial.linearRootOfFactor? {F : Type u_1} [Field F] [BEq F] (factor : CPolynomial F) :
Option F

Extract the root of a represented nonconstant linear factor.

Instances For
    source
    def CompPoly.CPolynomial.validateRootCandidates {F : Type u_1} [Field F] [BEq F] (p : CPolynomial F) (candidates : Array F) :
    Array F

    Keep only candidates that are actual roots of the original polynomial.

    Instances For
      source
      def CompPoly.CPolynomial.rootsFromLinearFactors {F : Type u_1} [Field F] [BEq F] (p : CPolynomial F) (factors : Array (CPolynomial F)) :
      Array F

      Extract, validate, and deduplicate roots from a list of linear factors.

      Instances For