minimalPresentation -- compute a minimal presentation

Synopsis

Optional inputs:
- Strategy => ...,
- Variable => ..., -- specify the variable for the new isomorphic ring

minimalPresentation(Ideal) -- compute a minimal presentation of the quotient ring defined by an ideal
minimalPresentation(Matrix) -- minimally present source and target of a matrix
minimalPresentation(ChainComplex), see minimalPresentation(Module) -- minimal presentation of a module
minimalPresentation(ChainComplexMap), see minimalPresentation(Module) -- minimal presentation of a module
minimalPresentation(CoherentSheaf), see minimalPresentation(Module) -- minimal presentation of a module
minimalPresentation(GradedModule), see minimalPresentation(Module) -- minimal presentation of a module
minimalPresentation(GradedModuleMap), see minimalPresentation(Module) -- minimal presentation of a module
minimalPresentation(Module) -- minimal presentation of a module
minimalPresentation(Ring) -- compute a minimal presentation of a quotient ring