Commit 2024-02-14 06:30 d70cb7c0

View on Github →

chore: Split LinearAlgebra/RootSystem/Basic into two files. (#10523) I put the definitions into the new file Defs and left the results in Basic. Also, I added some todos. I welcome any suggestions for improved splitting schemes.

Estimated changes