Macaulay2 » Documentation
Packages » MCMApproximations :: setupRings
next | previous | forward | backward | up | index | toc

setupRings -- Sets up a complete intersection for experiments

Synopsis

Description

Makes a complete intersection f_0..f_{c-1} = x_0^d..x_{c-1}^d or, when Random=>true (the default), random linear combinations of these, in the polynomial ring ZZ/p[x_0..x_{c-1}], where p can be set by the optional argument Characteristic=>p. By default, p = 101.

i1 : netList setupRings(2,2)

     +----------------------------+
     | ZZ                         |
o1 = |---[x ..x ]                 |
     |101  0   1                  |
     +----------------------------+
     | ZZ                         |
     |---[x ..x ]                 |
     |101  0   1                  |
     |-----------                 |
     |   2      2                 |
     |24x  - 36x                  |
     |   0      1                 |
     +----------------------------+
     |          ZZ                |
     |         ---[x ..x ]        |
     |         101  0   1         |
     |----------------------------|
     |    2      2       2      2 |
     |(24x  - 36x , - 30x  - 29x )|
     |    0      1       0      1 |
     +----------------------------+
i2 : netList setupRings(2,2,Characteristic=>5)

     +-----------------------+
     |ZZ                     |
o2 = |--[x ..x ]             |
     | 5  0   1              |
     +-----------------------+
     |ZZ                     |
     |--[x ..x ]             |
     | 5  0   1              |
     |----------             |
     |   2     2             |
     | 2x  - 2x              |
     |   0     1             |
     +-----------------------+
     |       ZZ              |
     |       --[x ..x ]      |
     |        5  0   1       |
     |-----------------------|
     |   2     2     2     2 |
     |(2x  - 2x , - x  - 2x )|
     |   0     1     0     1 |
     +-----------------------+

See also

Ways to use setupRings:

For the programmer

The object setupRings is a method function with options.