Macaulay2 » Documentation
Packages » TriangularSets :: dim(TriaSystem)

next | previous | forward | backward | up | index | toc

dim(TriaSystem) -- dimension of a triangular set

Function: dim
Usage:

dim T

codim T
Inputs:
- T, an instance of the type TriaSystem,
Outputs:
- an integer, dimension of the zero set of T

Description

This method computes the dimension of the zero set of a triangular system

i1 : R = QQ[a,b,c,d,e,f,g,h, MonomialOrder=>Lex];

i2 : F = {a*d - b*c, c*f - d*e, e*h - f*g};

i3 : T = triaSystem(R,F)

o3 = {a*d - b*c, c*f - d*e, e*h - f*g} / {d, f, h}

o3 : TriaSystem

i4 : dim T

o4 = 5

Caveat

It is assumed that the triangular set is a regular chain

See also

TriaSystem -- a triangular system
isRegularChain -- whether a triangular set is a regular chain

Ways to use this method:

dim(TriaSystem) -- dimension of a triangular set

The source of this document is in TriangularSets/TriangularSetsDoc.m2:367:0.