Closed zickgraf closed 11 months ago
This is not critical since we factually shifted from Algebroid
and PrecompilePreSheavesOfAlgebroidInCategoryOfRows.g
to AlgebroidFromDataTables
and PrecompilePreSheavesOfAlgebroidFromDataTablesInCategoryOfRows.g
.
I now have to load IO_ForHomalg
explicitly in the tests. I will push a corresponding commit to PackageJanitor once the CI succeeds.
All modified and coverable lines are covered by tests :white_check_mark:
Comparison is base (
588d54d
) 75.67% compared to head (054fdda
) 75.80%.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Currently, compilation is only guaranteed to work with external homalg rings. I was not aware that some things in QPA2 only work with internal homalg rings.
FunctorCategories/examples/PrecompilePreSheavesOfAlgebroidInCategoryOfRows.g
is such a case where an internal homalg ring is needed, but then "CoefficientsOfMorphisms" causes problems. To solve this, I simply exclude "CoefficientsOfMorphisms" from the compilation, hoping that this is not an important operation with regard to performance.