minplus_algebra
