next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Resultants :: affineResultant

affineResultant -- affine resultant

Synopsis

Description

i1 : ZZ[t,u][y,z]

o1 = ZZ[t..u][y..z]

o1 : PolynomialRing
i2 : f = {3*t*y*z-u*z^2+1, -y+t+3*u-1, u*z^4-t*y^3+t*y*z}

                  2                           4      3
o2 = {3t*y*z - u*z  + 1, - y + t + 3u - 1, u*z  - t*y  + t*y*z}

o2 : List
i3 : affineResultant f

          12         11 2         10 3         9 4          8 5          7 6          6 7          5 8       11          10 2  
o3 = - 81t  u - 1701t  u  - 15309t  u  - 76545t u  - 229635t u  - 413343t u  - 413343t u  - 177147t u  + 567t  u + 10206t  u  +
     ----------------------------------------------------------------------------------------------------------------------------
           9 3          8 4          7 5          6 6          5 7        4 8        3 9       2 10        10          9 2  
     76545t u  + 306181t u  + 688923t u  + 826821t u  + 413883t u  + 1215t u  + 1458t u  + 729t u   - 1701t  u - 25515t u  -
     ----------------------------------------------------------------------------------------------------------------------------
            8 3          7 4          6 5          5 6        4 7        3 8        2 9        9          8 2          7 3  
     153093t u  - 459321t u  - 689265t u  - 414693t u  - 2835t u  - 3159t u  - 1458t u  + 2835t u + 33984t u  + 152565t u  +
     ----------------------------------------------------------------------------------------------------------------------------
            6 4          5 5         4 6        3 7        2 8        8          7 2         6 3         5 4         4 5  
     303135t u  + 220905t u  - 12150t u  - 5913t u  + 1215t u  - 2862t u - 25659t u  - 75873t u  - 70031t u  + 16263t u  +
     ----------------------------------------------------------------------------------------------------------------------------
           3 6       2 7        7          6 2         5 3        4 4        3 5       2 6       6         5 2       4 3  
     13230t u  - 540t u  + 1809t u + 10818t u  + 15015t u  - 6609t u  - 9360t u  + 135t u  - 729t u - 2313t u  + 684t u  +
     ----------------------------------------------------------------------------------------------------------------------------
          3 4      2 5        6       5        4 2       3 3      2 4        5      4       3 2      2 3        4     2 2       3
     3165t u  - 81t u  - 54t*u  + 189t u + 135t u  - 583t u  - 38t u  + 54t*u  - 27t u + 54t u  + 47t u  - 18t*u  - 9t u  + 2t*u 
     ----------------------------------------------------------------------------------------------------------------------------
        2
     + u

o3 : ZZ[t..u]

See also

Ways to use affineResultant :

For the programmer

The object affineResultant is a method function with options.