A function to preview the partial right multiplication table of the semigroup to assess the size of the complete semigroup.
Usage
prev(x)
Value
'2stpT'
a partial right multiplication table at two-step.
'PcU2stpT'
the proportion of undefined elements at two-step.
ordr
the dimension of the right multiplication table so far.
Note
a conditional warning message.
Arguments
x
an array; usually with three dimensions of stacked matrices where the multiple relations are placed.
Author
Antonio Rivero Ostoic
Details
When the input data is large, i.e. having a dozen or more elements and/or more than five dimensions, it is recommended to perform this function before the semigroup construction to get the partial right multiplication table.
That is because the amount of undefined data in such a table gives an idea of how much time may take to get the complete semigroup. However, the performance depends mainly on whether the generator matrices are sparse and/or have a relatively large number of elements for a semigroup construction of the course.