Sebastian Gutsche

Show unified stack traces

1

Develop a way to show stack traces of both Julia and GAP function call stacks in the right order when an error occurs.

Data structures for complexes

1

**Issue by [sebasguts](https://github.com/sebasguts)** _Monday Mar 30, 2015 at 10:15 GMT_ _Originally opened as https://github.com/sebasguts/CAP/issues/25_ --- There should be two more data structures for complexes. ## A recursive datastructure: One should...

Remodel derivation mechanism

1

Since several issued with the derivation mechanism popped up recently, there should be a complete remodeling of the derivation mechanism. The following topics should be adressed: * Derivations should only...

Example: If a category has a ZeroObject, MorphismFromZeroObject and MorphismFromInitialObject should compute congruent morphisms. If a theorem is installed for the later, a corresponding theorem should be installed for the...

To avoid errors, primitively adding a function a second time should only be allowed if there is some option like `Force := true` set.

**Issue by [sebasguts](https://github.com/sebasguts)** _Wednesday Apr 08, 2015 at 09:44 GMT_ _Originally opened as https://github.com/sebasguts/CAP/issues/31_ --- Use the `@SetLevel` command AutoDoc provides to create several layers of documentation, maybe User, technical,...

**Issue by [sebasguts](https://github.com/sebasguts)** _Thursday Apr 02, 2015 at 12:51 GMT_ _Originally opened as https://github.com/sebasguts/CAP/issues/28_ --- Implement the possibility to throw an exception inside a user given function. Those exception should...

**Issue by [sebastianpos](https://github.com/sebastianpos)** _Tuesday Nov 11, 2014 at 13:41 GMT_ _Originally opened as https://github.com/sebasguts/CAP/issues/23_ --- Maybe it is convenient to have lists with all predicates (of morphisms and objects) which...

**Issue by [sebastianpos](https://github.com/sebastianpos)** _Thursday Oct 23, 2014 at 09:45 GMT_ _Originally opened as https://github.com/sebasguts/CAP/issues/15_ --- InjectionOfCofactor should accept arbitrary many arguments, for example: InjectionOfCofactor( A, B, C, D, 3 );...