better comparing truncated polynomial

Author: GiggleLiu

src/arithematics.jl

@@ -105,6 +105,7 @@ struct TruncatedPoly{K,T,TO} <: Number
     coeffs::NTuple{K,T}
     maxorder::TO
 end
+Base.:(==)(t1::TruncatedPoly{K}, t2::TruncatedPoly{K}) where K = t1.maxorder == t2.maxorder && all(i->t1.coeffs[i] == t2.coeffs[i], 1:K)
 
 """
     Max2Poly{T,TO} = TruncatedPoly{2,T,TO}
@@ -171,7 +172,7 @@ end
 ############################ ExtendedTropical #####################
 """
     ExtendedTropical{K,TO} <: Number
-    ExtendedTropical(orders)
+    ExtendedTropical{K}(orders)
 
 Extended Tropical numbers with largest `K` orders keeped,
 or the [`TruncatedPoly`](@ref) without coefficients,
@@ -806,4 +807,4 @@ pre_invert_exponent(t::TropicalNumbers.TropicalTypes) = inv(t)
 # negate the exponents after entering the solver
 post_invert_exponent(t::TruncatedPoly{K}) where K = TruncatedPoly(ntuple(i->t.coeffs[K-i+1], K), -t.maxorder+(K-1))
 post_invert_exponent(t::TropicalNumbers.TropicalTypes) = inv(t)
-post_invert_exponent(t::ExtendedTropical{K}) where K = ExtendedTropical{K}(map(i->inv(t.orders[i]), K:-1:1))
+post_invert_exponent(t::ExtendedTropical{K}) where K = ExtendedTropical{K}(map(i->inv(t.orders[i]), K:-1:1))