search

gap-packages / sgpdec

GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
https://gap-packages.github.io/sgpdec/
Other
18 stars 3 forks source link

Implemented essential dependency check. #26

Closed thomasgaozx closed 1 year ago

thomasgaozx commented 1 year ago

IdempotentsForSubset: exhaustively search given semigroup's idempotents whose image is the given subset. CheckEssentialDependency: Rhodes–Tilson complexity lower bound, see Symmetry structure in discretemodels of biochemicalsystems: natural subsystemsand the weak control hierarchyinanewmodelofcomputationdriven by interactions pg. 12

egri-nagy commented 1 year ago

Couple of things:

  1. Please put headers into the .gd and .gi files.
  2. Add a test file in the tst folder.