| #### D.2.4.3 setglobalrings Procedure from library `grobcov.lib` (see grobcov_lib). Usage: setglobalrings(); No arguments Return: After its call the rings @R=Q[a][x], @P=Q[a], @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, extend, pdivi, pnormalf, locus, locusdg, envelop, envelopdg, and killed before the output. The user does not need to call it, except when it is interested in using some internal routine of the library that uses these rings. The basering R, must be of the form Q[a][x], (a=parameters, x=variables), and should be defined previously. Example:
    LIB "grobcov.lib";
    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

User manual for Singular version 4-0-2, 2015, generated by texi2html.