def METHOD_NAME(self, p):
    """
    Return the conorm of the place `p` in this extension.
    INPUT:
    - ``p`` -- place of the base function field
    OUTPUT: divisor of the top function field
    EXAMPLES::
        sage: # needs sage.rings.finite_rings sage.rings.function_field
        sage: K.<x> = FunctionField(GF(2)); R.<Y> = K[]
        sage: F.<y> = K.extension(Y^3 - x^2*(x^2 + x + 1)^2)
        sage: E = F.extension_constant_field(GF(2^3))
        sage: p = F.get_place(3)
        sage: d = E.conorm_place(p)
        sage: [pl.degree() for pl in d.support()]
        [1, 1, 1]
        sage: p = F.get_place(2)
        sage: d = E.conorm_place(p)
        sage: [pl.degree() for pl in d.support()]
        [2]
    """
    embedF = self.defining_morphism()
    O_ext = self.maximal_order()
    Oinf_ext = self.maximal_order_infinite()
    if p.is_infinite_place():
        ideal = Oinf_ext.ideal([embedF(g) for g in p.prime_ideal().gens()])
    else:
        ideal = O_ext.ideal([embedF(g) for g in p.prime_ideal().gens()])
    return ideal.divisor()