Macaulay2 » Documentation
Packages » Macaulay2Doc » The Macaulay2 language » Type » RingFamily » InexactFieldFamily
next | previous | forward | backward | up | index | toc

InexactFieldFamily -- the class of all families of inexact fields

Description

All real numbers have the same class, RR, but the rings they belong to depends on the number of binary digits of precision used to represent them. Similarly for complex numbers, which all belong to the class CC. Thus RR and CC are regarded not as inexact fields, but as families of inexact fields.

i1 : x = 1/3.

o1 = .3333333333333333

o1 : RR (of precision 53)
 
i2 : class x

o2 = RR

o2 : InexactFieldFamily
 
i3 : ring x

o3 = RR
       53

o3 : RealField
 
i4 : x = 1/3.p200

o4 = .3333333333333333333333333333333333333333333333333333333333334

o4 : RR (of precision 200)
 
i5 : class x

o5 = RR

o5 : InexactFieldFamily
 
i6 : ring x

o6 = RR
       200

o6 : RealField

See also

Methods that use an inexact field family:

  • default(InexactFieldFamily) -- see default -- default member of a family
  • InexactFieldFamily Array -- see Ring Array -- the standard way to make a polynomial ring
  • InexactFieldFamily List -- see Ring List -- make a local polynomial ring
  • InexactFieldFamily Monoid -- see Ring Monoid -- make a polynomial ring

Protected objects of class InexactFieldFamily:

  • CC -- the class of all complex numbers
  • RR -- the class of all real numbers
  • RRi -- the class of all real intervals

For the programmer

The object InexactFieldFamily is a type, with ancestor classes RingFamily < Type < MutableHashTable < HashTable < Thing.

The source of this document is in Macaulay2Doc/doc_rings.m2:447:0.