Upgrade eclib to version 20100711

[cremona]

I have made several enhancements to eclib:

1. Support for minus space modular symbols
2. Some sparse linear algebra improvements

The new version is called eclib-20100711 since it is more than just a patch-level change. See below for a link to the spkg.

The interface in sage/libs/cremona has been updated accordingly in the patch; this depends on #9441

[cremona]

The new spkg is here: ​http://www.warwick.ac.uk/staff/J.E.Cremona/eclib-20100711.spkg

[cremona]

Applies after eclib-20100711.patch and trac_9441-atkin-lehner.patch

[rlm]

I'm reviewing this and #9441 at the same time. So far it compiles just fine with sage-4.5 final, on Intel OS X 10.6.4, and I'm currently running tests. I'll also give it a try on geom.math, which has begun at the moment.

[rlm]

Looks good on OS X. Same on geom.math.

[rlm]

Small reviewer patch coming up in a minute!

[cremona]

Thanks!

[rlm]

Hmm. I think this might have something to do with one of the things I saw on #9247.

I'm attaching the reviewer patch, which causes the following:

sage -t  "devel/sage-main/sage/schemes/elliptic_curves/ell_modular_symbols.py"
**********************************************************************
File "/Users/rlmill/sage-4.5.eclib-test/devel/sage-main/sage/schemes/elliptic_curves/ell_modular_symbols.py", line 429:
    sage: M=sage.schemes.elliptic_curves.ell_modular_symbols.ModularSymbolECLIB(E,-1)
Expected nothing
Got:
    Warning : Could not normalize the modular symbols, maybe all further results will be multiplied by -1, 2 or -2.
**********************************************************************
File "/Users/rlmill/sage-4.5.eclib-test/devel/sage-main/sage/schemes/elliptic_curves/ell_modular_symbols.py", line 438:
    sage: M=sage.schemes.elliptic_curves.ell_modular_symbols.ModularSymbolECLIB(E,-1)
Expected nothing
Got:
    Warning : Could not normalize the modular symbols, maybe all further results will be multiplied by -1, 2 or -2.
**********************************************************************

John,

Can you give some info about what's going on here?

[cremona]

I have added Chris W to the CC list since we'll need his input, as he wrote ell_modular_symbols.

I agree that that file needs updating as a consequence of my upgrade; but that can be done on a separate ticket?

[rlm]

John,

I thought that eclib was propagating that warning, but clearly it's coming from ell_modular_symbols.py. Have a look at the new ref patch, and let me know what you think.

[was]

reviewer addendum looks good to me.

[mpatel]

I'm having difficulty getting the new package:

$ wget http://www.warwick.ac.uk/staff/J.E.Cremona/eclib-20100711.spkg
--19:50:47--  http://www.warwick.ac.uk/staff/J.E.Cremona/eclib-20100711.spkg
           => `eclib-20100711.spkg'
Resolving www.warwick.ac.uk... 137.205.243.107
Connecting to www.warwick.ac.uk|137.205.243.107|:80... connected.
HTTP request sent, awaiting response... 

Can someone check its availability and perhaps put a copy on the Sage cluster?

Also, should I apply both patches, too?

[mpatel]

The package is available now. I'll include both patches.

[cremona]

Sorry not to have responded earlier but I was on holiday for a few days. I think they were doing some network updating at U of Warwick, which could explain why you could not get the file. Glad it's fixed -- and thanks for the review.