Template:Homotopy invariant computation