>

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