RZ First Sage Worksheet 3B

133 days ago by zbraf

var('x') solve ( [ 6 - 2 * ( x - 3 ) == 3 + x ], x) 
       
[x == 3]
[x == 3]
solve([-5*x>20],x) 
       
[[x < -4]]
[[x < -4]]
solve([5+x<-3],x) 
       
[[x < -8]]
[[x < -8]]
def f(x): return 3-2*x^2 f(100) 
       
-19997
-19997
var('a x') solve([a==2+x],x) 
       
[x == a - 2]
[x == a - 2]