Docstring for conexp.contrib.algorithms

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Deleted parallel-canonical-base

it's not really parallel anyway

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Moved optimized concept computation algorithms to c.c.algorithms

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Removed unnecessary dependency to clojure.core.reducers

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Copy code of canonical-base implementation to c.c.algorithms

To optimize it there

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Removed test-cases for parallel-canonical-base

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Adjusting tests for conexp.contrib.algorithms

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Dummy test case for canonical-base implementation

To detect regressions as early as possible

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Load canonical-base in conexp.contrib.algorithms

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Replace call to premise/conclusion by their getters

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Removed predicate

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Better output on failed test cases

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Use make-implication instead of direct call to Implication.

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Fast implementation of next-closure takes closure operator now

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
First fast version of canonical-base

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Minor modifications

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Don't clone too often

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Fixed some repl-compilation artifacts

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Removed unnecessary argument from next-closed-set

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Use flag to find when implicational closure is done

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>