# BigradedImplicit : Table of Contents

- BigradedImplicit -- A package for computing implicit equations of bigraded rational surfaces by means of approximation complexes
- degreeImplicitEq -- computes the degree of det((Z)_nu)
- Exact -- Strategy for functions that uses rank computation.
- implicitEq -- computes the gcd of the right-most map of the Z-complex in degree nu)
- implicitEq(..., Strategy => ...) -- 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.
- maxMinor(..., Strategy => ...) -- Returns a maximal minor of the matrix of full rank.
- Numeric -- Strategy for functions that uses rank computation.
- representationMatrix -- computes the right-most map of the Z-complex in degree nu)