Add simple example expressing a DFT.

diff --git a/src/Main.hs b/src/Main.hs
index 5459a6f8dcc09d3513ae2f313e18ec52c4cdda5b..bb5d7f9065ba36a929c94cd677ab9d6de42bff1a 100644 (file)
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -1,4 +1,27 @@
 module Main (main) where
 
+import LTA.Symbolic
+
 main :: IO()
-main = putStrLn "Hello World!"
+main = putStrLn $ show dft
+
+row :: Expr
+row = IntegerSymbol "row"
+
+col :: Expr
+col = IntegerSymbol "col"
+
+n :: Expr
+n = IntegerSymbol "N"
+
+e :: Expr
+e = Constant Euler
+
+i :: Expr
+i = Constant ImaginaryUnit
+
+pi :: Expr
+pi = Constant Pi
+
+dft :: Expr
+dft = pow e ((- i * 2 * Main.pi * row * col) / n)