Home Online Manual
Top
Back: contract
Forward: crossprod
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

5.1.14 create_ring

Procedure from library standard.lib (see standard_lib).

Usage:
create_ring(l1, l2, l3[, l4, "no_minpoly"]);
l1 int or list, l2 list or string, l3 list or string, l4 ideal

Return:
ring(list(l1, l2, l3, l4))

Note:
l1, l2, l3, l4 are assumed to be the four entries of ringlist(R) where R is the ring to be returned.
Optional arguments: If l4 is not given, it is assumend to be ideal(0). If "no_minpoly" is given, then the minimal polynomial in l1, if present, is set to 0.
Shortcuts: Strings such as "0", "(32003)" or "(0,a,b,c)" can be given as l1. Indexed parameters as in "(0,a(1..3))" are not supported. Strings such as "(x,y,z)" can be given as l2. Indexed variables as in "(x(1..3),y,z)" are not supported. Strings representing orderings such as "dp" or "(lp(3), ds(2))" can be given as l3, except matrix orderings given by
"M([intmat_expression])".

Example:
 
  ring R = (0,a), x, lp;
ringlist(R);
==> [1]:
==>    [1]:
==>       0
==>    [2]:
==>       [1]:
==>          a
==>    [3]:
==>       [1]:
==>          [1]:
==>             lp
==>          [2]:
==>             1
==>    [4]:
==>       _[1]=0
==> [2]:
==>    [1]:
==>       x
==> [3]:
==>    [1]:
==>       [1]:
==>          lp
==>       [2]:
==>          1
==>    [2]:
==>       [1]:
==>          C
==>       [2]:
==>          0
==> [4]:
==>    _[1]=0
minpoly = a^2+1;
qring Q = ideal(x^3-2);
ring S = create_ring(ringlist(Q)[1], "(x,y,t)", "dp", "no_minpoly");
basering;
==> // coefficients: QQ(a)
==> // number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x y t
==> //        block   2 : ordering C