Math can be represented in a variety of ways, but the pattern being described is immutable.
What A.G. Barr is insinuating is not that we make implementations illegal, but that we make the use of algorithms categorically illegal.