up previous next
MinimalPresentation    --    minimal presentation for a quotient


Syntax 
MinimalPresentation(Q:TAGGED): TAGGED

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

Description
***** NOT YET IMPLEMENTED *****

Given a quotient module of the type Rs/M, or a zero module, this function computes an isomorphic quotient, Rt/N, minimally presented [using the algorithm in Kreuzer-Robbiano II].

Example 
***** NOT YET IMPLEMENTED *****
  use R ::= QQ[x,y,z];
  MinimalPresentation(R^3/Module([[x,1,1], [x,2,2]]));
R^2/Module([[x, 0]])
-------------------------------