Minimal tropical basis for Bergman fan of matroid - Yasuhito Nakajima (2019)