Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose Magma has computed homomorphism $h$ between function fields $F1 \to F2$. Then we have an induced homomorphism $h$ on the divisor group. Now my question is that if there's a better way to compute this homomorphism for $D2 := h(D1)$ than this way which is basically computing the image of the two generators of each place and is very slow.

Ps, Ds := Support(D1);
D2 := Divisor(F2!1);

for i := 1 to #Ps do
  g1,g2 := TwoGenerators(Ps[i]);

  G1 := h(g1);
  G2 := h(g2);

  D2 := D2 + Ds[i]*ZeroDivisor(GCD(Divisor(G1), Divisor(G2)) );

end for; 

Thank you very much indeed!

share|improve this question
    
There are some Pullback functions in the documentation, but I've never used them. See if anything fits. –  Dror Speiser Jul 5 '11 at 8:12
    
Ooh, I like that magma tag you just created. –  David White Jul 6 '11 at 17:29
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.