Ecosyste.ms: Issues

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

GitHub / homalg-project/algebroids issues and pull requests

#243 - Adjust to https://github.com/homalg-project/CAP_project/pull/1233

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#242 - Explicitly set category_as_first_argument

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#241 - comply with FinSetsForCAP v2023.01-02

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

#240 - Adjust to recent changes

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 2 comments

#239 - Add an additional type signature

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#238 - Simplify compiler_hints.object/morphism_filter

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#237 - installed CategoryFromNerveData for IsCategoryFromDataTables

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

#236 - d&i CategoryFromDataTables for IsCategoryFromNerveData

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

#235 - d&i Size for IsCategoryFromNerveData/DataTables

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

#234 - d&i RelationsAmongGeneratingMorphisms

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

#233 - d&i CategoryFromNerveData/DataTables using IndicesOfGeneratingMorphisms

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

#232 - updated CategoryFromNerveDataHomStructureOnMorphismsPrecompiled.gi

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

#231 - Remove temporary hack to use QuiverRows in FreydCategoriesForCAP

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#230 - Do not read SubobjectLatticeFunctions.g from FreydCategoriesForCAP

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#229 - Size/Dimension can now return infinity

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

#228 - Adjust to https://github.com/homalg-project/CAP_project/pull/1199

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#227 - Import QuiverRows from FreydCategoriesForCAP

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 5 comments

#226 - comply with CAP v2022.12-03

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

#225 - used ReadPackageOnce in Precompile*.g files

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

#224 - distinguish between input attribute and method

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

#223 - Do not compile code twice and simplify checks that compiled code is loaded automatically

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 6 comments

#222 - Regression of 1b84eb5003eedd13e1c6b76278cd0a2d547488f6 (recursion depth trap)

Issue - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#221 - added missing category_attribute_names

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

#220 - Adjust to https://github.com/homalg-project/CAP_project/pull/1183

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

#219 - replace fail -> -1 as the attribute will be resolved

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

#218 - Adjust to https://github.com/homalg-project/CAP_project/pull/1183

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#216 - d&i OppositeCategory*

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

#214 - added missing IndicesOfGeneratingMorphisms to compiler_hints

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

#213 - d&s IndicesOfGeneratingMorphisms

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

#212 - DataTablesOfCategory is now a list of lists of lists of natural numbers

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

#211 - CategoryFromDataTables now takes the range of the HomStructure as 2nd argument

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

#210 - installed DataTablesOfCategory for IsFpCategory

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

#209 - relaxed filter of NerveTruncatedInDegree2Data

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

#208 - relaxed IsStringRep -> IsStringRep due to problems with GAP.jl

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

#207 - d&i CategoryFromDataTables

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

#206 - clean up

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

#205 - Prepare CategoryFromNerveData to replace FpCategory

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

#204 - bug in template or in EvalStringStrict

Issue - State: closed - Opened by mohamed-barakat about 2 years ago - 5 comments

#203 - added the homomorphism structure to CategoryFromNerveData

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

#202 - d&i CategoryFromNerveData

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

#201 - reading more logic influences the compilation of AdelmanCategory

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

#200 - comply with CAP v2022.11-25

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

#199 - Use fixed object size in benchmark

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 2 comments

#198 - Benchmark AdditiveClosureOfAlgebroid vs. QuiverRows in tests

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#197 - use flag precompiled_functions_added

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

#196 - comply with CAP v2022.11-17

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

#195 - Use IsCapFunctor instead of IsCapFunctorRep

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#194 - made code more readable by applying functions to skeletal finite sets

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

#193 - Adjust to https://github.com/homalg-project/CAP_project/pull/1147

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#192 - Adjust to https://github.com/homalg-project/CAP_project/pull/1133

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 3 comments

#191 - comply with CAP v2022.11.06

Pull Request - State: closed - Opened by kamalsaleh over 2 years ago - 1 comment

#190 - Some optimizations

Pull Request - State: open - Opened by kamalsaleh over 2 years ago

#189 - Remove dependency on LinearAlgebraForCAP

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#188 - d&i QuotientCategory

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

#187 - Adjust to https://github.com/homalg-project/CAP_project/pull/1116

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#186 - Adjust to https://github.com/homalg-project/CAP_project/pull/1110

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#185 - only install HomStructure when range_of_HomStructure is SkeletalFinSets

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

#184 - Adjust to https://github.com/homalg-project/CAP_project/pull/1108

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#182 - d&i NerveTruncatedInDegree2Data (compilable)

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

#180 - Adjust to https://github.com/homalg-project/CAP_project/pull/1103

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

#179 - SetBasisMorphismsByVertexIndex for IsFpCategory

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

#178 - Remove workaround for loading MatrixCategoryAsAdditiveClosureOfRingAsCategory

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#177 - Switch default range of hom structure to CategoryOfRows

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#176 - code clean up

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

#175 - comply to new way of calling EmbeddingOfEqualizer

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

#174 - SetDefiningPairOfUnderlyingQuiver( algebroid, ... )

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

#173 - OppositeAlgebroid now sets IsLinearClosureOfACategory

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

#172 - ObjectInFpCategory now caches

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

#171 - d&i BasisMorphismsByVertexIndex

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

#170 - Miscellaneous changes

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 3 comments

#169 - fixed type of SetOfObjects/SetOfGeneratingMorphisms for algebroids

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

#168 - Extract CoefficientsOfPaths from loops

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#167 - relocated code

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

#165 - Introduce QuiverVertexAsIdentityPath and allow to compile IsWellDefinedFor*

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 8 comments

#164 - fixed return-type of HomStructureOnBasisPaths in FpCategories.gd

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

#163 - got rid of obsolete Opposite methods

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

#162 - CapJitAddTypeSignature( "OppositeFpCategory", ... )

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

#161 - added missing method for rings which are not fields

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

#160 - improved BasisPathOfPathAlgebraBasisElement and used it in the code

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

#159 - CoefficientsOfPaths does not seem to need Representative

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

#158 - various small changes

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

#157 - simplified code in SimplicialCategoryTruncatedInDegree

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

#155 - Benchmark AdelmanCategory( AdditiveClosure( Algebroid ) ) vs. AdelmanCategory( QuiverRows )

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 4 comments

#154 - added four more LogicTemplate for future compilations

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

#152 - improved compilation of YonedaNaturalEpimorphisms

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

#151 - Remove obsolete comment

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

#150 - List( power, ... ) -> List( [ 0 .. Length( power ) - 1 ], ... )

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

#149 - Adjust to https://github.com/homalg-project/CAP_project/pull/1047

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#148 - converted List -> NTuple to improve compilation

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

#147 - made TruthMorphismOfTrueToSieveFunctorAndEmbedding compilable

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

#146 - d&i DefiningPairOfAQuiver and DefiningPairOfUnderlyingQuiver

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

#145 - YonedaNaturalEpimorphisms now takes the role of YonedaData

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

#143 - Add more type information

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#102 - d&i YonedaSourceFibrationAsNaturalTransformation

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

#101 - fixed functoriality in TruthMorphismOfTrueToSieveFunctorAndEmbedding

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