sage: k = kash.FiniteField(25) sage: kT = k.RationalFunctionField() sage: kTy = kT.PolynomialAlgebra() sage: T = kT.gen(1) sage: y = kTy.gen(1) sage: f = y**3 + T**4 + 1