Re: [sage-support] elliptic curve extension degree

2012-03-23 Thread John Cremona
It's my fault as I wrote the code.  if the given degree d fails the test 
d>1 then it's assumed to be 1 (even if d<0!!).  As William says, raising an 
error would be better, so this should be fixed.

John

On Friday, March 23, 2012 6:08:36 PM UTC, Ken Ribet wrote:
>
> On Thursday, March 22, 2012 2:44:43 PM UTC-7, William wrote:
>>
>> On Thu, Mar 22, 2012 at 5:22 PM, Kenneth A. Ribet wrote:
>> >
>> > Consider this short sage transcript:
>> >
>> > sage: E=EllipticCurve(GF(3),[1,1])
>> > sage: for i in range(3):
>> > ...   print i,E.order(extension_degree=i)
>> > 0 4
>> > 1 4
>> > 2 16
>> >
>> > Sage seem to think that E has 4 points over the field with 1 element. 
>>  Was
>> > this intended?
>> >
>>
>> When i=0, I would rather get an error message, e.g., Sage should I
>> think raise a ValueError.  I.e., I don't think that there is an
>> extension of "degree 0".  Do you agree?
>>
>
> Yes, I'm afraid that there is no extension of degree 0.  I agree!
>
> Ken 
>

-- 
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org


Re: [sage-support] elliptic curve extension degree

2012-03-23 Thread Ken Ribet
On Thursday, March 22, 2012 2:44:43 PM UTC-7, William wrote:
>
> On Thu, Mar 22, 2012 at 5:22 PM, Kenneth A. Ribet wrote:
> >
> > Consider this short sage transcript:
> >
> > sage: E=EllipticCurve(GF(3),[1,1])
> > sage: for i in range(3):
> > ...   print i,E.order(extension_degree=i)
> > 0 4
> > 1 4
> > 2 16
> >
> > Sage seem to think that E has 4 points over the field with 1 element. 
>  Was
> > this intended?
> >
>
> When i=0, I would rather get an error message, e.g., Sage should I
> think raise a ValueError.  I.e., I don't think that there is an
> extension of "degree 0".  Do you agree?
>

Yes, I'm afraid that there is no extension of degree 0.  I agree!

Ken 

-- 
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org


Re: [sage-support] elliptic curve extension degree

2012-03-22 Thread William Stein
On Thu, Mar 22, 2012 at 5:22 PM, Kenneth A. Ribet  wrote:
>
> Consider this short sage transcript:
>
> sage: E=EllipticCurve(GF(3),[1,1])
> sage: for i in range(3):
> ...       print i,E.order(extension_degree=i)
> 0 4
> 1 4
> 2 16
>
> Sage seem to think that E has 4 points over the field with 1 element.  Was
> this intended?
>

When i=0, I would rather get an error message, e.g., Sage should I
think raise a ValueError.  I.e., I don't think that there is an
extension of "degree 0".  Do you agree?


> Ken
>
> --
> To post to this group, send email to sage-support@googlegroups.com
> To unsubscribe from this group, send email to
> sage-support+unsubscr...@googlegroups.com
> For more options, visit this group at
> http://groups.google.com/group/sage-support
> URL: http://www.sagemath.org




--
William Stein
Professor of Mathematics
University of Washington
http://wstein.org

-- 
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org


[sage-support] elliptic curve extension degree

2012-03-22 Thread Kenneth A. Ribet
Consider this short sage transcript:

sage: E=EllipticCurve(GF(3),[1,1])
sage: for i in range(3):
...   print i,E.order(extension_degree=i)
0 4
1 4
2 16

Sage seem to think that E has 4 points over the field with 1 element.  Was this 
intended?

Ken

-- 
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org