up previous next
NewFractionField    --    create a new fraction field


Syntax 
NewFractionField(R: RING): RING

Description
Create the fraction field of R; R must be a true GCD domain.

NOTE: calling twice NewFractionField will produce two different rings, even with identical input: equality test is performed on the pointers. See RingID .

Example 
/**/  K := NewFractionField(NewPolyRing(QQ, "a,b"));
/**/  use K;
/**/  M := mat([[1,2,3,a],[5,6,7,a*b]]);
/**/  LinKerBasis(M);
[[-1, 2, -1, 0], [(a*b -3*a)/2, (-a*b +5*a)/4, 0, -1]]

See Also