changeset 75 | 24d9d64c2a95 |
parent 72 | 83b021fc7d29 |
child 87 | 9c52c21b5db3 |
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 } |