AddAstrictionToCoimage

[mohamed-barakat]

AddAstrictionToCoimage

ImageEmbedding( phi ) ⤳ Set
AstrictionToCoimage( phi ) ⤳ DuplicateFreeList

and compiled CoimageProjection

needs Toposes v2023.10-13

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Files	Coverage Δ
PackageInfo.g	100.00% <100.00%> (ø)
gap/SkeletalFinSets.gi	100.00% <100.00%> (ø)
...fFiniteSetsWithMorphismsGivenByListsPrecompiled.gi	100.00% <100.00%> (ø)

📢 Thoughts on this report? Let us know!.

[mohamed-barakat]

This PR will fail until homalg-project/CAP_project#1495 is merged.

[mohamed-barakat]

@zickgraf: I think the last commit is what you had in mind :)

[zickgraf]

@zickgraf: I think the last commit is what you had in mind :)

Yes, now we have the full analogy to the image and the code is much simpler :-)

Please add some tests for the newly added/compiled functions.

[mohamed-barakat]

@zickgraf: I think the last commit is what you had in mind :)

Yes, now we have the full analogy to the image and the code is much simpler :-)

Nice :)

Please add some tests for the newly added/compiled functions.

I am preparing an example :)