Skip to content
New pull request New
20 Open 635 Closed
20 Open 635 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
enhanced method record entries
#814 opened Jan 26, 2022 by mohamed-barakat • Changes requested
6
AddObjectDatum/AddMorphismDatum in AdditiveClosure
#800 opened Dec 27, 2021 by mohamed-barakat • Review required
3
d&i CategoryOf(Rows/Columns)Attr as option to avoid constructing CategoryOfRows/Columns multiple times
#689 opened Jul 21, 2021 by kamalsaleh • Review required
1
Install BasisOfExternalHom & CoefficientsOfMorphismWithGivenBasisOfExternalHom
#652 opened Apr 4, 2021 by kamalsaleh • Draft
1
Add final derivation for homomorphism structure using BasisOfExternalHom & CoefficientsOfMorphism
#645 opened Mar 6, 2021 by kamalsaleh • Draft
1
fixed bug in membership test_function
#636 opened Feb 23, 2021 by mohamed-barakat • Review required
9
Remove final derivations regarding equality
discussion needed
#621 opened Nov 6, 2020 by zickgraf • Draft
1
Relax type checks in pre functions
#620 opened Nov 6, 2020 by zickgraf • Review required
1
Random methods for additive closures
#479 opened Feb 22, 2020 by kamalsaleh • Draft
1
Update todo for GradedModulesForFreyd
#364 opened Jun 22, 2019 by HereAround • Review required
1
Update examples and tests
#363 opened Jun 22, 2019 by HereAround • Review required
Add FrobiniusPower for FPGradedModuleObject
#362 opened Jun 22, 2019 by HereAround • Review required
1
Add natural transformation for graded modules by Freyd category
#361 opened Jun 22, 2019 by HereAround • Review required
1
Add functors for GradedModules by Freyd category
#360 opened Jun 22, 2019 by HereAround • Review required
1
Add embedding and best approximation functors for Freyd category
#359 opened Jun 22, 2019 by HereAround • Review required
1
Display func for cap morphism
#344 opened Jun 5, 2019 by sebasguts • Review required
Diagrams for docu of monoidal categories
#314 opened Apr 9, 2019 by HereAround • Review required
1
Adding random methods to the category of graded left/right presentations over graded homalg ring.
#289 opened Mar 26, 2019 by kamalsaleh • Draft
Adding random methods to the category of left/right presentations over homalg ring.
#288 opened Mar 26, 2019 by kamalsaleh • Draft
1
Adding random methods to the matrix category of a homalg field.
#287 opened Mar 26, 2019 by kamalsaleh • Changes requested
15
ProTip! Exclude everything labeled bug with -label:bug.