Next Page Contents

groebner::dimension -- the dimension of the affine variety generated by polynomials

Introduction

groebner::dimension(polys) computes the dimension of the affine variety generated by the polynomials in the set or list polys.

Call(s)

groebner::dimension(polys <, order>)

Parameters

polys - a list or set of polynomials of the same type. Alternatively, a list or set of polynomial expressions with rational coefficients.
order - one of the identifiers DegInvLexOrder, DegreeOrder, and LexOrder, or a user-defined term ordering of type Dom::MonomOrdering. The default ordering is DegInvLexOrder.

Returns

a nonnegative integer

Related Functions

groebner::gbasis, poly

Details

Example 1

An example from the book of Cox, Little and O'Shea (see below):

>> groebner::dimension([y^2*z^3, x^5*z^4, x^2*y*z^2])
                                     2

Background

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000