Dear Pranav,
In part, but not entirely. The exterior algebra is a specific case of a
GCA where all generators are odd. The exterior algebra code currently
assumes all of those generators are degree 1, but it could be extended. The
other part would be to mix the (commutative) polynomial rings
One needs to be *very* careful about what operations mean. -T(2), the
(tropical) additive inverse of 2, is *not* T(-2). There is no way to have
min(2, a) = \infty (note that this is the (tropical) additive unit).
I am not sure how (or if) determinants over the tropical semiring are
defined, but