Commits

Commit history

1. Commits on Jun 11, 2026

   • Create README.md

     unhyperbolic

     authored
     f70d2a4View commit details

     Copy full SHA for f70d2a4

     Browse repository at this point

   • Adding LICENSE

     unhyperbolic

     committed
     2f9cdbcView commit details

     Copy full SHA for 2f9cdbc

     Browse repository at this point
2. Commits on Aug 3, 2023

   • PseudoInnerProductSpace only works for real numbers.

     unhyperbolic

     committed
     9d30145View commit details

     Copy full SHA for 9d30145

     Browse repository at this point
3. Commits on Jul 31, 2023

   • Using BilinForm.Nondegenerate

     unhyperbolic

     committed
     210ef98View commit details

     Copy full SHA for 210ef98

     Browse repository at this point

   • Use more standard library

     unhyperbolic

     committed
     fa39cd3View commit details

     Copy full SHA for fa39cd3

     Browse repository at this point

   • Comments about using more of the standard library.

     unhyperbolic

     committed
     f8ccceeView commit details

     Copy full SHA for f8cccee

     Browse repository at this point

   • move

     unhyperbolic

     committed
     0ae0924View commit details

     Copy full SHA for 0ae0924

     Browse repository at this point

   • Removing unused import

     unhyperbolic

     committed
     8deb2efView commit details

     Copy full SHA for 8deb2ef

     Browse repository at this point

   • Fix Hyperboloid

     unhyperbolic

     committed
     82709b0View commit details

     Copy full SHA for 82709b0

     Browse repository at this point

   • move

     unhyperbolic

     committed
     deeb2cbView commit details

     Copy full SHA for deeb2cb

     Browse repository at this point

   • move

     unhyperbolic

     committed
     de02726View commit details

     Copy full SHA for de02726

     Browse repository at this point

   • More work

     unhyperbolic

     committed
     daa4b30View commit details

     Copy full SHA for daa4b30

     Browse repository at this point
4. Commits on Jul 30, 2023

   • Rw BasisVector

     unhyperbolic

     committed
     938b962View commit details

     Copy full SHA for 938b962

     Browse repository at this point

   • A bit more work

     unhyperbolic

     committed
     4bf3461View commit details

     Copy full SHA for 4bf3461

     Browse repository at this point

   • A bit more work

     unhyperbolic

     committed
     973df7cView commit details

     Copy full SHA for 973df7c

     Browse repository at this point

   • Fixing basis vector

     unhyperbolic

     committed
     96a6ee1View commit details

     Copy full SHA for 96a6ee1

     Browse repository at this point

   • Some simplifications and additions

     unhyperbolic

     committed
     c4b9f06View commit details

     Copy full SHA for c4b9f06

     Browse repository at this point

   • Some experiments

     unhyperbolic

     committed
     75a51d6View commit details

     Copy full SHA for 75a51d6

     Browse repository at this point

   • Introducing PseudoInnerProductSpace.

     unhyperbolic

     committed
     c2cb540View commit details

     Copy full SHA for c2cb540

     Browse repository at this point

   • Using d for dimension

     unhyperbolic

     committed
     bcea2e4View commit details

     Copy full SHA for bcea2e4

     Browse repository at this point

   • Removing unnecessary parens

     unhyperbolic

     committed
     b2dc3e8View commit details

     Copy full SHA for b2dc3e8

     Browse repository at this point

   • Adding hyperboloid

     unhyperbolic

     committed
     09c044dView commit details

     Copy full SHA for 09c044d

     Browse repository at this point

   • Adding PseudoEuclideanSpace.lean

     unhyperbolic

     committed
     6178824View commit details

     Copy full SHA for 6178824

     Browse repository at this point
5. Commits on Jul 26, 2023

   • arcosh formulas and distance formula

     morrison-daniel

     committed
     4485928View commit details

     Copy full SHA for 4485928

     Browse repository at this point
6. Commits on Jul 25, 2023

   • start distance formula

     morrison-daniel

     committed
     2c33aaaView commit details

     Copy full SHA for 2c33aaa

     Browse repository at this point

   • horosphere start

     morrison-daniel

     committed
     1d89cdbView commit details

     Copy full SHA for 1d89cdb

     Browse repository at this point

   • line props

     morrison-daniel

     committed
     97505ceView commit details

     Copy full SHA for 97505ce

     Browse repository at this point
7. Commits on Jul 22, 2023

   • pointwise definitions

     morrison-daniel

     committed
     eb6b5d2View commit details

     Copy full SHA for eb6b5d2

     Browse repository at this point
8. Commits on Jul 20, 2023

   • update gitignore

     morrison-daniel

     committed
     09df321View commit details

     Copy full SHA for 09df321

     Browse repository at this point
9. Commits on Jul 9, 2023

   • More work on distances.

     unhyperbolic

     committed
     efa48dcView commit details

     Copy full SHA for efa48dc

     Browse repository at this point
10. Commits on Jun 30, 2023

    • More

      unhyperbolic

      committed
      b14c4eeView commit details

      Copy full SHA for b14c4ee

      Browse repository at this point

    • A bunch of work

      unhyperbolic

      committed
      1434fd9View commit details

      Copy full SHA for 1434fd9

      Browse repository at this point
11. Commits on Jun 29, 2023

    • Adding some experimental files.

      unhyperbolic

      committed
      ddfa23dView commit details

      Copy full SHA for ddfa23d

      Browse repository at this point
12. Commits on Jun 27, 2023

    • Some more work

      unhyperbolic

      committed
      0291d6aView commit details

      Copy full SHA for 0291d6a

      Browse repository at this point

    • Removing some experiments

      unhyperbolic

      committed
      9ce874cView commit details

      Copy full SHA for 9ce874c

      Browse repository at this point