[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Construction of a Quotient: Specification of a Presentation

Construction of a Quotient: Specification of a Presentation

An algebra with non-trivial relations is constructed as a quotient of an existing algebra, possibly a free algebra. For convenience, the necessary free algebra may be constructed in-line.

quo< F | relations > : AlgFP, Rel, .., Rel -> AlgFP
Given an fp-algebra F, and a set of relations relations over the generators of F, construct the quotient of F by the ideal of F defined by relations.

The expression defining F may be either simply the name of a previously constructed algebra, or an expression defining an fp-algebra.

If relations is a list then each term of the list is either a word, a relation, or a relation list.

A word is interpreted as a relator.

A relation consists of a pair of words, separated by `='. (See above).

A relation list consists of a list of words, where each pair of adjacent words is separated by `=': w_1 = w_2 = ... = w_r. This is interpreted as the relations w_1 = w_r, ..., w_(r - 1) = w_r.

Note that the relation list construct is only meaningful in the context of the fp-algebra constructor.

This function returns

A / I : AlgFP, AlgFPIdl -> AlgFP
Given an ideal I of the algebra A, construct the quotient of A by the ideal I. The quotient is formed by taking the presentation for A and including the generating words of I as additional relations.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]