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