Магма CAS. Нахождение всех d в [1..100], таких что x^3+y^3=d для x,y в рациональных числах
> One := procedure();
procedure> P2<x,y,z> := ProjectiveSpace(Rationals(),2);
procedure> for i := 1 to 100 do
procedure|for> C_i := Curve(P2, x^3+y^3-i*z^3);
procedure|for> E_i, C_itoE_i := EllipticCurve(C_i);
procedure|for> G, map := MordellWeilGroup(E_i);
procedure|for> print Generators(E_i);
procedure|for> end for;
procedure> end procedure;
> One;
procedure() ... end procedure
Этот метод по какой-то причине только распечатывает "method () ... конец процедуры". Я, честно говоря, понятия не имею, почему, я пытался это исправить, но в пред. коды C_i и E_i были допустимыми понятиями внутри цикла for. Вам не нужно говорить мне точную ошибку или даже знать Магму, но если вы можете помочь мне решить эту проблему, это было бы здорово (например, работа в команде?).
1 ответ
Решение
Попробуйте вызвать процедуру:
> One();
(Прошло много времени с тех пор, как я что-то делал с Магмой, но похоже, One;
сам по себе оценивает саму процедуру.)