-
Notifications
You must be signed in to change notification settings - Fork 2
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
A first Lie group! #8
base: main
Are you sure you want to change the base?
Commits on Oct 9, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 5cc48e2 - Browse repository at this point
Copy the full SHA 5cc48e2View commit details -
Configuration menu - View commit details
-
Copy full SHA for ab96768 - Browse repository at this point
Copy the full SHA ab96768View commit details -
Configuration menu - View commit details
-
Copy full SHA for 123a1fe - Browse repository at this point
Copy the full SHA 123a1feView commit details -
Configuration menu - View commit details
-
Copy full SHA for ba6b6b5 - Browse repository at this point
Copy the full SHA ba6b6b5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2413897 - Browse repository at this point
Copy the full SHA 2413897View commit details
Commits on Oct 11, 2024
-
Merge branch 'main' into kellertuer/first-group
# Conflicts: # Readme.md
Configuration menu - View commit details
-
Copy full SHA for d7499bf - Browse repository at this point
Copy the full SHA d7499bfView commit details -
Configuration menu - View commit details
-
Copy full SHA for b4fa2c8 - Browse repository at this point
Copy the full SHA b4fa2c8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8492278 - Browse repository at this point
Copy the full SHA 8492278View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7b87074 - Browse repository at this point
Copy the full SHA 7b87074View commit details -
Configuration menu - View commit details
-
Copy full SHA for 87af22a - Browse repository at this point
Copy the full SHA 87af22aView commit details
Commits on Oct 12, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 21a0295 - Browse repository at this point
Copy the full SHA 21a0295View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7763296 - Browse repository at this point
Copy the full SHA 7763296View commit details -
Configuration menu - View commit details
-
Copy full SHA for b290737 - Browse repository at this point
Copy the full SHA b290737View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8b5d2cc - Browse repository at this point
Copy the full SHA 8b5d2ccView commit details
Commits on Oct 13, 2024
-
An hour of fighting type parameters again. Not yet sucessful in creat…
…ing a LieAlgebra as a Fiber.
Configuration menu - View commit details
-
Copy full SHA for e2eb7cd - Browse repository at this point
Copy the full SHA e2eb7cdView commit details
Commits on Oct 14, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 4ae7f74 - Browse repository at this point
Copy the full SHA 4ae7f74View commit details -
Configuration menu - View commit details
-
Copy full SHA for 23cd4f0 - Browse repository at this point
Copy the full SHA 23cd4f0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 99eacf3 - Browse repository at this point
Copy the full SHA 99eacf3View commit details -
Configuration menu - View commit details
-
Copy full SHA for a64134c - Browse repository at this point
Copy the full SHA a64134cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1f0d40e - Browse repository at this point
Copy the full SHA 1f0d40eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 29efc35 - Browse repository at this point
Copy the full SHA 29efc35View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8d79880 - Browse repository at this point
Copy the full SHA 8d79880View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6fcb57b - Browse repository at this point
Copy the full SHA 6fcb57bView commit details
Commits on Oct 15, 2024
-
Apply suggestions from code review
Co-authored-by: Mateusz Baran <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 50d30fb - Browse repository at this point
Copy the full SHA 50d30fbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 564366a - Browse repository at this point
Copy the full SHA 564366aView commit details -
Cover special cases with the identity on the generic level. Add conju…
…gate test snippet.
Configuration menu - View commit details
-
Copy full SHA for 2065185 - Browse repository at this point
Copy the full SHA 2065185View commit details -
Configuration menu - View commit details
-
Copy full SHA for a27ab64 - Browse repository at this point
Copy the full SHA a27ab64View commit details -
Configuration menu - View commit details
-
Copy full SHA for cf4a2b1 - Browse repository at this point
Copy the full SHA cf4a2b1View commit details -
Configuration menu - View commit details
-
Copy full SHA for d8a0929 - Browse repository at this point
Copy the full SHA d8a0929View commit details -
Configuration menu - View commit details
-
Copy full SHA for 432acf8 - Browse repository at this point
Copy the full SHA 432acf8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7267fd4 - Browse repository at this point
Copy the full SHA 7267fd4View commit details
Commits on Oct 16, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 12ce203 - Browse repository at this point
Copy the full SHA 12ce203View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4fa901c - Browse repository at this point
Copy the full SHA 4fa901cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6233175 - Browse repository at this point
Copy the full SHA 6233175View commit details -
Configuration menu - View commit details
-
Copy full SHA for 764cb4f - Browse repository at this point
Copy the full SHA 764cb4fView commit details -
Configuration menu - View commit details
-
Copy full SHA for d06b491 - Browse repository at this point
Copy the full SHA d06b491View commit details -
Configuration menu - View commit details
-
Copy full SHA for 20ea80d - Browse repository at this point
Copy the full SHA 20ea80dView commit details
Commits on Oct 17, 2024
-
Configuration menu - View commit details
-
Copy full SHA for e64a877 - Browse repository at this point
Copy the full SHA e64a877View commit details -
Configuration menu - View commit details
-
Copy full SHA for e10a5fb - Browse repository at this point
Copy the full SHA e10a5fbView commit details -
Configuration menu - View commit details
-
Copy full SHA for c2a7d2c - Browse repository at this point
Copy the full SHA c2a7d2cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 571e024 - Browse repository at this point
Copy the full SHA 571e024View commit details -
Configuration menu - View commit details
-
Copy full SHA for ea623d6 - Browse repository at this point
Copy the full SHA ea623d6View commit details -
Configuration menu - View commit details
-
Copy full SHA for b5b6f44 - Browse repository at this point
Copy the full SHA b5b6f44View commit details -
No clue what is happening here
Duplicate docs from the same file includion? Never seen that before.
Configuration menu - View commit details
-
Copy full SHA for 6a51d9b - Browse repository at this point
Copy the full SHA 6a51d9bView commit details -
Configuration menu - View commit details
-
Copy full SHA for ae96b81 - Browse repository at this point
Copy the full SHA ae96b81View commit details -
Configuration menu - View commit details
-
Copy full SHA for a9dfa34 - Browse repository at this point
Copy the full SHA a9dfa34View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6e62032 - Browse repository at this point
Copy the full SHA 6e62032View commit details
Commits on Oct 18, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 1e60559 - Browse repository at this point
Copy the full SHA 1e60559View commit details
Commits on Oct 19, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 03fc158 - Browse repository at this point
Copy the full SHA 03fc158View commit details -
Configuration menu - View commit details
-
Copy full SHA for fb1f1a1 - Browse repository at this point
Copy the full SHA fb1f1a1View commit details -
Configuration menu - View commit details
-
Copy full SHA for d219b27 - Browse repository at this point
Copy the full SHA d219b27View commit details -
Configuration menu - View commit details
-
Copy full SHA for 066129f - Browse repository at this point
Copy the full SHA 066129fView commit details
Commits on Oct 20, 2024
-
Apply suggestions from code review
Co-authored-by: Mateusz Baran <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 2dbfe47 - Browse repository at this point
Copy the full SHA 2dbfe47View commit details -
Configuration menu - View commit details
-
Copy full SHA for cc15e51 - Browse repository at this point
Copy the full SHA cc15e51View commit details -
Merge branch 'kellertuer/first-group' of github.com:JuliaManifolds/Li…
…eGroups.jl into kellertuer/first-group
Configuration menu - View commit details
-
Copy full SHA for 2c18ca3 - Browse repository at this point
Copy the full SHA 2c18ca3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6431dd8 - Browse repository at this point
Copy the full SHA 6431dd8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 859d6f6 - Browse repository at this point
Copy the full SHA 859d6f6View commit details
Commits on Oct 21, 2024
-
Configuration menu - View commit details
-
Copy full SHA for eae7e20 - Browse repository at this point
Copy the full SHA eae7e20View commit details -
Merge branch 'kellertuer/first-group' of github.com:JuliaManifolds/Li…
…eGroups.jl into kellertuer/first-group
Configuration menu - View commit details
-
Copy full SHA for bf14e8f - Browse repository at this point
Copy the full SHA bf14e8fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4a61bae - Browse repository at this point
Copy the full SHA 4a61baeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 11404db - Browse repository at this point
Copy the full SHA 11404dbView commit details -
Introduce
test_mutating
for all tests and pass an option down to de……activate `!` tests.
Configuration menu - View commit details
-
Copy full SHA for 3fb4dbd - Browse repository at this point
Copy the full SHA 3fb4dbdView commit details