From 1610c6c5f8e21d6530b3ceb2c78afe6cb1997a53 Mon Sep 17 00:00:00 2001
From: Francis Russell <francis@unchartedbackwaters.co.uk>
Date: Fri, 12 Apr 2013 17:19:28 +0100
Subject: [PATCH] Add simple example expressing a DFT.

---
 src/Main.hs | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/src/Main.hs b/src/Main.hs
index 5459a6f..bb5d7f9 100644
--- 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)
-- 
2.47.3