First time here? Check out the FAQ!
answered 2014-02-17 09:43:01 +0100
See http://trac.sagemath.org/ticket/7660
For the moment you have to use a subsystem, e.g. maxima for inequalities.