Infinities.jl
Infinities.jl copied to clipboard
A Julia package for representing infinity in all its forms
Not sure where the right place to fix this is but we currently have: ```julia ERROR: MethodError: *(::ForwardDiff.Dual{ForwardDiff.Tag{var"#15#16", Float64}, Float64, 2}, ::Infinities.Infinity) is ambiguous. Candidates: *(a::Real, y::Infinities.Infinity) in Infinities at...
Tag v1.0
I noticed it's been 1.5 years since the last breaking change. Please let me know in the next week if you have a breaking change otherwise I'll tag v1.0.
Not done yet, but should be a good start
I'm not sure whether it makes more sense here or in Static.jl, but I'd think there should be code somewhere to make this work: ```julia julia> static(∞) ERROR: There is...
> `InfiniteCardinal{k}`, for the cardinality of an infinite set, e.g., ℵ₀ for the cardinality of the integers and ℵ₁ for the cardinality of the reals. Not sure if this is...
In order to make use of this package for TransformVariables.jl, I would like to ask for distinct types for *positive* and *negative* (real) infinity, ideally accessible with `∞` and `-∞`....
#### We seem to be discussing these six flavors of Infiinity ---------------------------- - infinity as the limit (or bounds) of real magnitude: ∞ - two signed infinities of affine extension:...
Thanks for starting this package. I've been getting used to it before adding my stuff. Here are a few things I've noticed in the implementation so far that I think...
Project plan
1. [x] `Infinity
Test: ```julia using Test, Infinities @testset "hash versus floating-point infinity" begin @testset "one argument" begin @test hash(Inf) === hash(∞) end @testset "two arguments" begin for h ∈ rand(UInt, 256) @test...