arithmetic.egi

(assert-equal "sum"
  (sum (take 5 nats))
  15)

(assert-equal "product"
  (product (take 5 nats))
  120)

(assert-equal "power"
  (power 2 5)
  32)

(assert-equal "** - case 1"
  (power x 3)
  x^3)

(assert-equal "** - case 2"
  (power (sqrt 2) 4)
  4)

(assert-equal "gcd"
  (gcd 15 40)
  5)

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

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