Searched refs:rnfjoinmodules (Results 1 – 2 of 2) sorted by relevance
2913 rnfjoinmodules(GEN nf, GEN x, GEN y) in rnfjoinmodules() function3512 z = rnfjoinmodules(nf, z, vD); in rnfallbase()
2647 rnfjoinmodules(GEN nf, GEN x, GEN y) in rnfjoinmodules() function3022 z = rnfjoinmodules(nf, z, y); in rnfallbase()