Search results

Special partial methods should be part of the method record

Status: Open.

#35 In sebasguts/CAP;

· sebasguts opened on Apr 9, 2015

Install Propositions for all categories

Status: Open.

#34 In sebasguts/CAP;

· sebasguts opened on Apr 9, 2015

Rename IsDerivation -> IsDerivedMethod

Status: Open.

#33 In sebasguts/CAP;

· sebasguts opened on Apr 9, 2015

Levels in documentation

Status: Open.

#31 In sebasguts/CAP;

· sebasguts opened on Apr 8, 2015

·  

Documentation

Provide tutorial

Status: Open.

#30 In sebasguts/CAP;

· sebasguts opened on Apr 8, 2015

·  

Documentation

Documentation of Add-Methods

Status: Open.

#29 In sebasguts/CAP;

· sebasguts opened on Apr 8, 2015

·  

Documentation

Provide exception handling for basic operations

enhancement

Status: Open.

#28 In sebasguts/CAP;

· sebasguts opened on Apr 2, 2015

Write a general Add-Method

enhancement

Status: Open.

#27 In sebasguts/CAP;

· sebastianpos opened on Apr 2, 2015

Every derived method should be created using MakeDerivation

enhancement

Status: Open.

#26 In sebasguts/CAP;

· sebastianpos opened on Apr 2, 2015

Data structures for complexes

Status: Open.

#25 In sebasguts/CAP;

· sebasguts opened on Mar 30, 2015

Propagate IsAbelian to deductive system

enhancement

Status: Open.

#24 In sebasguts/CAP;

· sebasguts opened on Nov 27, 2014

Predicate Lists

Status: Open.

#23 In sebasguts/CAP;

· sebastianpos opened on Nov 11, 2014