from sage.libs.flint.zmod_poly cimport *
from sage.rings.morphism cimport RingHomomorphism_coercion
from sage.categories.morphism cimport Morphism
from sage.structure.element cimport Element, ModuleElement, RingElement
from sage.categories.map cimport Section
cdef class FpTElement(RingElement):
cdef zmod_poly_t _numer, _denom
cdef bint initalized
cdef long p
cdef FpTElement _new_c(self)
cdef FpTElement _copy_c(self)
cpdef numerator(self)
cpdef denominator(self)
cpdef FpTElement next(self)
cpdef _sqrt_or_None(self)
cpdef bint is_square(self)
cdef class FpT_iter:
cdef parent
cdef long degree
cdef FpTElement cur
cdef zmod_poly_t g
