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 ring_list(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;
ring_list(R);
==> [1]:
==> 0,a
==> [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(ring_list(Q)[1], "(x,y,t)", "dp", "no_minpoly");
basering;
==> // coefficients: QQ[a]/(a2+1)
==> // number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x y t
==> //        block   2 : ordering C


Top Back: contract Forward: crossprod FastBack: FastForward: Up: Singular Manual Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2, 2023, generated by texi2html.