|
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.
|