next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SparseResultants :: denseResultant

denseResultant -- dense resultant (classical resultant)

Synopsis

Description

i1 : (f0,f1,f2) = genericLaurentPolynomials(1,2,2)

                           2               2                        2  
o1 = (a x  + a x  + a , b x  + b x x  + b x  + b x  + b x  + b , c x  +
       2 1    1 2    0   5 1    4 1 2    2 2    3 1    1 2    0   5 1  
     ------------------------------------------------------------------------
                 2
     c x x  + c x  + c x  + c x  + c )
      4 1 2    2 2    3 1    1 2    0

o1 : Sequence
i2 : time denseResultant(f0,f1,f2); -- using Poisson formula
     -- used 0.129758 seconds
i3 : time denseResultant(f0,f1,f2,Algorithm=>"Macaulay"); -- using Macaulay formula
     -- used 0.560191 seconds
i4 : time (denseResultant(1,2,2)) (f0,f1,f2); -- using sparseResultant
     -- used 0.369333 seconds
i5 : assert(o2 == o3 and o3 == o4)

See also

Ways to use denseResultant :

For the programmer

The object denseResultant is a function closure.