CoCoA:Colon

From ApCoCoAWiki

Colon

ideal or module quotient

Description

This function returns the quotient of M by N: the ideal of all

polynomials F such that F*G is in M for all G in N. The command

M : N is a shortcut for Colon(M,N).

See also <ttref>HColon</ttref> for non-homogeneous input.

Example

  Use R ::= Q[x,y];
  Ideal(xy,x^2) : Ideal(x);
Ideal(y, x)
-------------------------------
  Colon(Ideal(x^2,xy), Ideal(x,x-y^2));
Ideal(x)
-------------------------------

Syntax

Colon(M:IDEAL,N:IDEAL):IDEAL
Colon(M:MODULE,N:MODULE):IDEAL

Saturation

HSaturation

HColon

Shortcuts

   <type>groebner</type>
   <type>groebner-basic</type>
   <type>ideal</type>
   <type>module</type>
   <type>polynomial</type>
   <type>vector</type>
   <type>cocoaserver</type>