Top
Back: grobcov_lib
Forward: grobcov
FastBack:
FastForward:
Up: grobcov_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.4.1 setglobalrings

Procedure from library grobcov.lib (see grobcov_lib).

Usage:
setglobalrings();
No arguments.
Can be called when a parametric ideal Q[a][x] is in use. (a=parameters, x=variables).

Return:
After its call the rings Grobcov::@R=Q[a][x], Grobcov::@P=Q[a], Grobcov::@RP=Q[x,a] are defined as global variables. (a=parameters, x=variables).

Note:
It is called internally by many basic routines of the library grobcov, cgsdr, extendGC, pdivi, pnormalf, locus, locusdg, envelop, WLemma, and killed before the output. The user does not need to call it. The basering R, must be of the form Q[a][x], (a=parameters, x=variables), and should be defined previously.

Example:
 
LIB "grobcov.lib";
if(defined(R)){kill R;}
ring R=(0,a,b),(x,y,z),dp;
setglobalrings();
R;
==> //   characteristic : 0
==> //   2 parameter    : a b 
==> //   minpoly        : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x y z
==> //        block   2 : ordering C
Grobcov::@R;
==> //   characteristic : 0
==> //   2 parameter    : a b 
==> //   minpoly        : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x y z
==> //        block   2 : ordering C
Grobcov::@P;
==> //   characteristic : 0
==> //   number of vars : 2
==> //        block   1 : ordering lp
==> //                  : names    a b
==> //        block   2 : ordering C
Grobcov::@RP;
==> //   characteristic : 0
==> //   number of vars : 5
==> //        block   1 : ordering dp
==> //                  : names    x y z
==> //        block   2 : ordering lp
==> //                  : names    a b
==> //        block   3 : ordering C
ringlist(Grobcov::@R);
==> [1]:
==>    [1]:
==>       0
==>    [2]:
==>       [1]:
==>          a
==>       [2]:
==>          b
==>    [3]:
==>       [1]:
==>          [1]:
==>             lp
==>          [2]:
==>             1,1
==>    [4]:
==>       _[1]=0
==> [2]:
==>    [1]:
==>       x
==>    [2]:
==>       y
==>    [3]:
==>       z
==> [3]:
==>    [1]:
==>       [1]:
==>          dp
==>       [2]:
==>          1,1,1
==>    [2]:
==>       [1]:
==>          C
==>       [2]:
==>          0
==> [4]:
==>    _[1]=0
ringlist(Grobcov::@P);
==> [1]:
==>    0
==> [2]:
==>    [1]:
==>       a
==>    [2]:
==>       b
==> [3]:
==>    [1]:
==>       [1]:
==>          lp
==>       [2]:
==>          1,1
==>    [2]:
==>       [1]:
==>          C
==>       [2]:
==>          0
==> [4]:
==>    _[1]=0
ringlist(Grobcov::@RP);
==> [1]:
==>    0
==> [2]:
==>    [1]:
==>       x
==>    [2]:
==>       y
==>    [3]:
==>       z
==>    [4]:
==>       a
==>    [5]:
==>       b
==> [3]:
==>    [1]:
==>       [1]:
==>          dp
==>       [2]:
==>          1,1,1
==>    [2]:
==>       [1]:
==>          lp
==>       [2]:
==>          1,1
==>    [3]:
==>       [1]:
==>          C
==>       [2]:
==>          0
==> [4]:
==>    _[1]=0


Top Back: grobcov_lib Forward: grobcov FastBack: FastForward: Up: grobcov_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4-1-0, 2016, generated by texi2html.