> | restart; |
Китайская теорема об остатках
> | M1:=17*12; Z:=msolve(M1*y1=2,5);assign(Z); |
M1 := 204
Z := {y1 = 3}
> | M2:=5*12; Z:=msolve(M2*y2=15,17);assign(Z); |
M2 := 60
Z := {y2 = 13}
> | M3:=5*17; Z:=msolve(M3*y3=5,12);assign(Z); |
M3 := 85
Z := {y3 = 5}
> | M1*y1+M2*y2+M3*y3 mod 1020; |
797