Lists, rationals, polynomials and intervals - Implementation (types and basic operations) : Rat_poly.is_null

let is_null_poly = function

  p -> match p with P (la) -> is_empty_list (la)