### 4.18.2 ring declarations

Syntax:
  `ring` name `= (` coefficients `),` `(` names_of_ring_variables `),` `(` ordering `);`
Default:
  `32003,(x,y,z),(dp,C);`
Purpose:
  declares a ring and sets it as the actual basering.

The coefficients are given by one of the following:

1. a non-negative int_expression less or equal 2147483647.
2. an expression_list of an int_expression and one or more names.
3. the name `real`
4. an expression_list of the name `real` and an int_expression.
5. an expression_list of the name `complex`, an optional int_expression and a name.
6. an expression_list of the name `integer`.
7. an expression_list of the name `integer` and following int_expressions.
8. an expression_list of the name `integer` and two int_expressions.

For the definition of the 'coefficients', see Rings and orderings.

'names_of_ring_variables' must be a list of names or (multi-)indexed names.

'ordering' is a list of block orderings where each block ordering is either

1. `lp`, `dp`, `Dp`, `rp`, `ls`, `ds`, `Ds`, or `rs` optionally followed by a size parameter in parentheses.

2. `wp`, `Wp`, `ws`, `Ws`, or `a` followed by a weight vector given as an intvec_expression in parentheses.

3. `M` followed by an intmat_expression in parentheses.

4. `c` or `C`.

For the definition of the orderings, see Term orderings, Monomial orderings.

If one of coefficients, names_of_ring_variables, and ordering consists of only one entry, the parentheses around this entry may be omitted.

See also Examples of ring declarations; ring; ringlist.

User manual for Singular version 4-0-3, 2016, generated by texi2html.