Guruswami-Sudan Shared Utilities

Small helpers shared by the interpolation and root-finding implementation modules.

def CompPoly.GuruswamiSudan.nonzeroEntryCount {F : Type u_1} [Zero F] [BEq F] (v : Array F) : Nat

Count nonzero entries in a dense coefficient vector.