[sage-gsoc] Re: Clarification in the project idea "Coordinate the GCA and exterior algebra implementations"

2024-03-28 Thread tcscrims
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

[sage-gsoc] Re: Associative-Magmatic-Algebras

2024-03-28 Thread tcscrims
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