Ask Your Question

Revision history [back]

See http://trac.sagemath.org/ticket/7660

For the moment you have to use a subsystem, e.g. maxima for inequalities.