Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / homalg-project/cap_project issues and pull requests

#1715 - updated C(oc)losedMonoidalCategoriesTest

Pull Request - State: closed - Opened by mohamed-barakat about 1 month ago - 1 comment

#1714 - fixed TerminalCategoryCocartesian.tst

Pull Request - State: closed - Opened by mohamed-barakat about 2 months ago - 1 comment

#1713 - enhanced TerminalCategoryWithMultipleObjects

Pull Request - State: closed - Opened by mohamed-barakat about 2 months ago - 1 comment

#1712 - fixed (Left)C(oc)losedMonoidalCategoriesTestWithGiven

Pull Request - State: closed - Opened by mohamed-barakat about 2 months ago - 1 comment

#1711 - CapJitAddTypeSignature( "Union2", ... )

Pull Request - State: closed - Opened by mohamed-barakat 2 months ago - 1 comment

#1710 - added missing output_*_getter*

Pull Request - State: closed - Opened by mohamed-barakat 2 months ago - 1 comment

#1487 - improved/fixed CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsAbelianCategory

Pull Request - State: open - Opened by mohamed-barakat over 1 year ago - 1 comment

#1473 - LiftAlongMonomorphism/ColiftAlongEpimorphism

Issue - State: open - Opened by mohamed-barakat over 1 year ago - 12 comments

#364 - Update todo for GradedModulesForFreyd

Pull Request - State: closed - Opened by HereAround over 5 years ago - 1 comment

#363 - Update examples and tests

Pull Request - State: closed - Opened by HereAround over 5 years ago

#362 - Add FrobiniusPower for FPGradedModuleObject

Pull Request - State: closed - Opened by HereAround over 5 years ago - 1 comment

#361 - Add natural transformation for graded modules by Freyd category

Pull Request - State: closed - Opened by HereAround over 5 years ago - 1 comment

#360 - Add functors for GradedModules by Freyd category

Pull Request - State: closed - Opened by HereAround over 5 years ago - 1 comment

#359 - Add embedding and best approximation functors for Freyd category

Pull Request - State: closed - Opened by HereAround over 5 years ago - 1 comment

#314 - Diagrams for docu of monoidal categories

Pull Request - State: closed - Opened by HereAround almost 6 years ago - 1 comment

#100 - added missing rules in PropositionsForAdditiveCategories.tex

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago

#100 - added missing rules in PropositionsForAdditiveCategories.tex

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago

#99 - Code in GradedModulePresentationsForCAP not loadable

Pull Request - State: closed - Opened by sebastianpos over 7 years ago - 1 comment

#99 - Code in GradedModulePresentationsForCAP not loadable

Pull Request - State: closed - Opened by sebastianpos over 7 years ago - 1 comment

#97 - Made argument_list contain all arguments

Pull Request - State: closed - Opened by sebasguts over 7 years ago - 1 comment

#97 - Made argument_list contain all arguments

Pull Request - State: closed - Opened by sebasguts over 7 years ago - 1 comment

#96 - TensorProductOnMorphismsWithGivenTensorProducts in AttributeCategoryForCAP

Issue - State: closed - Opened by mohamed-barakat over 7 years ago - 11 comments

#96 - TensorProductOnMorphismsWithGivenTensorProducts in AttributeCategoryForCAP

Issue - State: closed - Opened by mohamed-barakat over 7 years ago - 11 comments

#95 - Missing properties of injection_of_cofactor and projection_in_factor

Issue - State: open - Opened by mohamed-barakat over 7 years ago - 2 comments

#95 - Missing properties of injection_of_cofactor and projection_in_factor

Issue - State: open - Opened by mohamed-barakat over 7 years ago - 2 comments

#94 - Propositions for additive categories

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago - 2 comments

#94 - Propositions for additive categories

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago - 2 comments

#93 - New component functorial

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago - 4 comments

#93 - New component functorial

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago - 4 comments

#92 - missing returns in two Coproduct methods

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago

#92 - missing returns in two Coproduct methods

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago

#91 - Renamed kernel object functorial

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago - 2 comments

#91 - Renamed kernel object functorial

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago - 2 comments

#90 - Use id func

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago

#90 - Use id func

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago

#89 - missing returns in two Coproduct methods

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago

#89 - missing returns in two Coproduct methods

Pull Request - State: closed - Opened by mohamed-barakat over 7 years ago

#88 - ToricSheaves depends on GradedModulePresentationsForCAP

Issue - State: closed - Opened by sebastianpos over 7 years ago

#88 - ToricSheaves depends on GradedModulePresentationsForCAP

Issue - State: closed - Opened by sebastianpos over 7 years ago

#85 - Colift -> ColiftAlongEpimorphism in AttributeCategoryForCAP?

Issue - State: closed - Opened by mohamed-barakat almost 8 years ago - 2 comments

#85 - Colift -> ColiftAlongEpimorphism in AttributeCategoryForCAP?

Issue - State: closed - Opened by mohamed-barakat almost 8 years ago - 2 comments

#84 - IsWellDefined in MatrixCategory

Pull Request - State: closed - Opened by HereAround almost 8 years ago - 2 comments

#84 - IsWellDefined in MatrixCategory

Pull Request - State: closed - Opened by HereAround almost 8 years ago - 2 comments

#82 - Kamal and mohamed all

Pull Request - State: closed - Opened by mohamed-barakat almost 8 years ago

#82 - Kamal and mohamed all

Pull Request - State: closed - Opened by mohamed-barakat almost 8 years ago

#81 - This pull request is for discussion.

Pull Request - State: closed - Opened by mohamed-barakat almost 8 years ago - 1 comment

#81 - This pull request is for discussion.

Pull Request - State: closed - Opened by mohamed-barakat almost 8 years ago - 1 comment

#80 - General Lift and Colift methods are added to the

Pull Request - State: closed - Opened by kamalsaleh almost 8 years ago

#80 - General Lift and Colift methods are added to the

Pull Request - State: closed - Opened by kamalsaleh almost 8 years ago

#79 - InternalHomOnMorphisms when source or range is the zero object doesn't work

Issue - State: closed - Opened by kamalsaleh almost 8 years ago - 1 comment

#79 - InternalHomOnMorphisms when source or range is the zero object doesn't work

Issue - State: closed - Opened by kamalsaleh almost 8 years ago - 1 comment

#78 - The big Sebastian & Sebastian CAP merge

Pull Request - State: closed - Opened by sebasguts almost 8 years ago

#78 - The big Sebastian & Sebastian CAP merge

Pull Request - State: closed - Opened by sebasguts almost 8 years ago

#77 - added rule IsIsomorphism( a ) => IsIsomorphism( Inverse( a ) )

Pull Request - State: closed - Opened by mohamed-barakat over 8 years ago - 4 comments

#77 - added rule IsIsomorphism( a ) => IsIsomorphism( Inverse( a ) )

Pull Request - State: closed - Opened by mohamed-barakat over 8 years ago - 4 comments

#76 - added IsZero to PROPAGATION_LIST_FOR_EQUAL_MORPHISMS

Pull Request - State: closed - Opened by mohamed-barakat over 8 years ago

#76 - added IsZero to PROPAGATION_LIST_FOR_EQUAL_MORPHISMS

Pull Request - State: closed - Opened by mohamed-barakat over 8 years ago

#75 - Added IsZero to PROPAGATION_LIST_FOR_EQUAL_MORPHISMS

Pull Request - State: closed - Opened by mohamed-barakat over 8 years ago - 4 comments

#75 - Added IsZero to PROPAGATION_LIST_FOR_EQUAL_MORPHISMS

Pull Request - State: closed - Opened by mohamed-barakat over 8 years ago - 4 comments

#74 - propagate properties of natural transformations to their components

Issue - State: open - Opened by mohamed-barakat over 8 years ago
Labels: enhancement

#74 - propagate properties of natural transformations to their components

Issue - State: open - Opened by mohamed-barakat over 8 years ago
Labels: enhancement

#73 - NaturalIsomorphismFromIdentityToLessGeneratorsLeft/Right

Pull Request - State: closed - Opened by mohamed-barakat over 8 years ago

#73 - NaturalIsomorphismFromIdentityToLessGeneratorsLeft/Right

Pull Request - State: closed - Opened by mohamed-barakat over 8 years ago

#72 - NaturalIsomorphismFromIdentityToLessGeneratorsLeft/Right

Pull Request - State: closed - Opened by mohamed-barakat over 8 years ago

#72 - NaturalIsomorphismFromIdentityToLessGeneratorsLeft/Right

Pull Request - State: closed - Opened by mohamed-barakat over 8 years ago

#71 - GAP version dependency not consistent with code

Issue - State: closed - Opened by oysteins over 8 years ago - 3 comments
Labels: bug

#71 - GAP version dependency not consistent with code

Issue - State: closed - Opened by oysteins over 8 years ago - 3 comments
Labels: bug

#70 - Identity functor

Issue - State: closed - Opened by oysteins over 8 years ago - 1 comment

#70 - Identity functor

Issue - State: closed - Opened by oysteins over 8 years ago - 1 comment

#69 - Cleanup makedoc.g files

Pull Request - State: closed - Opened by fingolfin almost 9 years ago - 2 comments

#69 - Cleanup makedoc.g files

Pull Request - State: closed - Opened by fingolfin almost 9 years ago - 2 comments

#68 - Update release script

Issue - State: closed - Opened by fingolfin almost 9 years ago - 2 comments

#68 - Update release script

Issue - State: closed - Opened by fingolfin almost 9 years ago - 2 comments

#67 - two argument ListPrimitivelyInstalledOperationsOfCategory and ListInstalledOperationsOfCategory

Issue - State: open - Opened by mohamed-barakat about 9 years ago - 8 comments
Labels: enhancement, wontfix

#67 - two argument ListPrimitivelyInstalledOperationsOfCategory and ListInstalledOperationsOfCategory

Issue - State: open - Opened by mohamed-barakat about 9 years ago - 8 comments
Labels: enhancement, wontfix

#66 - Challenge: Can you perform any actual computations in group (co)homology?

Issue - State: open - Opened by fingolfin about 9 years ago - 2 comments

#66 - Challenge: Can you perform any actual computations in group (co)homology?

Issue - State: open - Opened by fingolfin about 9 years ago - 2 comments

#65 - typo: do get -> to get

Pull Request - State: closed - Opened by mohamed-barakat about 9 years ago

#65 - typo: do get -> to get

Pull Request - State: closed - Opened by mohamed-barakat about 9 years ago

#64 - two times: x2 (confusing) -> 2x (standard)

Pull Request - State: closed - Opened by mohamed-barakat about 9 years ago - 1 comment

#63 - PackageInfo.g

Issue - State: closed - Opened by olexandr-konovalov about 9 years ago - 4 comments

#63 - PackageInfo.g

Issue - State: closed - Opened by olexandr-konovalov about 9 years ago - 4 comments

#62 - Changing status of packages

Issue - State: closed - Opened by olexandr-konovalov about 9 years ago - 1 comment

#62 - Changing status of packages

Issue - State: closed - Opened by olexandr-konovalov about 9 years ago - 1 comment

#61 - Lift and IsWellDefined in MatrixCategory

Pull Request - State: closed - Opened by HereAround about 9 years ago - 1 comment

#61 - Lift and IsWellDefined in MatrixCategory

Pull Request - State: closed - Opened by HereAround about 9 years ago - 1 comment

#60 - fix: a "mono morphism", etc.

Issue - State: closed - Opened by mohamed-barakat over 9 years ago - 1 comment

#60 - fix: a "mono morphism", etc.

Issue - State: closed - Opened by mohamed-barakat over 9 years ago - 1 comment

#59 - Renaming Coimage

Issue - State: closed - Opened by sebastianpos over 9 years ago - 1 comment

#57 - Draw Diagrams in Manual

Issue - State: closed - Opened by sebastianpos over 9 years ago
Labels: enhancement

#57 - Draw Diagrams in Manual

Issue - State: closed - Opened by sebastianpos over 9 years ago
Labels: enhancement

#56 - Theorems for Congruent Morphisms

Issue - State: open - Opened by sebasguts over 9 years ago