IntsWithInfinty.jl

Ints augmented with Infinity
Author Jeffrey-Sarnoff
Sub Category Discrete Math
Category Mathematics
Github
Popularity
1 Star
Updated Last
2 Years Ago
Started In
April 2016

IntsWithInfinity.jl

Machine Integers augmented with positive and negative Infinities

         least magnitudes             |      greatest magnitudes
:-------------------------------------|:--------------------------------------
 typemin( InfInt16 ) == -Infinity16     | typemax( InfInt16 ) == +Infinity16  
  intmin( InfInt16 )  == typemin(Int16)  |  intmax( InfInt16 )  == typemax(Int16)  

PosInf + PosInf == PosInf - NegInf ==  PosInf
PosInf - PosInf == PosInf + NegInf ==  Unbound
PosInf + NegInf == PosInf - PosInf ==  Unbound
PosInf - NegInf == PosInf + PosInf ==  PosInf

NegInf + PosInf == NegInf - NegInf ==  Unbound
NegInf - PosInf == NegInf + NegInf ==  NegInf
NegInf + NegInf == NegInf - PosInf ==  NegInf
NegInf - NegInf == NegInf + PosInf ==  Unbound

PosInf * PosInf == PosInf / NegInf ==  PosInf
PosInf / PosInf == PosInf * NegInf ==  Unbound
PosInf * NegInf == PosInf / PosInf ==  Unbound
PosInf / NegInf == PosInf * PosInf ==  PosInf

NegInf * PosInf == NegInf / NegInf ==  Unbound
NegInf / PosInf == NegInf * NegInf ==  NegInf
NegInf * NegInf == NegInf / PosInf ==  NegInf
NegInf / NegInf == NegInf * PosInf ==  Unbound

PosInf + Int    == PosInf - Int    == Int + PosInf    ==  PosInf
NegInf + Int    == NegInf - Int    == Int - PosInf    ==  NegInf
PosInf * Int    == PosInf / Int    == Int * PosInf    ==  PosInf
NegInf * Int    == NegInf / Int    == Int * NegInf    ==  NegInf

Int / PosInf    == Int / NegInf    == Zero * Zero     ==  Zero
Zero * PosInf   == Zero * NegInf   == Zero / Zero     ==  Zero

op(x, Unbound)  == op(Unboud, x)   == Unbound
immutable InfInt32{I}
    val::Int32
end

typealias Zero32    InfInt32{ 0}
typealias NonZero32 InfInt32{ 1}
typealias PosInf32  InfInt32{+2}
typealias NegInf32  InfInt32{-2}
typealias Unbound32 InfInt32{ 3}