CoCoA:MinimalPresentation

MinimalPresentation

minimal presentation for a quotient

Description

Given a quotient module of the type <formula>R^s/M</formula>,

or a zero module, this function computes an isomorphic quotient,

<formula>R^t/N</formula>, minimally presented [using the algortihm in Kreuzer-Robbiano II].

Example

  Use R ::= Q[x,y,z];
  MinimalPresentation(R^3/Module([[x,1,1], [x,2,2]]));
R^2/Module([[x, 0]])
-------------------------------

Syntax

MinimalPresentation(Q:TAGGED):TAGGED

where Q quotient module of the type R^s/M

   <type>module</type>