Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / homalg-project/locales issues and pull requests
#101 - renamed local variable: A_B -> minuend_subtrahend_pair
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#101 - renamed local variable: A_B -> minuend_subtrahend_pair
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#100 - split NormalizedMinuendAndSubtrahendInUnderlyingHeytingOrCoHeytingAlgebra
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
#100 - split NormalizedMinuendAndSubtrahendInUnderlyingHeytingOrCoHeytingAlgebra
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
#99 - renamed PairInUnderlying* -> MinuendAndSubtrahendInUnderlying*
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
#99 - renamed PairInUnderlying* -> MinuendAndSubtrahendInUnderlying*
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
#98 - do not add methods for morphisms in CreateProsetOrPosetOfCategory
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#98 - do not add methods for morphisms in CreateProsetOrPosetOfCategory
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#97 - Adjust to https://github.com/homalg-project/CAP_project/pull/1073
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#97 - Adjust to https://github.com/homalg-project/CAP_project/pull/1073
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#96 - Convert various Add* methods into proper derivations
Pull Request -
State: closed - Opened by TKuh about 2 years ago
- 2 comments
#96 - Convert various Add* methods into proper derivations
Pull Request -
State: closed - Opened by TKuh about 2 years ago
- 2 comments
#95 - replaced List by ListOfObjectsInMeetSemilatticeOfMultipleDifferences
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
#95 - replaced List by ListOfObjectsInMeetSemilatticeOfMultipleDifferences
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
#94 - deleted obsolete UnionOfMultipleDifferencesOfNormalizedObjects
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#94 - deleted obsolete UnionOfMultipleDifferencesOfNormalizedObjects
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#93 - relocated code
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#93 - relocated code
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#92 - deleted obsolete AsMultipleDifferenceOfNormalizedObjects
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#92 - deleted obsolete AsMultipleDifferenceOfNormalizedObjects
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#91 - Adjust to https://github.com/homalg-project/homalg_project/pull/527
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 2 comments
#91 - Adjust to https://github.com/homalg-project/homalg_project/pull/527
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 2 comments
#90 - added relaxed version of existing derivations with more general CategoryFilter
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#90 - added relaxed version of existing derivations with more general CategoryFilter
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#89 - introduced the doctrines of the existing categorical properties
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#89 - introduced the doctrines of the existing categorical properties
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#88 - got rid of AsSingleDifference in IsInitial
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#88 - got rid of AsSingleDifference in IsInitial
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#87 - simplified internal data structure of multiple differences
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#86 - Revert "removed obsolete compiled code"
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 2 comments
#86 - Revert "removed obsolete compiled code"
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 2 comments
#85 - started making MultipleDifferences compilable with the old data structure
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#85 - started making MultipleDifferences compilable with the old data structure
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#84 - made UniqueMorphism its own dual_operation
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#84 - made UniqueMorphism its own dual_operation
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#83 - Add more type information
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#82 - use test_object instead of Source( tau[1] )/Range( tau[1] )
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#82 - use test_object instead of Source( tau[1] )/Range( tau[1] )
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#81 - turned Add-methods for prosets into derivations
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#81 - turned Add-methods for prosets into derivations
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#80 - turned UniqueMorphism into a CAP operation
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#80 - turned UniqueMorphism into a CAP operation
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#79 - removed obsolete compiled code
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 4 comments
#79 - removed obsolete compiled code
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 4 comments
#78 - CapJitAddTypeSignature( "ListOfObjectsInMeetSemilatticeOfDifferences", ... )
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#78 - CapJitAddTypeSignature( "ListOfObjectsInMeetSemilatticeOfDifferences", ... )
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#77 - added missing property IsLocallyClosed
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#77 - added missing property IsLocallyClosed
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#76 - IsObjectInMeetSemilatticeOf*Differences now lies in the filter IsLocallyClosed
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#76 - IsObjectInMeetSemilatticeOf*Differences now lies in the filter IsLocallyClosed
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#75 - d&i a compilable constructor MultipleDifference
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#75 - d&i a compilable constructor MultipleDifference
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#74 - fully comply with https://github.com/homalg-project/CAP_project/pull/1040
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#74 - fully comply with https://github.com/homalg-project/CAP_project/pull/1040
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#73 - relocated code for better logical structure
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#73 - relocated code for better logical structure
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#72 - Clean up
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#72 - Clean up
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#71 - Turn UniqueMorphism into a CAP operation
Issue -
State: closed - Opened by mohamed-barakat about 2 years ago
- 5 comments
#71 - Turn UniqueMorphism into a CAP operation
Issue -
State: closed - Opened by mohamed-barakat about 2 years ago
- 5 comments
#70 - Adjust to https://github.com/homalg-project/CAP_project/pull/1040
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#70 - Adjust to https://github.com/homalg-project/CAP_project/pull/1040
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#69 - comply with CartesianCategories v2022.09-03
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#69 - comply with CartesianCategories v2022.09-03
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#68 - specialized derivations to IsDistributiveLattice
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#68 - specialized derivations to IsDistributiveLattice
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#67 - added missing categorical properties and derivations
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#67 - added missing categorical properties and derivations
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#65 - use Is(Co)cartesian(Co)closedCategory => Is(Co)cartesianCategory
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#65 - use Is(Co)cartesian(Co)closedCategory => Is(Co)cartesianCategory
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#64 - Fix CategoryFilter of two derivations
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#64 - Fix CategoryFilter of two derivations
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#63 - set categorical properties before adding methods
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
#63 - set categorical properties before adding methods
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
#62 - Remove workaround
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#62 - Remove workaround
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#61 - Use different hack for silencing warnings
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#61 - Use different hack for silencing warnings
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#60 - Silence warnings about wrong preconditions of derivations temporarily
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#60 - Silence warnings about wrong preconditions of derivations temporarily
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#59 - Fix precondition of a derivation
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#59 - Fix precondition of a derivation
Pull Request -
State: closed - Opened by zickgraf about 2 years ago
- 1 comment
#58 - IsHomSetInhabitedWithTypeCast now compilable
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#58 - IsHomSetInhabitedWithTypeCast now compilable
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#57 - applied PackageJanitor
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#57 - applied PackageJanitor
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#56 - Adjust to https://github.com/homalg-project/CAP_project/pull/984
Pull Request -
State: closed - Opened by zickgraf over 2 years ago
- 1 comment
#56 - Adjust to https://github.com/homalg-project/CAP_project/pull/984
Pull Request -
State: closed - Opened by zickgraf over 2 years ago
- 1 comment
#55 - fixed two invocations of UnionOfMultipleDifferences
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#55 - fixed two invocations of UnionOfMultipleDifferences
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#54 - Set `number_of_objectified_*_in_data_structure_of_*`
Pull Request -
State: closed - Opened by zickgraf over 2 years ago
- 1 comment
#54 - Set `number_of_objectified_*_in_data_structure_of_*`
Pull Request -
State: closed - Opened by zickgraf over 2 years ago
- 1 comment
#53 - comply with CompilerForCAP v2022.07-02
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#53 - comply with CompilerForCAP v2022.07-02
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#52 - got rid of BinaryDirectProduct in AddDirectProduct
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#52 - got rid of BinaryDirectProduct in AddDirectProduct
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#51 - d&i UnionOfListOfDifferences and UnionOfListOfMultipleDifferences
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#51 - d&i UnionOfListOfDifferences and UnionOfListOfMultipleDifferences
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#50 - declared and set UnderlyingMeetSemilatticeOfMultipleDifferences
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment
#50 - declared and set UnderlyingMeetSemilatticeOfMultipleDifferences
Pull Request -
State: closed - Opened by mohamed-barakat over 2 years ago
- 1 comment