SCIP EX1.20 Indicate the remainder operations in gcd using normal-order and application-order evaluation. 2016-05-01