CoCoA:Colon
From ApCoCoAWiki
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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
<type>groebner</type> <type>groebner-basic</type> <type>ideal</type> <type>module</type> <type>polynomial</type> <type>vector</type> <type>cocoaserver</type>