IsFractionField -- test whether a ring is a fraction field |
Syntax |
IsFractionField(R: RING): BOOL |
Description |
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 |