up previous next
NewFractionField

create a new fraction field

Syntax
NewFractionField(R: RING): RING

Description
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