208 }

   208 val Lg = {

   209  val rec_lgR = Less o (Power o (Id(3, 1), Id(3, 2)), Id(3, 0))

   210  val conR1 = Conj o (Less o (Const(1) o (Id(2, 0), Id(2, 0)), 

   211                              Less o (Const(1) o (Id(2, 0)), Id(2, 1))))

   212  val conR2 = Not o ConR1

   213  Add o (Mult o (conR1, Maxr(lgR) o (Id(2, 0), Id(2, 1), Id(2, 0))), 

   214         Mult o (conR2, Constn(0) o (Id(2, 0)))) 

   215 }

   216 

   217 

   218 }