Macaulay2 » Documentation
Packages » PencilsOfQuadrics :: randNicePencil
next | previous | forward | backward | up | index | toc

randNicePencil -- sets up a random pencil of quadrics, and returns a hash table of the type RandomNicePencil.

Description

Generates a random pencil of quadrics in the same way as randomNicePencil(kk,g). Returns a hash table of the type RandomNicePencil.

i1 : setRandomSeed 0
 -- setting random seed to 0

o1 = 0
i2 : kk=ZZ/101;
i3 : g=1;
i4 : L=randNicePencil(kk,g)

o4 = RandomNicePencil{...8...}

o4 : RandomNicePencil
i5 : keys L

o5 = {matFact1, matFact2, matFactu1, isotropicSpace, matFactu2,
     ------------------------------------------------------------------------
     quadraticForm, qqRing, baseRing}

o5 : List
i6 : L.qqRing

o6 = kk[x , y , z ..z , s, t]
         0   0   1   2

o6 : PolynomialRing
i7 : L.quadraticForm

              2      2                           2                       
o7 = x y s - z s - 5x t + 12x z t - 18y z t - 30z t - 12x z t + 10y z t +
      0 0     1      0       0 1       0 1       1       0 2       0 2   
     ------------------------------------------------------------------------
                 2
     6z z t - 48z t
       1 2       2

o7 : kk[x , y , z ..z , s, t]
         0   0   1   2
i8 : L.baseRing

o8 = kk[s, t]

o8 : PolynomialRing
i9 : (L.matFact1 * L.matFact2) - (L.quadraticForm)**id_(source L.matFact1)

o9 = 0

                                      8                               8
o9 : Matrix (kk[x , y , z ..z , s, t])  <-- (kk[x , y , z ..z , s, t])
                 0   0   1   2                   0   0   1   2
i10 : (L.matFact2 * L.matFact1) - (L.quadraticForm)**id_(source L.matFact1)

o10 = 0

                                       8                               8
o10 : Matrix (kk[x , y , z ..z , s, t])  <-- (kk[x , y , z ..z , s, t])
                  0   0   1   2                   0   0   1   2
i11 : L.isotropicSpace

o11 = | x_0 z_1 z_2 |

                                       1                               3
o11 : Matrix (kk[x , y , z ..z , s, t])  <-- (kk[x , y , z ..z , s, t])
                  0   0   1   2                   0   0   1   2
i12 : (L.matFactu1 * L.matFactu2) - (L.quadraticForm)**id_(source L.matFactu1)

o12 = 0

                                       4                               4
o12 : Matrix (kk[x , y , z ..z , s, t])  <-- (kk[x , y , z ..z , s, t])
                  0   0   1   2                   0   0   1   2
i13 : (L.matFactu2 * L.matFactu1) - (L.quadraticForm)**id_(source L.matFactu1)

o13 = 0

                                       4                               4
o13 : Matrix (kk[x , y , z ..z , s, t])  <-- (kk[x , y , z ..z , s, t])
                  0   0   1   2                   0   0   1   2

See also

Ways to use randNicePencil:

  • randNicePencil(Ring,ZZ)

For the programmer

The object randNicePencil is a method function.


The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/PencilsOfQuadrics.m2:2008:0.