1 2 3 4 5
//! greatest common divisor on integer gcd(a, b) //! a, b \in \Z. //! 0 := identity element and empty product here. //! gcd(0, 0) := 0 //! \prod_{\emptyset} := 0