CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
############################################################################
##
#W  basicsViz.gd                           Manuel Delgado <[email protected]>
#W                                      Jose Morais    <[email protected]>
##
#H  @(#)$Id: basicsViz.gd,v 0.998 $
##
#Y  Copyright (C)  2005,  CMUP, Universidade do Porto, Portugal
##
##
###########################################################################

DeclareProperty("HasCommutingIdempotents", IsSemigroup);

if not IsBound(IsInverseSemigroup) then
    DeclareProperty("IsInverseSemigroup", IsSemigroup);
fi;

DeclareGlobalFunction( "PartialTransformation" );

DeclareAttribute( "SmallGeneratingSetForSemigroups", IsSemigroup );

DeclareGlobalFunction( "ReduceNumberOfGenerators" );

###########################################################################
##
#F RightCayleyGraphAsAutomaton
##
## Computes the right Cayley graph of a finite monoid or semigroup. It uses the GAP 
## buit-in function CayleyGraphSemigroup to compute the Cayley Graph 
## and returns it as an automaton without initial and final states.
##
DeclareGlobalFunction( "RightCayleyGraphAsAutomaton" );
#############################################################################
DeclareSynonym( "RightCayleyGraphMonoidAsAutomaton", RightCayleyGraphAsAutomaton);


###########################################################################
##
#F DotForDrawingRightCayleyGraph
##
## ouputs a string consisting of dot code the right Cayley graph of a finite monoid or semigroup.
##
DeclareGlobalFunction( "DotForDrawingRightCayleyGraph" );