Simultaneous triangularization over max-algebras | Synapse