is there a way to do implication in Sage ? for example something simple like given f1 = x -2 >= 0 , f2 = x^2 -4 >= 0 , we have f1 implies f2
thanks ! -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
