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