-
Notifications
You must be signed in to change notification settings - Fork 18
Pull requests: homalg-project/CAP_project
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
remove CAP_INTERNAL_ADD_REPLACEMENTS_FOR_METHOD_RECORD.InverseImmutable
#1839
opened May 20, 2026 by
mohamed-barakat
Member
Loading…
Use
WithGiven* in derivations of distributivity morphisms
#1834
opened May 19, 2026 by
TKuh
Collaborator
Loading…
Distinguish between small and big integers
#1762
opened Jul 2, 2025 by
mohamed-barakat
Member
•
Draft
derived ImageEmbedding as the colift along the coastriction to image
#1495
opened Oct 17, 2023 by
mohamed-barakat
Member
Loading…
WithGivens for monoidal and (co)cartesian derivations
#1494
opened Oct 17, 2023 by
TKuh
Collaborator
Loading…
Add
UniversalPropertyOf(Co)DualWithGiven(Co)DualObject
#1488
opened Oct 6, 2023 by
TKuh
Collaborator
Loading…
AddDerivationToCAP( MorphismFromCoimageToImageWithGivenObjects, ... )
#1479
opened Oct 4, 2023 by
mohamed-barakat
Member
Loading…
installed derivations for Abelian categories
waiting for author
#1211
opened Dec 19, 2022 by
mohamed-barakat
Member
Loading…
CapJitAddTypeSignature( "LazyArray", [ IsInt, IsFunction ], ... )
#1023
opened Sep 5, 2022 by
mohamed-barakat
Member
•
Draft
Compile more operations in ModulePresentationsForCAP
#932
opened Jun 12, 2022 by
TKuh
Collaborator
Loading…
Install BasisOfExternalHom & CoefficientsOfMorphismWithGivenBasisOfExternalHom
#652
opened Apr 4, 2021 by
kamalsaleh
Member
•
Draft
fixed bug in membership test_function
waiting for author
#636
opened Feb 23, 2021 by
mohamed-barakat
Member
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.