Skip to content

Pull requests: homalg-project/CAP_project

New pull request New
13 Open 1,483 Closed
13 Open 1,483 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update example in LinearAlgebraForCAP to avoid whitespaces issues while testing in Julia
#1797 opened Sep 12, 2025 by kamalsaleh Loading…
Add ViewString/DisplayString for CAP functors
#1795 opened Aug 28, 2025 by kamalsaleh Loading…
Distinguish between small and big integers
#1762 opened Jul 2, 2025 by mohamed-barakat • Draft
4
Choose hom(B,C) = C ⊗ B^v instead of B^v ⊗ C
#1501 opened Nov 7, 2023 by zickgraf • Draft
2
derived ImageEmbedding as the colift along the coastriction to image
#1495 opened Oct 17, 2023 by mohamed-barakat Loading…
7
WithGivens for monoidal and (co)cartesian derivations
#1494 opened Oct 17, 2023 by TKuh Loading…
5
Add UniversalPropertyOf(Co)DualWithGiven(Co)DualObject
#1488 opened Oct 6, 2023 by TKuh Loading…
1
AddDerivationToCAP( MorphismFromCoimageToImageWithGivenObjects, ... )
#1479 opened Oct 4, 2023 by mohamed-barakat Loading…
3
installed derivations for Abelian categories waiting for author
#1211 opened Dec 19, 2022 by mohamed-barakat Loading…
9
CapJitAddTypeSignature( "LazyArray", [ IsInt, IsFunction ], ... )
#1023 opened Sep 5, 2022 by mohamed-barakat • Draft
1
Compile more operations in ModulePresentationsForCAP
#932 opened Jun 12, 2022 by TKuh Loading…
17
Install BasisOfExternalHom & CoefficientsOfMorphismWithGivenBasisOfExternalHom
#652 opened Apr 4, 2021 by kamalsaleh • Draft
1
fixed bug in membership test_function waiting for author
#636 opened Feb 23, 2021 by mohamed-barakat Loading…
9
ProTip! Filter pull requests by the default branch with base:master.