Polish tropicalnumbers

[GiggleLiu]

No description provided.

[codecov]

Codecov Report

Merging #3 (1404d34) into master (65af12b) will increase coverage by 8.06%.
The diff coverage is 56.25%.

❗ Current head 1404d34 differs from pull request most recent head 7fbe52b. Consider uploading reports for the commit 7fbe52b to get more accurate results

@@            Coverage Diff             @@
##           master       #3      +/-   ##
==========================================
+ Coverage   60.78%   68.85%   +8.06%     
==========================================
  Files           3        3              
  Lines          51       61      +10     
==========================================
+ Hits           31       42      +11     
+ Misses         20       19       -1     

Impacted Files	Coverage Δ
src/TropicalNumbers.jl	45.45% <40.00%> (-54.55%)	⬇️
src/counting_tropical.jl	69.56% <80.00%> (+14.56%)	⬆️
src/tropical.jl	77.77% <100.00%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 1374391...7fbe52b. Read the comment docs.