Semigroups icon indicating copy to clipboard operation
Semigroups copied to clipboard

Published 20 hours ago • verified publisher icon semigroups

Closure algorithms delete information from LambdaOrb

Open ssiccha opened this issue 7 years ago • 3 comments

Methods installed for ClosureInverseSemigroupOrMonoidNC "remove everything related to strongly connected components". That information needs to be recomputed after a Closure* algorithm is called.

See here.

ssiccha avatar Jan 27 '18 13:01 ssiccha