• HASE

  • Referenced in 4 articles [sw28026]
  • HASE - Holes in Affine Semigroups. HASE is a computer programm that determines the holes ... pointed) affine semigroups. The software is written in Python and is dependent on Normaliz , Macaulay2...
  • libsemigroups

  • Referenced in 2 articles [sw19657]
  • libsemigroups - C++ library for semigroups and monoids. This is the source code documentation for libsemigroups ... standard. libsemigroups is a C++ library for semigroups and monoids; it is partly based ... Algorithms for computing finite semigroups, Expository Slides, and Semigroupe 2.01 by Jean-Eric ... libsemigroups library is used in the Semigroups package for GAP. The development version is available...
  • RGD-algorithm

  • Referenced in 2 articles [sw34886]
  • algorithm to compute the number of numerical semigroups of each given genus ... right-generators descendant of a numerical semigroup. For a numerical semigroup, we encode ... corresponding sets for its children in the semigroup tree. This allows us to present ... second nonzero element of a numerical semigroup and the particular pseudo-ordinary case in which...
  • Automata

  • Referenced in 2 articles [sw19148]
  • manipulates finites state machines and their syntactic semigroups. A number of operations on one-dimensional ... using Hopcroft’s algorithm, generation of syntactic semigroups with D-class decomposition. The C++ code ... code allows one to generate machines and/or semigroups with several 10000 elements...
  • classifyci.lib

  • Referenced in 2 articles [sw20407]
  • characteristic 0 and for computing weierstrass semigroup of the space curve.Isolated complete intersection singularities were ... field of characteristic 0. Algorithm for the semigroup of a space curve singularity is given...
  • StdPairs

  • Referenced in 2 articles [sw42042]
  • pairs of monomial ideals over nonnormal affine semigroups in SageMath. We present StdPairs, a SageMath ... monomial ideal over a pointed (nonnormal) affine semigroup ring. Moreover, StdPairs provides the associated prime...
  • XSSR

  • Referenced in 3 articles [sw02306]
  • computer algebra system for combinatorial group and semigroup theory. It is intended for effectively performing...
  • cimonom

  • Referenced in 3 articles [sw10946]
  • integer which is in a semigroup of positive integers. The procedures are based...
  • multiplex

  • Referenced in 3 articles [sw16370]
  • combine algebraic systems like the partially ordered semigroup or the semiring structure together with...
  • NumericalSemigroupsWithFrobeniusNumber

  • Referenced in 1 article [sw06892]
  • Constructing numerical semigroups from others 5.1 Adding and removing elements of a numerical semigroup ... show how to construct new numerical semigroups from a given numerical semigroup. Two dual operations ... removes a minimal generator from a numerical semigroup. The second adds a special ... semigroup...
  • SubSemi

  • Referenced in 1 article [sw22009]
  • SubSemi: GAP package for enumerating subsemigroups of semigroup, deciding isomorphisms and constructing embeddings. The algorithms ... assume that the elements of the semigroups can be fully calculated, therefore their applicability ... limited to relatively small semigroups. The original motivation for developing the package was the computational ... enumeration of transformation semigroups up to degree 4. Instructions for recomputing those results...
  • Semigroups

  • Referenced in 1 article [sw20999]
  • Semigroups, a tool to develop harmonic analysis for general Laplacians. In this note we introduce ... semigroup language as a natural tool to develop a Harmonic Analysis associated to general Laplacians ... order to motivate the introduction of semigroups. The case of the discrete Laplacian...
  • Citrus

  • Referenced in 1 article [sw08362]
  • Citrus package version 0.9999 for computing with semigroups of transformations and partial permutations. Citrus ... efficient than any other software) for creating semigroups of transformations and partial permutations, calculating their ... also methods for testing if a semigroup satisfies a particular property, such ... commonly used GAP library functions related to semigroups, and functions to read and write large...
  • Smalloverlap

  • Referenced in 1 article [sw08582]
  • package for small overlap monoids and semigroups. SmallOverlap is a GAP package for computing with ... monoids and semigroups given by finite presentations satisfying small overlap conditions of the kind introduced ... solve the word problem for monoid and semigroup presentations satisfying the condition...
  • AXIOMS

  • Referenced in 2 articles [sw02217]
  • construction and analysis of finite quasigroups, semigroups and related structures This paper presents...
  • KAD

  • Referenced in 2 articles [sw32231]
  • Isabelle/HOL that ranges from domain and antidomain semigroups to modal Kleene algebras and divergence Kleene...
  • JULIA

  • Referenced in 1 article [sw07660]
  • function. 2) Julia sets of rational semigroups. 3) Attractor sets of an Iterated Function System ... finite order) of any function or semigroup of the allowable map types. 6) Forward...
  • LANGAGEA

  • Referenced in 1 article [sw15338]
  • Maple packages for processing automata and finite semigroups...
  • CONTRACTIONS

  • Referenced in 1 article [sw17828]
  • representations. The algorithm applies to any grading semigroup which is finite and abelian...