On 3 zář, 18:30, tvn <[email protected]> wrote: > Hi, I wonder if there's any 'imply' kind of function in Sage ? For > example > > eq1 = x -y == 0 > eq2 = x^2 - y^2 == 0 > > eq1 implies eq2 (but not the other way around). > > If no then is there any efficient way to do it ? one way I can > think of (that might not work) is get the factor_list of eq1 and > eq2 , if eq2 has a factor that is the same as eq1 then eq1 implies > eq2 -- something like that.
Hello, will this work for something like this? eq1 = y - x == 0 eq2 = x^2 - y^2 == 0 or this? eq1 = x - y == 0 eq2 = log(x^2 - y^2) == 1 or this? eq1 = x - y == 0 eq2 = sin(x^2 - y^2) == 0 I think that a function like this will work on a small subset of problems. But I may be wrong. Perhaps someone has ideas how to implement this. Robert -- 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
