GAP (ref) - Chapter 34: Orderings

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 Bib Ind
[Top of Book] [Contents] [Previous Chapter] [Next Chapter]

[MathJax off]

34 Orderings
34.1 IsOrdering (Filter)
34.1-1 IsOrdering
34.1-2 OrderingsFamily
34.2 Building new orderings
34.2-1 OrderingByLessThanFunctionNC
34.2-2 OrderingByLessThanOrEqualFunctionNC
34.3 Properties and basic functionality
34.3-1 IsWellFoundedOrdering
34.3-2 IsTotalOrdering
34.3-3 IsIncomparableUnder
34.3-4 FamilyForOrdering
34.3-5 LessThanFunction
34.3-6 LessThanOrEqualFunction
34.3-7 IsLessThanUnder
34.3-8 IsLessThanOrEqualUnder
34.4 Orderings on families of associative words
34.4-1 IsOrderingOnFamilyOfAssocWords
34.4-2 IsTranslationInvariantOrdering
34.4-3 IsReductionOrdering
34.4-4 OrderingOnGenerators
34.4-5 LexicographicOrdering
34.4-6 ShortLexOrdering
34.4-7 IsShortLexOrdering
34.4-8 WeightLexOrdering
34.4-9 IsWeightLexOrdering
34.4-10 WeightOfGenerators
34.4-11 BasicWreathProductOrdering
34.4-12 IsBasicWreathProductOrdering
34.4-13 WreathProductOrdering
34.4-14 IsWreathProductOrdering
34.4-15 LevelsOfGenerators

### 34 Orderings

In GAP an ordering is a relation defined on a family, which is reflexive, anti-symmetric and transitive.

#### 34.1 IsOrdering (Filter)

##### 34.1-1 IsOrdering

`‣ IsOrdering`( obj ) | ( category )

returns `true` if and only if the object ord is an ordering.

##### 34.1-2 OrderingsFamily

`‣ OrderingsFamily`( fam ) | ( attribute )

for a family fam, returns the family of all orderings on elements of fam.

#### 34.2 Building new orderings

##### 34.2-1 OrderingByLessThanFunctionNC

`‣ OrderingByLessThanFunctionNC`( fam, lt[, l] ) | ( operation )

Called with two arguments, `OrderingByLessThanFunctionNC` returns the ordering on the elements of the elements of the family fam, according to the `LessThanFunction` (34.3-5) value given by lt, where lt is a function that takes two arguments in fam and returns `true` or `false`.

Called with three arguments, for a family fam, a function lt that takes two arguments in fam and returns `true` or `false`, and a list l of properties of orderings, `OrderingByLessThanFunctionNC` returns the ordering on the elements of fam with `LessThanFunction` (34.3-5) value given by lt and with the properties from l set to `true`.

##### 34.2-2 OrderingByLessThanOrEqualFunctionNC

`‣ OrderingByLessThanOrEqualFunctionNC`( fam, lteq[, l] ) | ( operation )

Called with two arguments, `OrderingByLessThanOrEqualFunctionNC` returns the ordering on the elements of the elements of the family fam according to the `LessThanOrEqualFunction` (34.3-6) value given by lteq, where lteq is a function that takes two arguments in fam and returns `true` or `false`.

Called with three arguments, for a family fam, a function lteq that takes two arguments in fam and returns `true` or `false`, and a list l of properties of orderings, `OrderingByLessThanOrEqualFunctionNC` returns the ordering on the elements of fam with `LessThanOrEqualFunction` (34.3-6) value given by lteq and with the properties from l set to `true`.

Notice that these functions do not check whether fam and lt or lteq are compatible, and whether the properties listed in l are indeed satisfied.

    gap> f := FreeSemigroup("a","b");;
    gap> a := GeneratorsOfSemigroup(f)[1];;
    gap> b := GeneratorsOfSemigroup(f)[2];;
    gap> lt := function(x,y) return Length(x)<Length(y); end;
    function( x, y ) ... end
    gap> fam := FamilyObj(a);;
    gap> ord := OrderingByLessThanFunctionNC(fam,lt);
    Ordering

#### 34.3 Properties and basic functionality

##### 34.3-1 IsWellFoundedOrdering

`‣ IsWellFoundedOrdering`( ord ) | ( property )

for an ordering ord, returns `true` if and only if the ordering is well founded. An ordering ord is well founded if it admits no infinite descending chains. Normally this property is set at the time of creation of the ordering and there is no general method to check whether a certain ordering is well founded.

##### 34.3-2 IsTotalOrdering

`‣ IsTotalOrdering`( ord ) | ( property )

for an ordering ord, returns true if and only if the ordering is total. An ordering ord is total if any two elements of the family are comparable under ord. Normally this property is set at the time of creation of the ordering and there is no general method to check whether a certain ordering is total.

##### 34.3-3 IsIncomparableUnder

`‣ IsIncomparableUnder`( ord, el1, el2 ) | ( operation )

for an ordering ord on the elements of the family of el1 and el2, returns `true` if el1 \(\neq\) el2 and `IsLessThanUnder`(ord,el1,el2), `IsLessThanUnder`(ord,el2,el1) are both `false`; and returns `false` otherwise.

##### 34.3-4 FamilyForOrdering

`‣ FamilyForOrdering`( ord ) | ( attribute )

for an ordering ord, returns the family of elements that the ordering ord compares.

##### 34.3-5 LessThanFunction

`‣ LessThanFunction`( ord ) | ( attribute )

for an ordering ord, returns a function \(f\) which takes two elements \(el1\), \(el2\) in `FamilyForOrdering`(ord) and returns `true` if \(el1\) is strictly less than \(el2\) (with respect to ord), and returns `false` otherwise.

##### 34.3-6 LessThanOrEqualFunction

`‣ LessThanOrEqualFunction`( ord ) | ( attribute )

for an ordering ord, returns a function that takes two elements \(el1\), \(el2\) in `FamilyForOrdering`(ord) and returns `true` if \(el1\) is less than or equal to \(el2\) (with respect to ord), and returns `false` otherwise.

##### 34.3-7 IsLessThanUnder

`‣ IsLessThanUnder`( ord, el1, el2 ) | ( operation )

for an ordering ord on the elements of the family of el1 and el2, returns `true` if el1 is (strictly) less than el2 with respect to ord, and `false` otherwise.

##### 34.3-8 IsLessThanOrEqualUnder

`‣ IsLessThanOrEqualUnder`( ord, el1, el2 ) | ( operation )

for an ordering ord on the elements of the family of el1 and el2, returns `true` if el1 is less than or equal to el2 with respect to ord, and `false` otherwise.

    gap> IsLessThanUnder(ord,a,a*b);
    true
    gap> IsLessThanOrEqualUnder(ord,a*b,a*b);
    true
    gap> IsIncomparableUnder(ord,a,b);
    true
    gap> FamilyForOrdering(ord) = FamilyObj(a);
    true

#### 34.4 Orderings on families of associative words

We now consider orderings on families of associative words.

Examples of families of associative words are the families of elements of a free semigroup or a free monoid; these are the two cases that we consider mostly. Associated with those families is an alphabet, which is the semigroup (resp. monoid) generating set of the correspondent free semigroup (resp. free monoid). For definitions of the orderings considered, see Sims [Sim94].

##### 34.4-1 IsOrderingOnFamilyOfAssocWords

`‣ IsOrderingOnFamilyOfAssocWords`( ord ) | ( property )

for an ordering ord, returns true if ord is an ordering over a family of associative words.

##### 34.4-2 IsTranslationInvariantOrdering

`‣ IsTranslationInvariantOrdering`( ord ) | ( property )

for an ordering ord on a family of associative words, returns `true` if and only if the ordering is translation invariant.

This is a property of orderings on families of associative words. An ordering ord over a family \(F\), with alphabet \(X\) is translation invariant if `IsLessThanUnder(` ord, \(u\), \(v\) `)` implies that for any \(a, b \in X^*\), `IsLessThanUnder(` ord, \(a*u*b\), \(a*v*b\) `)`.

##### 34.4-3 IsReductionOrdering

`‣ IsReductionOrdering`( ord ) | ( property )

for an ordering ord on a family of associative words, returns `true` if and only if the ordering is a reduction ordering. An ordering ord is a reduction ordering if it is well founded and translation invariant.

##### 34.4-4 OrderingOnGenerators

`‣ OrderingOnGenerators`( ord ) | ( attribute )

for an ordering ord on a family of associative words, returns a list in which the generators are considered. This could be indeed the ordering of the generators in the ordering, but, for example, if a weight is associated to each generator then this is not true anymore. See the example for `WeightLexOrdering` (34.4-8).

##### 34.4-5 LexicographicOrdering

`‣ LexicographicOrdering`( D[, gens] ) | ( operation )

Let D be a free semigroup, a free monoid, or the elements family of such a domain. Called with only argument D, `LexicographicOrdering` returns the lexicographic ordering on the elements of D.

The optional argument gens can be either the list of free generators of D, in the desired order, or a list of the positions of these generators, in the desired order, and `LexicographicOrdering` returns the lexicographic ordering on the elements of D with the ordering on the generators as given.

    gap> f := FreeSemigroup(3);
    <free semigroup on the generators [ s1, s2, s3 ]>
    gap> lex := LexicographicOrdering(f,[2,3,1]);
    Ordering
    gap> IsLessThanUnder(lex,f.2*f.3,f.3);
    true
    gap> IsLessThanUnder(lex,f.3,f.2);
    false

##### 34.4-6 ShortLexOrdering

`‣ ShortLexOrdering`( D[, gens] ) | ( operation )

Let D be a free semigroup, a free monoid, or the elements family of such a domain. Called with only argument D, `ShortLexOrdering` returns the shortlex ordering on the elements of D.

The optional argument gens can be either the list of free generators of D, in the desired order, or a list of the positions of these generators, in the desired order, and `ShortLexOrdering` returns the shortlex ordering on the elements of D with the ordering on the generators as given.

##### 34.4-7 IsShortLexOrdering

`‣ IsShortLexOrdering`( ord ) | ( property )

for an ordering ord of a family of associative words, returns `true` if and only if ord is a shortlex ordering.

    gap> f := FreeSemigroup(3);
    <free semigroup on the generators [ s1, s2, s3 ]>
    gap> sl := ShortLexOrdering(f,[2,3,1]);
    Ordering
    gap> IsLessThanUnder(sl,f.1,f.2);
    false
    gap> IsLessThanUnder(sl,f.3,f.2);
    false
    gap> IsLessThanUnder(sl,f.3,f.1);
    true

##### 34.4-8 WeightLexOrdering

`‣ WeightLexOrdering`( D, gens, wt ) | ( operation )

Let D be a free semigroup, a free monoid, or the elements family of such a domain. gens can be either the list of free generators of D, in the desired order, or a list of the positions of these generators, in the desired order. Let wt be a list of weights. `WeightLexOrdering` returns the weightlex ordering on the elements of D with the ordering on the generators and weights of the generators as given.

##### 34.4-9 IsWeightLexOrdering

`‣ IsWeightLexOrdering`( ord ) | ( property )

for an ordering ord on a family of associative words, returns `true` if and only if ord is a weightlex ordering.

##### 34.4-10 WeightOfGenerators

`‣ WeightOfGenerators`( ord ) | ( attribute )

for a weightlex ordering ord, returns a list with length the size of the alphabet of the family. This list gives the weight of each of the letters of the alphabet which are used for weightlex orderings with respect to the ordering given by `OrderingOnGenerators` (34.4-4).

    gap> f := FreeSemigroup(3);
    <free semigroup on the generators [ s1, s2, s3 ]>
    gap> wtlex := WeightLexOrdering(f,[f.2,f.3,f.1],[3,2,1]);
    Ordering
    gap> IsLessThanUnder(wtlex,f.1,f.2);
    true
    gap> IsLessThanUnder(wtlex,f.3,f.2);
    true
    gap> IsLessThanUnder(wtlex,f.3,f.1);
    false
    gap> OrderingOnGenerators(wtlex);
    [ s2, s3, s1 ]
    gap> WeightOfGenerators(wtlex);
    [ 3, 2, 1 ]

##### 34.4-11 BasicWreathProductOrdering

`‣ BasicWreathProductOrdering`( D[, gens] ) | ( operation )

Let D be a free semigroup, a free monoid, or the elements family of such a domain. Called with only argument D, `BasicWreathProductOrdering` returns the basic wreath product ordering on the elements of D.

The optional argument gens can be either the list of free generators of D, in the desired order, or a list of the positions of these generators, in the desired order, and `BasicWreathProductOrdering` returns the lexicographic ordering on the elements of D with the ordering on the generators as given.

##### 34.4-12 IsBasicWreathProductOrdering

`‣ IsBasicWreathProductOrdering`( ord ) | ( property )

    gap> f := FreeSemigroup(3);
    <free semigroup on the generators [ s1, s2, s3 ]>
    gap> basic := BasicWreathProductOrdering(f,[2,3,1]);
    Ordering
    gap> IsLessThanUnder(basic,f.3,f.1);
    true
    gap> IsLessThanUnder(basic,f.3*f.2,f.1);
    true
    gap> IsLessThanUnder(basic,f.3*f.2*f.1,f.1*f.3);
    false

##### 34.4-13 WreathProductOrdering

`‣ WreathProductOrdering`( D[, gens], levels ) | ( operation )

Let D be a free semigroup, a free monoid, or the elements family of such a domain, let gens be either the list of free generators of D, in the desired order, or a list of the positions of these generators, in the desired order, and let levels be a list of levels for the generators. If gens is omitted then the default ordering is taken. `WreathProductOrdering` returns the wreath product ordering on the elements of D with the ordering on the generators as given.

##### 34.4-14 IsWreathProductOrdering

`‣ IsWreathProductOrdering`( ord ) | ( property )

specifies whether an ordering is a wreath product ordering (see `WreathProductOrdering` (34.4-13)).

##### 34.4-15 LevelsOfGenerators

`‣ LevelsOfGenerators`( ord ) | ( attribute )

for a wreath product ordering ord, returns the levels of the generators as given at creation (with respect to `OrderingOnGenerators` (34.4-4)).

    gap> f := FreeSemigroup(3);
    <free semigroup on the generators [ s1, s2, s3 ]>
    gap> wrp := WreathProductOrdering(f,[1,2,3],[1,1,2,]);
    Ordering
    gap> IsLessThanUnder(wrp,f.3,f.1);
    false
    gap> IsLessThanUnder(wrp,f.3,f.2);
    false
    gap> IsLessThanUnder(wrp,f.1,f.2);
    true
    gap> LevelsOfGenerators(wrp);
    [ 1, 1, 2 ]

[Top of Book] [Contents] [Previous Chapter] [Next Chapter]
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 Bib Ind

generated by GAPDoc2HTML