Commits on Apr 27, 2022

1. Use liftstd for BasisOfRowsCoeff …

   The runtime of the added example drops from 25s to 6s on my computer.
   
   Notes:
   * This commit is very unfinished. Its only purpose is to show the potential
     and for quick tests.
   * `liftstd(..., "std")` has the same output as `std` but only up to
     clearing denominators, so one would also have to adjust `std`, `syz` etc.
   * Using the relative version of `liftstd` one could also implement a more
     efficient `RelativeBasisOfRowsCoeff`.
   * https://github.com/zickgraf/homalg_project/tree/use_liftstd has some more
     experiments in this direction.

   

   zickgraf committed Apr 27, 2022
   Configuration menu

   • View commit details
   • Copy full SHA for 519538a
   • Browse repository at this point

   Copy the full SHA

   519538a View commit details

   Browse the repository at this point in the history