CoCoA:Dim

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)

Dim

the dimension of a ring or quotient object

Description

This function computes the dimension of R. The weights of the

indeterminates of the polynomial ring must all be 1.

The coefficient ring must be a field.

Example

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

Syntax

Dim(R:RING or TAGGED(<quotes>Quotient</quotes>)):INT
   <type>groebner</type>
   <type>groebner-basic</type>
   <type>hilbert</type>
   <type>quotient</type>
   <type>ring</type>