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];
/**/  K := NewFractionField(R);
/**/  IsFractionField(K);
true;
/**/ BaseRing(K);
RingWithID(3, "QQ[x,y]")

See Also