id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
31731 CRT for polynomials mod n roed "I implemented this for #31548 but ended up not using it, so I made this ticket.
{{{
sage: moduli = [4, 9, 25, 49]
sage: N = prod(moduli)
sage: S. = Zmod(N)[]
sage: polys = [Zmod(m)['x']([sqrt(m)] + [0]*(sqrt(m)-1) + [1]) for m in moduli]
sage: f = polys[0].crt(*polys[1:])
27000*x^7 + 15876*x^5 + 34300*x^3 + 11025*x^2 + 40530
sage: all(g == f.change_ring(Zmod(m)) for (g, m) in zip(polys, moduli))
True
}}}
The interface should probably also support CRT in `k[x]` and specifying polynomial moduli." enhancement new major sage-9.7 number theory N/A u/roed/poly_crt