|
Size: 2677
Comment: implemented all the new functions for singular cubics from Kate's wishlist
|
← Revision 35 as of 2011-10-01 17:59:47 ⇥
Size: 1834
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| BZh91AY&SY¾ý ² ·ì@pÿÿþ/è|Kÿÿÿþ ` ß h Âh £F ÄiAh ɨoÕ@=@ 4 Ì&Ð4a F14F Âh £F ÄiAh ÉÌ&Ð4a F14F IDÒbbB½I S1e1?SQì©ê}¢>± _Ýýû¢ ¯àB«¢H]ä¯m%÷@Ð Oj¼þJö´ÛåÑ¥e¡|eUÀ¢."û+elË;ãfËÛJfʱlZø¦2Ë+Ö×dCKÕmâ*!B¡ª!-"IdJsö»½ÜDõ'Ð"%$¨jFIeÓ«¾U&×¥±Mrw3R}mh²ÎÎݺµLÒ~Ñ×Ï»[û-ÉSú¶¬qRÎðòH`# R|Gè*~²{I)²IbXtOàp=hõ¢K¡Ò\¦"mGØ}ÄÚÞO*})ÖtÒ5jÕ«V©ø§äô Ë#Ø7'3Cø»Dy<eÒÉÔ)(Ô=mY3Jd, 1) DIHhxHØzÍÆáBä³zRNgì%;Ð`̱E åÍë#¨¢Ç!à¥8:gW?fN¾Ñøä4 aÚSÈ;GÚ?ɸðO¹'æ²Å ª Âdw§4ô'5 ¢SÔ÷Í^áu» ¢RQé ;V¥(Õµ$íG´JEÑE.IÒK,"é.qIE#¸ÍEæ |
=== Project Leader === |
| Line 21: | Line 3: |
| bI£Ær']D¦Ö¯ÞÌè#àCq Ç£_y;¤¥%Adì]#&ÑBX6.[ 59ÎpI DF#K#åÞ#ªmÜÜÞµmß¿:¬IУßIcÊvH²Ìú6måº!»pI? 'áø\ãÀ}â(#sBÜ7Ye·Þ]üú'4ë,êkѲúÖLýümûÈ¡µH,³¡¦Ý|[múrůG!MùdÝ/ÊÆ,øé·)¦4Ã+Þ×¢ød#ex˺!{¾vôæÑ¢Í+sü$læ.³¬¸²IH¥$¤Xu4×£ Ë*÷¼µ9Pªò¼Å' + -1£î¦zýõ}¼ÛF̦,_LZئrÎiL1Jç¦ t9D¡I'&¹î¶Åºï[E*¹büz8Â1-J¦¬æÅUYB:véX¶ ;ÇYa:\6k®ûÖõÜàd¿êP¥2ÏaXÎÞÚ´tD3×9¥úsá£Á³g öÙ·[Ölr¦Yi¸iíjeÖÊÝ )&/·»L¶ÖäÙR\FVaRÔ1¶ø}´É¸Fv¾}¾[kX[(bª5o(Eð#vtÒúôkvyçyôÐ}Àe$êE IX¥¥ ÅçÈzÏYfÃì%!5£ÆøW%étE)8EÌYE"ù1`¤P¼IjE<«Y)(WƽR²dúBéEóyÞ´²GjrNô÷K¹¤²QYE(|Î!Ûô£>ÃÚ`XGãNd°øÅXX~HºK¢é...¤¸¸º.j>Â5D\þl *%¬ m1 ií ?p°[ü:SN% ¯Ì±±0á`0«1~ió S!¹ÌxFÉÿGí ©·Ó§öÞÕ)B¥%)GYç\ïwòçnÅÑà)©Ð£9$Fdæ0ñ$ø¢ ¼n:r ø»¤Gâ:¸ïN±8Òñî30]T"¦$è?ðå$ýæHx{=>âNI7Õ<`±¸4[©æN¤;Ó¨Ðnmoq U"8fò ÅOÎãFeâYÉȦwáÜýÃxØÝdÐ(½ ä"DzQ|%"ø'r:Ì:²÷H#°råÚ5äàuÁ ! Ê( ÖSªÁÞ¤Üu¦¦6 l !7í=ä2"î=Q :Dörý}=Ý®ª% K% øñ ðvwY8=Â,#ät ù|½§ÄG PFK<yä.)8<û½ãÿO=üøCÇ!?ÉÒ)) ¨ä5CÊjYGÊò¯æ'û"Èؤ yGÒ`É# (q±.o,H`Y C 62E J0±K!tGò;Ñ?£éSè?Óð}ïìÉõ[ÜDÚÙ!?ü]ÉáBBûôzÈ |
Kate === Group Members === Aly, Jenn, Diane, Ekin === Project Description === Associated notebook file [[attachment:KateWishList.sws]] Projects are listed by section below. No one is currently working on these ones: * Compute lots of examples to find guesses for bounds on "C" * Put Kate's EDS class into sage (document properly)? === Restricted global_minimal_model() === * Ticket needs review! [[http://trac.sagemath.org/sage_trac/ticket/11827|#11827]] === Wrapping E.reduction(prime)(P) === * Our first positive review! [[http://trac.sagemath.org/sage_trac/ticket/11822|#11822]] === p-adics === * Implement E.reduction(p) for E defined over a p-adic fields: [[attachment:reduction of elliptic curves over padics.sws]] * This found a bug/needed enhancement which is now reported: [[http://trac.sagemath.org/sage_trac/ticket/11826|#11826]] * Tate's algorithm [[attachment:Tate.sws]] [[attachment:tate(1).sws]] === Singular Cubics === [[http://trac.sagemath.org/sage_trac/ticket/11823 | Trac ticket 11823 ]] * Currently the patch on the trac server will allow one to define singular cubics. {{{ sage: E = WeierstrassCubic([0,0,0,0,0]) sage: E.is_singular() True }}} * Stuff to do: * Work through elliptic curve documentation, test functions that should work for singular curves, and update the following lists * Document the WeierstrassCubic and SingularWeierstrass classes we've created * Do the stuff on the list below * make E.reduction(bad_prime) able to return this singular cubic object * put the checks back in for EllipticCurve and SingularWeierstrass that it is actually (or is not) singular * Functions that seem ok out of the box (so need only documentation adjustment/testing): * a_invariants() etc |
Project Leader
Kate
Group Members
Aly, Jenn, Diane, Ekin
Project Description
Associated notebook file KateWishList.sws
Projects are listed by section below. No one is currently working on these ones:
- Compute lots of examples to find guesses for bounds on "C"
- Put Kate's EDS class into sage (document properly)?
Restricted global_minimal_model()
* Ticket needs review! #11827
Wrapping E.reduction(prime)(P)
* Our first positive review! #11822
p-adics
* Implement E.reduction(p) for E defined over a p-adic fields: reduction of elliptic curves over padics.sws
This found a bug/needed enhancement which is now reported: #11826
* Tate's algorithm Tate.sws tate(1).sws
Singular Cubics
* Currently the patch on the trac server will allow one to define singular cubics.
sage: E = WeierstrassCubic([0,0,0,0,0]) sage: E.is_singular() True
* Stuff to do:
- Work through elliptic curve documentation, test functions that should work for singular curves, and update the following lists
Document the WeierstrassCubic and SingularWeierstrass classes we've created
- Do the stuff on the list below
- make E.reduction(bad_prime) able to return this singular cubic object
put the checks back in for EllipticCurve and SingularWeierstrass that it is actually (or is not) singular
* Functions that seem ok out of the box (so need only documentation adjustment/testing):
- a_invariants() etc