Top
Back: Left and two-sided Groebner bases
Forward: Applications
FastBack: Invariant Theory
FastForward: Applications
Up: Non-commutative Algebra
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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 .

 


Top Back: Left and two-sided Groebner bases Forward: Applications FastBack: Invariant Theory FastForward: Applications Up: Non-commutative Algebra Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.