up previous next
IsFractionField    --    test whether a ring is a fraction field


Syntax 
IsFractionField(R: RING): BOOL

Description
This function tests whether the ring R is a fraction field, i.e. is QQ or has been constructed with NewFractionField .

Example 
/**/  use R ::= QQ[x,y];  R;
RingWithID(201, "QQ[x,y]")
/**/  IsFractionField(R);
false
/**/  K := NewFractionField(R);  K;
RingWithID(202, "FractionField(RingWithID(201))")
/**/  IsFractionField(K);
true
/**/ BaseRing(K);
RingWithID(201, "QQ[x,y]")

See Also