Documentation

CompPoly.Bivariate.GuruswamiSudan.Interpolation.LeeOSullivan.Basic

Lee-O'Sullivan Interpolation Basics #

source
def CompPoly.GuruswamiSudan.leeOSullivanWidth (params : GSInterpParams) :
ℕ

Number of coefficient columns in the Lee-O'Sullivan module basis.

Instances For
    source
    def CompPoly.GuruswamiSudan.leeOSullivanShifts (params : GSInterpParams) :
    Array ℕ

    Lee-O'Sullivan shifted-degree shifts, shift[j] = j * yWeight params.

    Instances For
      source
      def CompPoly.GuruswamiSudan.leeOSullivanT (params : GSInterpParams) (i : ℕ) :
      ℕ

      Uniform exponent t_i = min i s in the Lee-O'Sullivan basis.

      Instances For
        source
        def CompPoly.GuruswamiSudan.leeOSullivanBasisPolynomial {F : Type u_1} [Field F] [BEq F] [LawfulBEq F] [DecidableEq F] (R G : CPolynomial F) (params : GSInterpParams) (i : ℕ) :
        CBivariate F

        The Lee-O'Sullivan basis polynomial P_i.

        Instances For
          source
          def CompPoly.GuruswamiSudan.leeOSullivanBasisRowsWithRG {F : Type u_1} [Field F] [BEq F] [LawfulBEq F] [DecidableEq F] (R G : CPolynomial F) (params : GSInterpParams) :
          PolynomialMatrix F

          Lee-O'Sullivan basis rows from already-built R and G.

          Instances For
            source
            def CompPoly.GuruswamiSudan.leeOSullivanBasisRows {F : Type u_1} [Field F] [BEq F] [LawfulBEq F] [DecidableEq F] (V : CPolynomial.VanishingPolynomialContext F) (E : CPolynomial.BatchEvalContext F) (points : Array (F × F)) (params : GSInterpParams) :
            PolynomialMatrix F

            Lee-O'Sullivan basis rows from packed points.

            Instances For