answered 11 years ago
See http://trac.sagemath.org/ticket/7660
For the moment you have to use a subsystem, e.g. maxima for inequalities.