i knew , however , that she had worked out an extension of weyl 's non-euclidean geometry in a direction quite different from those chosen by eddington and einstein -- and whose implications , as regards the structure of our universe , were stupendous .