Home Online Manual
Top
Back: is_cenSubbimodule
Forward: isDenom
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.5.17 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.17.0. isDenom  determine if a polynomial is in the denominator set of the localization
7.5.17.0. testNcloc  execute a series of internal testing procedures
7.5.17.0. testNclocExamples  execute the examples of all procedures in this library