2=1

[compsystems]

Hi, is possible to assume assume("(a-b)=0") that the following script code is consistent?

worksheet

Code : Tout sélectionner

assume("(a-b)=0")

1: 'a=b'   
a=b

2: ans(-1)*a
a^2=(a*b)

3: ans(-1)-b^2
a^2-b^2=(-b^2+a*b)

4:factor(left(ans(-1)))=factor(right(ans(-1)))
(a+b)*(a-b)=(b*(a-b))

5: ans(-1)/(a-b)
a+b=b

6: subst(ans(-1),a=b)
2*b=b

7: ans(-1)/b
2=1