Singular

7.5.16 ncloc_lib

Library:

ncloc.lib

Purpose:

Ore-localization in G-Algebras

Author:

Johannes Hoffmann, email: johannes.hoffmann at math.rwth-aachen.de

Overview:

This library introduces a new type: ncloc.
This type wraps the localization data defined as in olga.lib. An element of type ncloc has two members:
- int locType
- def locData

Operations:

string(ncloc);
give a string representation of the data describing the localization print(ncloc);
prints the string representation of the localization status(ncloc);
report on the status/validity of the localization test(ncloc);
check if the localization is valid

Infix operations:

ncloc == ncloc;
compare two localizations
ncloc != ncloc;
compare two localizations
ncloc = list/poly
create a monoidal localization from the given data ncloc = ideal
create a geometric localization from the given data ncloc = intvec
create a rational localization from the given data

Procedures:

7.5.16.0. isDenom		determine if a polynomial is in the denominator set of the localization
7.5.16.0. testNcloc		execute a series of internal testing procedures
7.5.16.0. testNclocExamples		execute the examples of all procedures in this library