Multiplicativity of permanents over matrix semirings | Synapse