The Lisp

zhufei's blog

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