Difference between revisions of "CoCoA:Dim"
From ApCoCoAWiki
(pushing XML rev. 1.46, again) |
(No difference)
|
Latest revision as of 10:02, 24 October 2007
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>