gfanTropicalRank -- the tropical rank of a matrix

Synopsis

• Usage:

  (R, S) = gfanTropicalRank M

• Inputs:
  • M, a matrix,
• Optional inputs:
  • kapranov
• Outputs:
  • R, an integer, the rank of M
  • S, a string, a description of how the rank was found

Description

i1 : (R,S) = gfanTropicalRank matrix {{1,2},{1,2}};

i2 : R

o2 = 1

i3 : S

o3 = 1x1 picks monomial: true, meaning that rank is > 0
     2x2 picks monomial: false, meaning that rank is <= 1

This program will compute the tropical rank of matrix given as input. Tropical addition is MAXIMUM.
Options:
--kapranov:
 Compute Kapranov rank instead of tropical rank.
--determinant:
 Compute the tropical determinant instead.