Top
Back: Plural Manual
Forward: Data types
FastBack: (dir)
FastForward: Data types
Up: Top
Top: Plural Manual
Contents: Table of Contents
Index: Index
About: About this document

1. PLURAL conventions

relations on algebra
    PLURAL can not compute in free algebra or in its general factor algebras. One can only input and work with G-algebras (see G-algebras), which relations are of the special form but still general enough to handle many important algebras. See PLURAL libraries for pre-defined definitions for many of them.

*-multiplication
    in the non-commutative case, one should use y*x for the multiplication while yx is interpreted as commutative expression. See example in poly expressions.

ideal
    Under an ideal PLURAL understands a left ideal. For more information see ideal. For the operations with two-sided ideals see twostd.

module
    Under a module PLURAL understands a left submodule of a free module of a finite rank. For more information see module.

ordering
    PLURAL works with global orderings only. See SINGULAR manual section General definitions for orderings.

qring

    In PLURAL it is only possible to build factor-algebras modulo two-sided ideals.


Top Back: Plural Manual Forward: Data types FastBack: (dir) FastForward: Data types Up: Top Top: Plural Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-1-99, August 2004, generated by texi2html.