Spiral.scala
changeset 75 24d9d64c2a95
parent 72 83b021fc7d29
child 87 9c52c21b5db3
equal deleted inserted replaced
73:569280c1f56c 75:24d9d64c2a95
   560     //println(decode(erase(a_v._1), bs3))
   560     //println(decode(erase(a_v._1), bs3))
   561   }
   561   }
   562   def christian_def2(){
   562   def christian_def2(){
   563     val a = AALTS(List(Z), List(AZERO, ASEQ(List(), AALTS(List(),List(AONE(List()), ACHAR(Nil, 'b'))), ACHAR(Nil, 'b'))  )   )
   563     val a = AALTS(List(Z), List(AZERO, ASEQ(List(), AALTS(List(),List(AONE(List()), ACHAR(Nil, 'b'))), ACHAR(Nil, 'b'))  )   )
   564     val unsimp = bsimp(bder('b',a))
   564     val unsimp = bsimp(bder('b',a))
   565     val simped = bsimp(bder('b', bsimp(a)))
   565     val simped = bsimp(bder('b', bsimp(a))           )
   566     println(bsimp(a))
   566     println(bsimp(a))
   567     if(unsimp == simped){
   567     if(unsimp == simped){
   568       println(s"bsimp(bder c r) = ${unsimp}, whereas bsimp(bder c bsimp r) = ${simped}")
   568       println(s"bsimp(bder c r) = ${unsimp}, whereas bsimp(bder c bsimp r) = ${simped}")
   569     }
   569     }
   570   }
   570   }