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