User blog comment:B1mb0w/The Quantum Function/@comment-35470197-20180926050834/@comment-35470197-20181001113059

> the leading zero assumption

Oh, you mean that your leading zero assumption is always valid for all of your functions unless specified, right?

And is it valid for the case where the leading zero is not necessarily followed by zero or the last entry is not necessarily \(1\)? (In the original description of the leading zero assumption, there are \(x+2\) zeros as the leading terms and \(1\) as the last term.)