On 27 March 2014 18:04, <[email protected]> wrote: > > Thank you very much for your kind help. It is a honor to get the question > answered by you. Does the MAGMA command SIntegralPoints miss points also? >
You would have to ask the Magma people about that, but the implementations are entirely independent. When we (I and a couple of Masters students) first implemented integral and S-integral points in Sage (over Q only) in 2008, we did find points which Magma missed, but since then both implementations have had improvements, to the extent that Steve Donnelly (Magma) now uses a lot of tricks which are not published. It is taking me longer than I expected to review a long-lived patch on the trac server which translates an implementation by another student of mine of integral points over number fields (not S-integral points yet) from its original Magma form to Sage; there are some good reasons for this, as some of the published formulas are wrong! Your enquiry gives me motivation to get back to that project which has been lying neglected since term started in January! John > With best regards, > Petra Tadic > > On Thursday, March 27, 2014 6:21:24 PM UTC+1, John Cremona wrote: >> >> If the rank is successfully computed then it will be cached so calling >> E.rank() afterwards will just retriueve the value with no further >> computing. ALternatively, compute the rank first, then the S-integral >> points computation will need not re-do it. >> >> I should tell you , though, that there are examples where some >> S-integral points are missed and it is a rather long-delayed project >> of mine to correct that; I am first working on the (separate) >> integral points code, and after that will look again at the S-integral >> points. So you should probably not rely on the outpus to prove any >> theorems just yet. >> >> John >> >> On 27 March 2014 17:06, <[email protected]> wrote: >> > I am using the command s_integral points for a lot of elliptic curves >> > for >> > calculating S-integral points of elliptic curves over Q. I know that the >> > command s_integral_points in it's calculation calculates also the rank >> > of >> > the elliptic curve in question but doesn't output the result. How can I >> > get >> > the value of the rank without calculating it separatly again with >> > another >> > command for the rank. So I'd like to get the rank and the S-integral >> > points >> > all at once with the one s_integral_points command. Thank you for the >> > help. >> > >> > -- >> > You received this message because you are subscribed to the Google >> > Groups >> > "sage-support" group. >> > To unsubscribe from this group and stop receiving emails from it, send >> > an >> > email to [email protected]. >> > To post to this group, send email to [email protected]. >> > Visit this group at http://groups.google.com/group/sage-support. >> > For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sage-support. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
