CoCoA:MinimalPresentation

From ApCoCoAWiki
Revision as of 10:02, 24 October 2007 by XMLBot (talk | contribs) (pushing XML rev. 1.46, again)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

MinimalPresentation

minimal presentation for a quotient

Description

Given a quotient module of the type <formula>Rs/M</formula>,

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

<formula>Rt/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>