Johannes Hoffmann, email: johannes.hoffmann at math.rwth-aachen.de
Overview:
This library introduces a new type: ncfrac.
This type wraps the data defining a (non-commutative) fraction in an Ore
localization of a G-algebra as in olga.lib.
An element of type ncfrac has five members:
- polys lnum, lden, rnum, rden
- ncloc loc
Operations:
string(ncfrac);
give a string representation of the data describing the fraction
print(ncfrac);
prints the string representation of the fraction
status(ncfrac);
report on the status/validity of the fraction
test(ncfrac);
check if the fraction is valid
Infix operations:
ncfrac == ncfrac;
compare two fractions
ncfrac != ncfrac;
compare two fractions
ncfrac + ncfrac;
add two fractions
ncfrac - ncfrac
subtract two fractions
ncfrac * ncfrac
multiply two fractions
ncfrac / ncfrac
divide two fractions
ncfrac = int/number/poly
create a fraction with:
- left and right denominator equal to 1
- left and right numerator determined by the input
- localization data describing the trivial monoidal localization at 1
ncfrac = vector
create a fraction from a vector v with unspecified localization such that
lden,lnum,rnum,rden = v[1],v[2],v[3],v[4]
(note: without specifying a localization afterwards this results is an
invalid fraction)
ncfrac = list
create a fraction from a list L as follows:
- try to create a fraction from L[1] as above
- if L[2] is of type ncloc set the localization of the fraction to L[2]