egison-4.0.0: test/lib/math/algebra.egi

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

assertEqual "q-f' - case 1" (qF' 1 2 1) (-1, -1)

assertEqual
  "q-f' - case 2"
  (qF' 1 1 (-1))
  (((-1) + sqrt 5) / 2, ((-1) + (- sqrt 5)) / 2)

assertEqual
  "q-f' - case 3"
  (qF' 1 (- (((-1) + sqrt 5) / 2)) 1)
  ( ((-1) + sqrt 5 + sqrt ((-10) + (-2) * sqrt 5)) / 4
  , ((-1) + sqrt 5 + (- sqrt ((-10) + (-2) * sqrt 5))) / 4 )

assertEqual
  "fifth root of unity"
  ((((-1) + sqrt 5 + sqrt ((-10) + (-2) * sqrt 5)) / 4) ^ 5)
  1