arithmetic.egi

--
-- Originally auto-generated by egison-translator; modernized for the
-- typed CAS (declare symbol; sqrt expectations follow the current
-- engine: content split keeps rational radicands, and the pair rule
-- merges sqrt products -- see Math/Rewrite.hs casRewriteSqrt).
--

declare symbol x, y

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))

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