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

#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 over 7 years ago - 2 comments

#85 - Colift -> ColiftAlongEpimorphism in AttributeCategoryForCAP?

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

#84 - IsWellDefined in MatrixCategory

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

#84 - IsWellDefined in MatrixCategory

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

#82 - Kamal and mohamed all

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

#82 - Kamal and mohamed all

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

#81 - This pull request is for discussion.

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

#81 - This pull request is for discussion.

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

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

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

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

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

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

Issue - State: closed - Opened by kamalsaleh over 7 years ago - 1 comment

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

Issue - State: closed - Opened by kamalsaleh over 7 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 about 8 years ago - 4 comments

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

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

#76 - added IsZero to PROPAGATION_LIST_FOR_EQUAL_MORPHISMS

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

#76 - added IsZero to PROPAGATION_LIST_FOR_EQUAL_MORPHISMS

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

#75 - Added IsZero to PROPAGATION_LIST_FOR_EQUAL_MORPHISMS

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

#75 - Added IsZero to PROPAGATION_LIST_FOR_EQUAL_MORPHISMS

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

#74 - propagate properties of natural transformations to their components

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

#74 - propagate properties of natural transformations to their components

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

#73 - NaturalIsomorphismFromIdentityToLessGeneratorsLeft/Right

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

#73 - NaturalIsomorphismFromIdentityToLessGeneratorsLeft/Right

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

#72 - NaturalIsomorphismFromIdentityToLessGeneratorsLeft/Right

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

#72 - NaturalIsomorphismFromIdentityToLessGeneratorsLeft/Right

Pull Request - State: closed - Opened by mohamed-barakat about 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 over 8 years ago - 2 comments

#69 - Cleanup makedoc.g files

Pull Request - State: closed - Opened by fingolfin over 8 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 almost 9 years ago - 8 comments
Labels: enhancement, wontfix

#67 - two argument ListPrimitivelyInstalledOperationsOfCategory and ListInstalledOperationsOfCategory

Issue - State: open - Opened by mohamed-barakat almost 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 almost 9 years ago - 2 comments

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

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

#65 - typo: do get -> to get

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

#65 - typo: do get -> to get

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

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

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

#63 - PackageInfo.g

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

#63 - PackageInfo.g

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

#62 - Changing status of packages

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

#62 - Changing status of packages

Issue - State: closed - Opened by olexandr-konovalov almost 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 about 9 years ago - 1 comment

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

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

#59 - Renaming Coimage

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

#57 - Draw Diagrams in Manual

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

#57 - Draw Diagrams in Manual

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

#56 - Theorems for Congruent Morphisms

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

#55 - Printing Graph

Issue - State: open - Opened by mohamed-barakat about 9 years ago

#55 - Printing Graph

Issue - State: open - Opened by mohamed-barakat about 9 years ago

#54 - output type of Lift is wrong in ref manual

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

#53 - Calling CreateCapCategory multiple times with same argument

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

#52 - MorphismToBidual (with given range) documentation issue.

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

#51 - ViewObj does not indicated zero morphisms

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

#51 - ViewObj does not indicated zero morphisms

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

#50 - ZeroMorphism not documented

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

#50 - ZeroMorphism not documented

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

#49 - UniversalMorphismFromZeroObjectWithGivenZeroObject

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

#49 - UniversalMorphismFromZeroObjectWithGivenZeroObject

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

#47 - CanCompute properties in objects

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

#47 - CanCompute properties in objects

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