4530.sagews

n1=6;n2=11;n3=17;

N1=n2*n3;N2=n1*n3;N3=n1*n2;

(g,u1,v1)=xgcd(N1,n1);u1

1

(g,u2,v2)=xgcd(N2,n2);u2

4

(g,u3,v3)=xgcd(N3,n3);u3

8

# Chinese Remaindering Formula from exercise 1.20 
x=3*N1*u1+4*N2*u2+5*N3*u3; Mod(x,6*11*17)

345

Mod(x,6),Mod(x,11),Mod(x,17)

(3, 4, 5)