typemin function, fix tagbot

Author: GiggleLiu

.github/workflows/TagBot.yml

@@ -1,11 +1,15 @@
 name: TagBot
 on:
-  schedule:
-    - cron: 0 * * * *
+  issue_comment:
+    types:
+      - created
+  workflow_dispatch:
 jobs:
   TagBot:
+    if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
     runs-on: ubuntu-latest
     steps:
       - uses: JuliaRegistries/TagBot@v1
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
+          ssh: ${{ secrets.DOCUMENTER_KEY }}

Project.toml

@@ -1,7 +1,7 @@
 name = "TropicalNumbers"
 uuid = "b3a74e9c-7526-4576-a4eb-79c0d4c32334"
 authors = ["GiggleLiu"]
-version = "0.5.3"
+version = "0.5.4"
 
 [compat]
 julia = "1"

src/counting_tropical.jl

@@ -49,9 +49,10 @@ end
 # inverse and division
 Base.inv(x::CountingTropical) = CountingTropical(-x.n, x.c)
 
+Base.typemin(::Type{CountingTropical{T,CT}}) where {T<:AbstractFloat,CT} = CountingTropical(typemin(T), zero(CT))
 Base.zero(::Type{CountingTropical{T}}) where T = zero(CountingTropical{T,T})
 Base.zero(::Type{CountingTropical{T,CT}}) where {T<:Integer,CT} = CountingTropical(T(-999999), zero(CT))
-Base.zero(::Type{CountingTropical{T,CT}}) where {T<:AbstractFloat,CT} = CountingTropical(typemin(T), zero(CT))
+Base.zero(::Type{CountingTropical{T,CT}}) where {T<:AbstractFloat,CT} = typemin(CountingTropical{T, CT})
 Base.zero(::T) where T<:CountingTropical = zero(T)
 Base.one(::Type{CountingTropical{T}}) where T = one(CountingTropical{T,T})
 Base.one(::Type{CountingTropical{T,CT}}) where {T<:Integer,CT} = CountingTropical(zero(T), one(CT))

src/tropical.jl

@@ -12,10 +12,10 @@ neginf(::Type{Int8}) = Int8(-64)
     
 [Tropical number](https://en.wikipedia.org/wiki/Tropical_geometry) is a semiring algebra that maps
 
-* `+` in regular algebra to `max`,
-* `*` in regular algebra to `+`,
-* `1` in regular algebra to `0`,
-* `0` in regular algebra to `-Inf` (for integer content types, this is chosen as a mall integer).
+* `+` to `max` in regular algebra,
+* `*` to `+` in regular algebra,
+* `1` to `0` in regular algebra,
+* `0` to `-Inf` in regular algebra (for integer content types, this is chosen as a mall integer).
 
 We implemented fast tropical matrix multiplication in [`TropicalGEMM`](https://github.com/TensorBFS/TropicalGEMM.jl/).
 
@@ -64,7 +64,8 @@ function Base.:*(a::Tropical{<:Rational}, b::Tropical{<:Rational})
     end
 end
 Base.:+(a::Tropical, b::Tropical) = Tropical(max(a.n, b.n))
-Base.zero(::Type{Tropical{T}}) where T = Tropical(neginf(T))
+Base.typemin(::Type{Tropical{T}}) where T = Tropical(typemin(T))
+Base.zero(::Type{Tropical{T}}) where T = typemin(Tropical{T})
 Base.zero(::Tropical{T}) where T = zero(Tropical{T})
 
 Base.one(::Type{Tropical{T}}) where T = Tropical(zero(T))