2 Aug
2013
2 Aug
'13
6:52 p.m.
Hello,
Subject: [PATCH 2/2] Elaborate mul::info(). Add to mul::info() rules that a) a product of two negative entries is positive; b) a product of a positive and non-negative entries is non-negative.
I've merged this one (with a slightly different commit message). Best regards, Alexei