initial
[prop.git] / tools / demos / calculus.pcc
blobd90c8b85cb884365944919e5136d49af7e67e2f1
1 #include "calculus.ph"
4 Term simplify(Term t) 
5 {  match (t) {
6       case (Int(i) + Int(j)):  Int(i+j)
7       case (Int(i) - Int(j)):  Int(i-j)
8       case (Int(i) * Int(j)):  Int(i*j)
9       case (Int(i) / Int(j)):  Int(i/j)
10       case (Int(i) ^ Int(j)):  Int(power(i,j))
11       case (e ^ Int(0)):       Int(1)
12       case (e ^ Int(1)):       e
13       case _: 
14    }