arithmetic.egi

--
-- This file has been auto-generated by egison-translator.
--

assertEqual "sum" (sum (take 5 nats)) 15

assertEqual "product" (product (take 5 nats)) 120

assertEqual "power" (power 2 5) 32

assertEqual "** - case 1" (power x 3) (x ^ 3)

assertEqual "** - case 2" (power (sqrt 2) 4) 4

assertEqual "gcd" (gcd 15 40) 5

assertEqual "sqrt - case 1" (sqrt (50 * x ^ 2 / y)) (5 * x * sqrt (2 * y) / y)

assertEqual
  "sqrt - case 2"
  (sqrt (3 * x) * sqrt (2 * y))
  (sqrt 6 * sqrt x * sqrt y)