homalg-project/cap_project issues and pull requests

#46 - The category IsCapCategoryCell not documented

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

#46 - The category IsCapCategoryCell not documented

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

#45 - function defined in loop

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

#45 - function defined in loop

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

#44 - Docu: CreateCapCategory

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

#43 - (arg)

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

#43 - (arg)

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

#42 - (Explain) why is ObjectFilter etc. an attribute?

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

#41 - Use only CAP operations in Derivations

Issue - State: closed - Opened by sebasguts over 9 years ago - 1 comment
Labels: wontfix

#41 - Use only CAP operations in Derivations

Issue - State: closed - Opened by sebasguts over 9 years ago - 1 comment
Labels: wontfix

#40 - Groupoid interpretation

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

#40 - Groupoid interpretation

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

#39 - IsEqualForObjects in ModulePresentationsForCAP

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

#39 - IsEqualForObjects in ModulePresentationsForCAP

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

#38 - Lift/ Colift

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

#38 - Lift/ Colift

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

#37 - Finalize method for categories

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

#37 - Finalize method for categories

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

#36 - [CLOSED] Only use a single CAP-project repository

Issue - State: closed - Opened by sebasguts over 9 years ago - 6 comments
Labels: enhancement, question

#35 - Special partial methods should be part of the method record

Issue - State: closed - Opened by sebasguts over 9 years ago - 1 comment
Labels: wontfix

#35 - Special partial methods should be part of the method record

Issue - State: closed - Opened by sebasguts over 9 years ago - 1 comment
Labels: wontfix

#34 - Install Propositions for all categories

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

#34 - Install Propositions for all categories

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

#33 - Rename IsDerivation -> IsDerivedMethod

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

#33 - Rename IsDerivation -> IsDerivedMethod

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

#32 - [CLOSED] Documentation for derivations

Issue - State: closed - Opened by sebasguts over 9 years ago - 3 comments

#32 - [CLOSED] Documentation for derivations

Issue - State: closed - Opened by sebasguts over 9 years ago - 3 comments

#31 - Levels in documentation

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

#31 - Levels in documentation

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

#30 - Provide tutorial

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

#30 - Provide tutorial

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

#29 - Documentation of Add-Methods

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

#28 - Provide exception handling for basic operations

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

#28 - Provide exception handling for basic operations

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

#27 - Write a general Add-Method

Issue - State: closed - Opened by sebasguts over 9 years ago - 2 comments
Labels: enhancement

#27 - Write a general Add-Method

Issue - State: closed - Opened by sebasguts over 9 years ago - 2 comments
Labels: enhancement

#26 - Every derived method should be created using MakeDerivation

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

#26 - Every derived method should be created using MakeDerivation

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

#25 - Data structures for complexes

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

#25 - Data structures for complexes

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

#24 - Propagate IsAbelian to deductive system

Issue - State: closed - Opened by sebasguts over 9 years ago - 1 comment
Labels: enhancement, wontfix

#24 - Propagate IsAbelian to deductive system

Issue - State: closed - Opened by sebasguts over 9 years ago - 1 comment
Labels: enhancement, wontfix

#23 - Predicate Lists

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

#23 - Predicate Lists

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

#22 - [CLOSED] DirectProduct/ Coproduct

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

#22 - [CLOSED] DirectProduct/ Coproduct

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

#21 - [CLOSED] IsEqualForObjects

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

#21 - [CLOSED] IsEqualForObjects

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

#20 - [CLOSED] Add IsTerminal and IsInitial

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

#20 - [CLOSED] Add IsTerminal and IsInitial

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

#19 - More automation in creating the deduction layer

Issue - State: closed - Opened by sebasguts over 9 years ago - 2 comments
Labels: wontfix

#19 - More automation in creating the deduction layer

Issue - State: closed - Opened by sebasguts over 9 years ago - 2 comments
Labels: wontfix

#18 - [CLOSED] Remove products as input for operations (exept functors)

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

#18 - [CLOSED] Remove products as input for operations (exept functors)

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

#17 - [CLOSED] Make operation names unique

Issue - State: closed - Opened by sebasguts over 9 years ago - 1 comment
Labels: bug

#17 - [CLOSED] Make operation names unique

Issue - State: closed - Opened by sebasguts over 9 years ago - 1 comment
Labels: bug

#16 - Ranking of methods

Issue - State: closed - Opened by sebasguts over 9 years ago - 1 comment
Labels: bug

#16 - Ranking of methods

Issue - State: closed - Opened by sebasguts over 9 years ago - 1 comment
Labels: bug

#15 - Convenience for InjectionOfCofactor and ProjectionIntoFactor

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

#14 - [CLOSED] IsIsomorphism && Pullback -> IsMonomorphism (and dual)

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

#14 - [CLOSED] IsIsomorphism && Pullback -> IsMonomorphism (and dual)

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

#13 - [CLOSED] Rename global variables: HOMALG_CATEGORIES* -> CATEGORIES_FOR_HOMALG*

Issue - State: closed - Opened by sebasguts over 9 years ago
Labels: bug

#13 - [CLOSED] Rename global variables: HOMALG_CATEGORIES* -> CATEGORIES_FOR_HOMALG*

Issue - State: closed - Opened by sebasguts over 9 years ago
Labels: bug

#12 - NonZeroGenerators as functor

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

#12 - NonZeroGenerators as functor

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

#11 - horizontal composition of natural transformations

Issue - State: closed - Opened by sebasguts over 9 years ago - 2 comments
Labels: enhancement

#10 - Inverse of natural isomorphism

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

#9 - Proper implementation of image and coimage

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

#8 - Make propagation list for Opposite/Product category up to date

Issue - State: closed - Opened by sebasguts over 9 years ago
Labels: bug, enhancement

#7 - [CLOSED] Derive morphism to/from inital/terminal object from zero morphism

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

#6 - Implementation of complexes

Issue - State: closed - Opened by sebasguts over 9 years ago - 3 comments
Labels: enhancement

#5 - Derived algorithms for Serre quotients

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

#4 - Intelligent data structure for modules.

Issue - State: closed - Opened by sebasguts over 9 years ago - 3 comments
Labels: enhancement, help wanted

#3 - [CLOSED] Data structure of generalized morphisms

Issue - State: closed - Opened by sebasguts over 9 years ago
Labels: enhancement, help wanted, question

#2 - [CLOSED] Implement connecting morphism in snake lemma

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

#1 - [CLOSED] Implement generalized inverse for three arrow calculus

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

GitHub / homalg-project/cap_project issues and pull requests