https://123deta.com/document/qvl4x81d-polytopal-linear-algebra.html