equal
deleted
inserted
replaced
101 size(EVIL1(3)) // 7 |
101 size(EVIL1(3)) // 7 |
102 size(EVIL1(5)) // 7 |
102 size(EVIL1(5)) // 7 |
103 size(EVIL1(7)) // 7 |
103 size(EVIL1(7)) // 7 |
104 |
104 |
105 |
105 |
106 // but the size of the derivatives can grow |
106 // but the size of the derivatives can still grow |
107 // quite dramatically |
107 // quite dramatically |
108 |
108 |
109 size(ders("".toList, EVIL2)) // 5 |
109 size(ders("".toList, EVIL2)) // 5 |
110 size(ders("a".toList, EVIL2)) // 12 |
110 size(ders("a".toList, EVIL2)) // 12 |
111 size(ders("aa".toList, EVIL2)) // 28 |
111 size(ders("aa".toList, EVIL2)) // 28 |