K.<x> = FunctionField(GF(11)); _.<Y> = K[]
L.<y> = K.extension(Y^2 - x^3 - 4*x)
# P = (2, 4)
p = L.places_finite()[-3]
R = p.valuation_ring()
print((y - 2*x).valuation(p))