‣ DotWalkHomomorphism( T ) | ( operation ) |
Returns: a string
Given a walk homomorphism, this operation returns a dot string for creating an image of the walk homomorphism. The vertices of the domain digraph are marked by the letter D and the vertices of the codomain digraph are marked by by the letter C.
‣ DotUDAFTransducer( T ) | ( operation ) |
Returns: a string
Given an UDAF transducer, this operation returns a dot string for creating an image of the UDAF transducer. The vertices of the domain digraph are marked by the letter D, the vertices of the codomain digraph are marked by the letter C, and the vertices of the underlying digraph of the transducer have no letter in their labels.
‣ DotUDAFTransducerWithVertexLabels( T, L ) | ( operation ) |
Returns: a string
Given an UDAF transducer T and a list L with one entry for each vertex of the underlying digraph of T, this operation returns a dot string for creating an image of the UDAF transducer. The vertices of the domain digraph are marked by the letter D, the vertices of the codomain digraph are marked by the letter C, and the vertices of the underlying digraph of the transducer are labelled according to the list L.
‣ Draw( T ) | ( operation ) |
Generates an image of a walk homomorphism. This is a shortcut for the command Splash(DotWalkHomomorphism(T)).
‣ Draw( T ) | ( operation ) |
Given a shift isomorphim, this operation creates an image of a transducer defining the isomorphism. The UDAF transducer chosen is a minimal UDAF transducer with the annotaion needed to define the isomorphism. The vertices of the domain digraph are marked by the letter D, the vertices of the codomain digraph are marked by the letter C, and the vertices of the underlying digraph of the transducer are lebelled in accordance with the annotation.
‣ DrawSynchronous( T ) | ( operation ) |
Given a shift isomorphim, this operation creates an image of a transducer defining the isomorphism. Both foldings of the transducer will be synchronous two-sided foldings. The vertices of the domain digraph are marked by the letter D, the vertices of the codomain digraph are marked by the letter C, and the vertices of the underlying digraph of the transducer have no letter in their labels.
‣ Draw( T ) | ( operation ) |
Given a one-sided shift isomorphim, this operation creates an image of a transducer defining the isomorphism. Both foldings of the transducer will be synchronous one-sided foldings. The vertices of the domain digraph are marked by the letter D, the vertices of the codomain digraph are marked by the letter C, and the vertices of the underlying digraph of the transducer have no letter in their labels.
‣ Draw( T ) | ( operation ) |
Generates an image of an UDAF transducer. This is a shortcut for the command Splash(DotUDAFTransducer(T)).
‣ Draw( T ) | ( operation ) |
Given an UDAF isomorphism, this operation creates an image of the minimal transducer defining the isomorphism. The vertices of the domain digraph are marked by the letter D, the vertices of the codomain digraph are marked by the letter C, and the vertices of the underlying digraph of the transducer have no letter in their labels.
generated by GAPDoc2HTML