equal
deleted
inserted
replaced
105 if mod_inv 4 339 = 85 then () else error "mod_inv 4 339 = 85 changed"; |
105 if mod_inv 4 339 = 85 then () else error "mod_inv 4 339 = 85 changed"; |
106 |
106 |
107 "----------- fun mod_div --------------------------------"; |
107 "----------- fun mod_div --------------------------------"; |
108 "----------- fun mod_div --------------------------------"; |
108 "----------- fun mod_div --------------------------------"; |
109 "----------- fun mod_div --------------------------------"; |
109 "----------- fun mod_div --------------------------------"; |
|
110 if mod_div 21 3 5 = 2 then () else error "mod_div changed"; 21 mod 5 = (3 * 2) mod 5; |
|
111 if mod_div 22 3 5 = 4 then () else error "mod_div changed"; 22 mod 5 = (3 * 4) mod 5; |
|
112 if mod_div 23 3 5 = 1 then () else error "mod_div changed"; 23 mod 5 = (3 * 1) mod 5; |
|
113 if mod_div 24 3 5 = 3 then () else error "mod_div changed"; 24 mod 5 = (3 * 3) mod 5; |
|
114 if mod_div 25 3 5 = 0 then () else error "mod_div changed"; 25 mod 5 = (3 * 0) mod 5; |
|
115 |
110 if mod_div 21 4 5 = 4 then () else error "mod_div 21 4 5 = 4 changed"; |
116 if mod_div 21 4 5 = 4 then () else error "mod_div 21 4 5 = 4 changed"; |
111 if mod_div 1 4 5 = 4 then () else error "mod_div 1 4 5 = 4 changed"; |
117 if mod_div 1 4 5 = 4 then () else error "mod_div 1 4 5 = 4 changed"; |
112 if mod_div 0 4 5 = 0 then () else error "mod_div 0 4 5 = 0 changed"; |
118 if mod_div 0 4 5 = 0 then () else error "mod_div 0 4 5 = 0 changed"; |
113 |
119 |
114 "----------- fun chinese_remainder ----------------------"; |
120 "----------- fun chinese_remainder ----------------------"; |