*BigradedImplicit* is a package for computing implicit equations of bigraded rational surfaces by means of approximation complexes.

We provide a methd to compute a matrix representation (see representationMatrix) and the implicit equation (see implicitEq ) by means of the method developed in [Bot11]. As it is probably the most interesting case from a practical point of view, we restrict our computations to parametrizations of bigraded surfaces. This implementation allows to compute small examples for the better understanding of the theory developed in [Bot11].

[Bot11] "The implicit equation of a multigraded hypersurface. arXiv:1007.3437v3 . Journal of Algebra. Vol 348, Issue 1 (2011), 381-401"

- Functions and commands
- degreeImplicitEq -- computes the degree of det((Z)_nu)
- implicitEq -- computes the gcd of the right-most map of the Z-complex in degree nu)
- isGoodDegree -- verifies if the Z-complex is acyclic in the given degree
- maxMinor -- Returns a maximal minor of the matrix of full rank.
- representationMatrix -- computes the right-most map of the Z-complex in degree nu)