implicitEq(..., Strategy => ...) -- computes the gcd of the right-most map of the Z-complex in degree nu)
Synopsis
Usage:
iEq = implicitEq(polynomialList, nu)
Inputs:
polynomialList, a list, polynomialList 'f={f0,...,fn}' defining the rational map
nu, a list, the multidegree where ti take the homogeneous strand of the map f (i.e.: R_d)
Outputs:
iEq, a matrix, An homogeneous polynomial in QQ[X_0,...,X_n] defining the implicit equation of f
Consequences:
If s is Exact, then therank algortihms is used computing minors; if s is Numeric, then numerical rank computation is used, this is, all coefficients are evaluated in the ground field before computing ranks.