isField -- whether something is a field

Synopsis

• Usage:

  isField R

• Inputs:
  • R, a ring
• Outputs:
  • a Boolean value, true if R was explicitly constructed as a field (no computation is done) and false otherwise

Description

i1 : isField QQ

o1 = true

i2 : isField CC_53

o2 = true

i3 : isField GF(2,3)

o3 = true

i4 : isField(frac(QQ[x,y]))

o4 = true

i5 : R = QQ[x]/(x^2+1)

o5 = R

o5 : QuotientRing

i6 : isUnit x

o6 = true

i7 : isField R

o7 = false

i8 : F = toField R

o8 = F

o8 : PolynomialRing

i9 : isField F

o9 = true

See also

• toField -- declare that a ring is a field
• FractionField -- the class of all fraction fields
• GaloisField -- the class of all Galois fields
• QuotientRing -- the class of all quotient rings
• isUnit -- whether a ring element is a unit