### 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

User manual for Singular version 4.4.1, 2025, generated by texi2html.