Next: Polynomial Rings [HB 38]
Up: Basic Rings
Previous: Basic Rings
Real and Complex Fields
New features:
- The extended reals (type ExtRe) have been introduced to
provide a satisfactory common universe for Infinity and
integers/rationals/reals. This allows sequences of valuations
to be created even when some of the valuations are infinite.
Bug fixes:
- The calculation
no longer crashes.
Next: Polynomial Rings [HB 38]
Up: Basic Rings
Previous: Basic Rings