let is_pos a =
  let q = constant_of a in
    if Mpa.Q.is_pos 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