I meant

sage:  F.<a> = GF(2)
....:  K.<x> = FunctionField(F)
....:  R.<Y> = PolynomialRing(K)
....:  L.<y> = K.extension(Y^4 + Y - x^5)
sage: g = L.get_place(2)
sage: g
Place (x, y^2 + y + 1)
sage: g.prime_ideal().gens()
(x, y^2 + y + 1)
sage: O = L.maximal_order()
sage: h = O.ideal((x, y^2 + y + 1)).place() # reconstruct the place from 
the generators
sage: g == h
True

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion visit 
https://groups.google.com/d/msgid/sage-support/e1c40305-b97e-4866-a645-1e3727496cdan%40googlegroups.com.

Reply via email to