Fixing wrong order of arguments and docstring

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Make computation of Luxenburger's base parallel

using reducers

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Allow filter predicates in «intents» and «extents»

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Reimplement «frequent-closed-itemsets» in terms of «intents»

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

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

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
'Fixing' «improve-basic-order»

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

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Add «close-under-implications-1»

This function implements one application of a set of implications
to a given set, and might be useful if it is known that a set of
implications is direct

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Rewriting conditions for computing the arrow relation

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Implement «up-down-arrows» in terms of «up-arrows» and «down-arrows»

Seems cleaner this way (and is also a bit parallel, hooray!)

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Reimplemented arrow computation in terms of reducers

Tests succeed, and seem to take an equal amount of time.  It
remains to be checked how good these operations perform on
larger data sets, where parallelism can kick in.

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

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Restructuring conexp.contrib.algorithms, and adding parallel-canonical-base

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Removed some testing code from linclosure implementation

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

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

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

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