scala/recs.scala
changeset 238 6ea1062da89a
parent 201 09befdf4fc99
child 239 ac3309722536
--- a/scala/recs.scala	Mon Apr 22 08:26:16 2013 +0100
+++ b/scala/recs.scala	Mon Apr 22 10:33:40 2013 +0100
@@ -205,4 +205,14 @@
   Branch_aux(rs, rs.head._1.arity)
 }
 
+val Lg = {
+ val rec_lgR = Less o (Power o (Id(3, 1), Id(3, 2)), Id(3, 0))
+ val conR1 = Conj o (Less o (Const(1) o (Id(2, 0), Id(2, 0)), 
+                             Less o (Const(1) o (Id(2, 0)), Id(2, 1))))
+ val conR2 = Not o ConR1
+ Add o (Mult o (conR1, Maxr(lgR) o (Id(2, 0), Id(2, 1), Id(2, 0))), 
+        Mult o (conR2, Constn(0) o (Id(2, 0)))) 
 }
+
+
+}