4. Strategies

Already known coset enumeration procedures try to use ''clever'' strategies to select the coset to consider next. These strategies are based on information about the multiplication table.

The two frameworks would normally select the cosets in increasing order beginning with the smallest as described in Section 3. But there might be cosets which are quite large with respect to the ordering and lead to important information, e.g. that two or more cosets are identical. Using this information the enumeration process might be shortened considerably. Thus, in order to enhance the frameworks, strategies were provided to add elements to the borderset which normally would only be considered much later in the enumeration process.

It is neither obvious which elements should be considered nor when they should
be added.
Right now, the elements are added using the procedures
* additional_elements_start* and * additional_elements*
which add elements to the borderset after the first and each subsequent
Gröbner basis computation, respectively, according to the following
strategies:

- NONE:
No elements are added.
- P-ALL:
*additional_elements_start*and*additional_elements*add all prefixes of the head-terms of the polynomials of : . - P-R:
*additional_elements_start*and*additional_elements*add those prefixes of the head-terms of the polynomials of which, when multiplied with the generators, could lead to polynomials which can be reduced using : - P-G:
*additional_elements_start*and*additional_elements*add those prefixes of the head-terms of the polynomials of which, when multiplied with polynomials of , could lead to polynomials which can be reduced using : - I-ALL:
*additional_elements_start*and*additional_elements*add all inverse terms of the prefixes of the head-terms of the polynomials of : . - I-R:
*additional_elements_start*adds all inverse terms of the head-terms of the relators: .*additional_elements*adds no elements to the borderset. - I-R-P:
*additional_elements_start*adds all inverse terms of the head-terms of the relators: .*additional_elements_start*and*additional_elements*add all prefixes of the head-terms of the polynomials of : . - ENUM:
*additional_elements_start*and*additional_elements*add elements in a special order. - RANDOM:
*additional_elements_start*and*additional_elements*add random elements.

Only those elements are added which are neither already in the coset-set nor in the border set and which are not prefix-reducible using . This reduces the maximal size of the border set and the new border set , respectively.

The last two strategies for adding elements, namely ENUM and RANDOM, allow additional parameters. They are not considered further here.