if I have the equation 2*x == 1 , solving for x using solve(2*x==1,x) returns x == 1/2 . In other words, this equation is satisfied in the theory of rational (and others that include rational), because there exists a value x = 1/2 that makes 2*x == 1. But in a different theory, say integer, then the equation is always false since there exists no integer x such that 2*x == 1.
So Is it possible to force x to be in the theory of Integer so that solving for 2*x == 1 will return Not Possible or something similar ? 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
