Dear sage-devel this is doctested in relation.py
sage: f = x + 3 < y - 2 sage: f*(-1) -x - 3 < -y + 2 Is this really intended behavior? Shouldnt the answer be the following? sage: f*(-1) -x - 3 > -y + 2 But what about f*(a) or f*(x-2)? Should Sage return this? (-x-3)*(x-2)<(2-y)*(x-2) Or raise a warning that the inequalities are not equivalent. Or refuse computation if the sign of the expression which multiplies inequality cannot be determined? Or simply we assume that the user is not high school student and she/he knows what she/he is doing? Is there any opinion to this? Many thanks Robert Marik -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
