Kevin Acres on Wed, 09 Nov 2016 12:06:55 +0100


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Issquare and rational Intmods


Hi John,

Assuming that I have 'a' and 'm' where 'a' is an arbitrary x coordinate and 'm' a gradient. I use a similar process to issquare(Mod(-3*a^2,m),&Y) to help me find solutions for a progression of two further coordinates 'b' & 'c' such that:

        k=((a*b+b*c+a*c)/(2*m))^2-a*b*c

where c = m^2-a-b and k+a^3, k+b^3 and k+c^3 are all rational squares.

You can probably see that I'm plotting linearly dependent rational points on a related series of elliptic curves.

Currently integer 'a' and rational 'm' is working fine, it would just be nice to cope with rational 'a' as well.

Whilst I'm here, a note to Bill. ellheight used to be able to take a vector of points but it seems that this feature has disappeared in 2.9.0. I'm not sure is this is by design or just an oversight.

Regards,

Kevin.





At 08:04 PM 9/11/2016, John Cremona wrote:
On 8 November 2016 at 20:50, Kevin Acres <research@research-systems.com> wrote:
> Hi Bill,
>
> For example I need to calculate something like issquare(Mod(-1727/4, 37/6))

What do you expect Mod(-1727/4, 37/6) to mean?

John

>
> Sent from my iPhone
>
>> On 9 Nov 2016, at 7:33 AM, Bill Allombert <Bill.Allombert@math.u-bordeaux.fr> wrote:
>>
>>> On Wed, Nov 09, 2016 at 07:01:25AM +1100, Kevin Acres wrote:
>>> I'm needing to perform an issquare(Mod(x,y),&s) where both x and y may
>>> be rational and the square root is returned in s.
>>>
>>> Any help on how to do this correctly would be gratefully received.
>>
>> You need to explain mathematicaly what you want: please write down the
>> equation 's' must satisfy.
>>
>> Mod(x,y) is only defined when y is an integer (or a polynomial).
>>
>> Cheers,
>> Bill.
>>
>
>