Home Online Manual
Top
Back: isInS
Forward: testFraction
FastBack:
FastForward:
Up: olga_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.5.23.0. fracStatus
Procedure from library olga.lib (see olga_lib).

Usage:
fracStatus(frac, locType, locData), vector frac, int locType, list/intvec/vector locData

Purpose:
determine if the given vector is a representation of a fraction in the specified localization

Assume:

Return:
list

Note:
- the first entry is 0 or 1, depending whether the input is valid - the second entry is a string with a status message

Example:
 
LIB "olga.lib";
ring r = QQ[x,y,Dx,Dy];
def R = Weyl();
setring R;
fracStatus([1,0,0,0], 42, list(1));
==> [1]:
==>    0
==> [2]:
==>    invalid localization in fraction: gen(1)
==>       invalid localization: type is 42, valid types are:
==> 0 for a monoidal localization
==> 1 for a geometric localization
==> 2 for a rational localization
list L = x;
fracStatus([0,7,x,0], 0, L);
==> [1]:
==>    0
==> [2]:
==>    vector is not a valid fraction: no denominator specified in x*gen(3)+7\
   *gen(2)
fracStatus([Dx,Dy,0,0], 0, L);
==> [1]:
==>    0
==> [2]:
==>    the left denominator Dx of fraction Dx*gen(1)+Dy*gen(2) is not in the \
   denominator set of type 0 given by x
fracStatus([0,0,Dx,Dy], 0, L);
==> [1]:
==>    0
==> [2]:
==>    the right denominator Dy of fraction Dx*gen(3)+Dy*gen(4) is not in the\
    denominator set of type 0 given by x
fracStatus([x,Dx,Dy,x], 0, L);
==> [1]:
==>    0
==> [2]:
==>    left and right representation are not equal in:x*gen(4)+x*gen(1)+Dx*ge\
   n(2)+Dy*gen(3)
fracStatus([x,Dx,x*Dx+2,x^2], 0, L);
==> [1]:
==>    1
==> [2]:
==>    valid fraction