let is_nonneg a =
  let q = constant_of a in
    if Mpa.Q.is_nonneg q 
      && Monomials.Neg.is_empty a 
      && Monomials.Pos.for_all Monomials.is_slack a
    then
      Three.Yes
    else if Mpa.Q.is_neg q 
      && Monomials.Pos.is_empty a
      && Monomials.Neg.for_all Monomials.is_slack a
    then
      Three.No
    else 
      Three.X