extended-reals-0.2.4.0: Extension of real numbers with positive/negative infinities
Extension of real numbers with positive/negative infinities (±∞). It is useful for describing various limiting behaviors in mathematics.
Modules
- Data
Extension of real numbers with positive/negative infinities (±∞). It is useful for describing various limiting behaviors in mathematics.
Modules