Question: Why does evalb(2^(n+10)-1024*2^n = 0) return false?

I don't understand why evalb(2^(n+10)-1024*2^n = 0) returns false. The expression can be simplified to 0.

Am I misusing evalb?
 

assume(n, integer, n > 0)

NULL

f := proc (n) options operator, arrow; 2^(n+10) end proc

proc (n) options operator, arrow; 2^(n+10) end proc

(1)

g := proc (n) options operator, arrow; 1024*2^n end proc

proc (n) options operator, arrow; 1024*2^n end proc

(2)

g(n)-f(n)

1024*2^n-2^(n+10)

(3)

"(=)"

0

(4)

evalb(1024*2^n-2^(n+10) = 0)

false````

(5)

``


 

Download temp.mw

Please Wait...