I have noticed the second item in Description in

http://www.maplesoft.com/support/help/Maple/view.aspx?path=convert/binary

The item is: 

“The binary number is returned as a base 10 number consisting of the digits 1 and 0 only.”

Does the existence of this item mean the following behavior will not be corrected ? ("10^(-6)" in the following should be "2^(-6)" .)

******************************************************

I cannot show that the following two sums(A and B) are equal to each other.

How can I simplify the difference(A-B)?

A := sum((-1)^(i-1)*factorial(n0)/(factorial(n1)*(n1+i)^2*factorial(i-1)*factorial(n0-n1-i)), i = 1 .. n0-n1);

B := sum(1/(n1+i), i = 1 .. n0-n1);

`assuming`([simplify(A-B)], [n0::nonnegint, n1::nonnegint, n1 <= n0]);

does not give zero. 

The result of a simple test: 

map(simplify, [seq(eval(A-B, n1 = 10), n0 = 20 .. 30)]);
print(`output redirected...`); 

is

[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]