Provide faster matrix multiplication
Delete
Add assert

There is a proof that this assert always is true.
Work on report