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