equal
deleted
inserted
replaced
569 println(bits_print(easy)) |
569 println(bits_print(easy)) |
570 println() |
570 println() |
571 bsimp_print(easy) |
571 bsimp_print(easy) |
572 } |
572 } |
573 println(bits_print(bsimp(bders(s.toList, internalise(r))))) |
573 println(bits_print(bsimp(bders(s.toList, internalise(r))))) |
574 println(bits_print(ders_simp(internalise(r), s.toList)) |
574 println(bits_print(ders_simp(internalise(r), s.toList))) |
575 } |
575 } |
576 def find_re(){ |
576 def find_re(){ |
577 for (i <- 1 to 10000){ |
577 for (i <- 1 to 10000){ |
578 val r = balanced_struct_gen(3) |
578 val r = balanced_struct_gen(3) |
579 val s = rd_string_gen(2,1) |
579 val s = rd_string_gen(2,1) |