extended-reals-0.2.0.0: Extension of real numbers with positive/negative infinities

Index

ExtendedData.ExtendedReal
FiniteData.ExtendedReal
infData.ExtendedReal
isFiniteData.ExtendedReal
isInfiniteData.ExtendedReal
NegInfData.ExtendedReal
PosInfData.ExtendedReal