1 | initial version |
This is being discussed and worked on by developers in trac ticket #7660 .
2 | No.2 Revision |
This is being discussed and worked on by developers in trac ticket #7660 .
If you have a complicated relation r=...<...
you can say
sage: new_r = -r.lhs() > -r.rhs()