Thank you very much for your explanation and the kind help. With best regards, Petra Tadic
On Thursday, March 27, 2014 9:08:26 PM UTC+1, John Cremona wrote: > > On 27 March 2014 18:04, <[email protected] <javascript:>> 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] <javascript:>. > > To post to this group, send email to > > [email protected]<javascript:>. > > > 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.
