cst_tests: comparison Spiral.scala

equal deleted inserted replaced

-:0573615e41a3
+:83b021fc7d29
 val bs3 = retrieve(a_v._1, a_v._2)//decode(erase(as), bs1) does not work
 //println(decode(erase(as), bs1))
 println(s"bs1=${bs1}, bs3=${bs3}")
 //println(decode(erase(a_v._1), bs3))
 }
+def christian_def2(){
+val a = AALTS(List(Z), List(AZERO, ASEQ(List(), AALTS(List(),List(AONE(List()), ACHAR(Nil, 'b'))), ACHAR(Nil, 'b'))  )   )
+val unsimp = bsimp(bder('b',a))
+val simped = bsimp(bder('b', bsimp(a)))
+println(bsimp(a))
+if(unsimp == simped){
+println(s"bsimp(bder c r) = ${unsimp}, whereas bsimp(bder c bsimp r) = ${simped}")
+}
+}
 def essence_posix(){
 //val s = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"//rd_string_gen(alphabet_size, 3)//"abaa"//rd_string_gen(alphabet_size, 3)
 val s0 = "a"
 val r = SEQ(STAR(ALT("a", "aa")), "b")//internalise(random_struct_gen(4))//ASTAR(List(),AALTS(List(),List(ASTAR(List(Z),ACHAR(List(),'a')), ASEQ(List(S),ACHAR(List(),'a'),ACHAR(List(),'b')))))//internalise(balanced_struct_gen(3))//SEQ(ALTS(List(STAR("a"),ALTS(List("a","c")))),SEQ(ALTS(List("c","a")),ALTS(List("c","b")))) //random_struct_gen(7)
 for(i <- 1 to 40){
 //check_all()
 //radical_correctness()
 //correctness_proof_convenient_path()
 //retrieve_experience()
 //neat_retrieve()
-test_bsimp2()
+//test_bsimp2()
+christian_def2()
 //christian_def()
 //essence_posix()
 }
 }