answered 2014-02-17 09:43:01 +0200
See http://trac.sagemath.org/ticket/7660
For the moment you have to use a subsystem, e.g. maxima for inequalities.