mirror of
https://github.com/darkrenaissance/darkfi.git
synced 2026-01-08 22:28:12 -05:00
8 lines
173 B
Python
8 lines
173 B
Python
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))
|
|
|