Top
Back: Polynomial data
Forward: Monomial orderings
FastBack: Polynomial data
FastForward: Mathematical background
Up: Polynomial data
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

B.1 Representation of mathematical objects

SINGULAR distinguishes between objects which do not belong to a ring and those which belong to a specific ring (see Rings and orderings). We comment only on the latter ones.

Internally all ring-dependent objects are polynomials or structures built from polynomials (and some additional information). Note that SINGULAR stores (and hence prints) a polynomial automatically w.r.t. the monomial ordering.

The definition of ideals and matrices, respectively, is straight forward: The user gives a list of polynomials which generate the ideal, resp. which are the entries of the matrix. (The number of rows and columns need to be provided when creating the matrix.)

A vector in SINGULAR is always an element of a free module over the basering. It is given as a list of polynomials in one of the following formats 524#524 or 525#525, where 526#526denotes the i-th canonical generator of a free module (with 1 at index i and 0 everywhere else). Both forms are equivalent. A vector is internally represented in the second form with the 526#526being "special" ring variables, ordered accordingly to the monomial ordering. Therefore, the form 524#524serves as output only if the monomial ordering gives priority to the component, i.e., is of the form (c,...) (see Module orderings). However, in any case the procedure show from the library inout.lib displays the bracket format.

A vector 527#527should always be considered as a column vector in a free module of rank equal to nrows(333#333)where nrows(333#333)is equal to the maximal index 301#301such that 528#528.This is due to the fact, that internally 333#333is a polynomial in a sparse representation, i.e., 529#529is not stored if 530#530(for reasons of efficiency), hence the last 0-entries of 333#333are lost. Only more complex structures are able to keep the rank.

A module 13#13in SINGULAR is given by a list of vectors 531#531which generate the module as a submodule of the free module of rank equal to nrows(13#13)which is the maximum of nrows(532#532).

If one wants to create a module with a larger rank than given by its generators, one has to use the command attrib(M,"rank",r) (see attrib, nrows) or to define a matrix first, then converting it into a module. Modules in SINGULAR are almost the same as matrices, they may be considered as sparse representations of matrices. A module of a matrix is generated by the columns of the matrix and a matrix of a module has as columns the generators of the module. These conversions preserve the rank and the number of generators, resp. the number of rows and columns.

By the above remarks it might appear that SINGULAR is only able to handle submodules of a free module. However, this is not true. SINGULAR can compute with any finitely generated module over the basering 53#53.Such a module, say 420#420,is not represented by its generators but by its (generators and) relations. This means that 533#533 where 17#17is the number of generators of 420#420 and 534#534is the module of relations. In other words, defining a module 13#13as a submodule of a free module 90#90can also be considered as the definition of 533#533.

Note that most functions, when applied to a module 13#13,really deal with 13#13.However, there are some functions which deal with 533#533 instead of 13#13.

For example, std(M) computes a standard basis of 13#13(and thus gives another representation of 420#420 as 535#535std(13#13)).However, dim(M), resp. vdim(M), return dim536#536, resp.@: dim537#537(if M is given by a standard basis).

The function syz(M) returns the first syzygy module of 13#13,i.e., the module of relations of the given generators of 13#13which is equal to the second syzygy module of 420#420.Refer to the description of each function in Functions to get information which module the function deals with.

The numbering in res and other commands for computing resolutions refers to a resolution of 533#533(see res; Syzygies and resolutions).

It is possible to compute in any field which is a valid ground field in SINGULAR. For doing so, one has to define a ring with the desired ground field and at least one variable. The elements of the field are of type number, but may also be considered as polynomials (of degree 0). Large computations should be faster if the elements of the field are defined as numbers.

The above remarks do also apply to quotient rings. Polynomial data are stored internally in the same manner, the only difference is that this polynomial representation is in general not unique. reduce(f,std(0)) computes a normal form of a polynomial f in a quotient ring (cf. reduce).


Top Back: Polynomial data Forward: Monomial orderings FastBack: Polynomial data FastForward: Mathematical background Up: Polynomial data Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.4.0, 2024, generated by texi2html.