Revision history [back]

Using a matrix of constraints has been implemented, and will be released soon (in Sage 6.4). See http://trac.sagemath.org/ticket/16714 You already might try installing the changes from this ticket into Sage 6.3 and use them.