A.6.2 Right Groebner bases and syzygies
Most of the SINGULAR:PLURAL commands correspond to the left-sided computations, that is left Groebner bases, left syzygies, left resolutions and so on. However, the right-sided computations can be done, using the left-sided functionality and opposite algebras.
In the example below, we consider the algebra
and a set of generators
We will compute a left Groebner basis LI and a left syzygy module LS of a left ideal, generated by the set
.
Then, we define the opposite algebra Aop of A , set it as a basering, and create opposite objects of already computed ones.
Further on, we compute a right Groebner basis RI and a right syzygy module RS of a right ideal, generated by the set
in
.
|