Dear rana-aere,
If you think this is an issue, then *you* should be working on it.
Every SageMath developers is a volunteer that does not take orders
and think by herself or himself what is relevant to do. Note that
helping others is indeed a concern for most of them.
As a start:
- you can check whether there is already an existing ticket
on https://trac.sagemath.org/ for this problem, and if not
open one which tracks down the problem to its essence (for
example it has nothing to do with elliptic curves).
- If you have a *concrete suggestion* in favor of an improvement
but does not know how to implement it, this could be discussed
on the sage-devel mailing list.
SageMath developers are mature enough to read the messages on this
list and figure out what is relevant to do without your call.
Best
Vincent
Le 05/04/2020 à 17:38, rana-aere a écrit :
I think it is an issue to be reported.
So, I wait for someone to respond this question.
To developers of the SageMath module of rings:
Please verify the program in this question, with debugging messages I added.
we ran into a weakness of SageMath either
in formula processing producing too complicated denominators
or in SageMath module of quotient of rings, which fail to reduce the
element of the ring.
I believe the code reported here is an important entry for new students to
SageMath.
Please program what is going for this program.
2020年4月5日日曜日 5時56分25秒 UTC+9 finotti:
Thanks for the reply!
On Saturday, April 4, 2020 at 1:00:12 PM UTC-4, rana-aere wrote:
I modified the code and tried to trace computation.
I think you stepped over the weakness of Sagemath.
I was afraid that that would be the case...
The modified code is quoted below.
The line with many minus signs is meant to separate the program in
different cells of jupyter notebook.
My impression is that the program computes R, P + Q, LHS = (P + Q) + R
and then Q + R for RHS.
After that the data for the outer call of P + (Q + R) becomes too big so
that Sagemath cannot pass the parameters to add_EC.
Thanks for taking the time to do that! I really appreciate. I wonder if
this is an issue that I should report or if it simply "how it is"...
I think we will just stick with Magma for now. I try to use (and teach
with) Sage whenever possible, but in this case I think I will have to stick
with Magma.
Thanks again!
--
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 sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/574305a9-2107-286e-44c1-61fc381b6195%40gmail.com.
