|
Size: 821
Comment:
|
Size: 1926
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| * from Alice's talk: * Implement the algorithm (use Sage's pseudoprime function to check) * What other primality tests does Pari have? Wrap these. * Make things faster: implement as a python (maybe cython??) file * How does GIMPS work? * Ask Drew Sutherland what he's done? * Implement Larry Washington's formulas for dealing with elliptic curves over integral domains |
|
| Line 4: | Line 13: |
| *[[http://trac.sagemath.org/sage_trac/ticket/7926|#7926: Bring coverage of Monsky-Washnitzer up to 50%]] *[[http://trac.sagemath.org/sage_trac/ticket/8241|#8241: p-adic fields should have Witt Frobenius]] *[[http://trac.sagemath.org/sage_trac/ticket/8685|#8685: evaluation of Monsky-Washnitzer objects (really about power series over p-adics)]] *[[http://trac.sagemath.org/sage_trac/ticket/9887|#9887: Slow coercion from integer ring to integer mod ring]] *[[http://trac.sagemath.org/sage_trac/ticket/11319|#11319: Cannot create homomorphism from prime residue field to finite field]] *[[http://trac.sagemath.org/sage_trac/ticket/11777|#11777: Coercion/printing problem with p-adics]] * computing with chi_18 |
* [[http://trac.sagemath.org/sage_trac/ticket/7926|#7926: Bring coverage of Monsky-Washnitzer up to 50%]] * [[http://trac.sagemath.org/sage_trac/ticket/8241|#8241: p-adic fields should have Witt Frobenius]] * [[http://trac.sagemath.org/sage_trac/ticket/8685|#8685: evaluation of Monsky-Washnitzer objects (really about power series over p-adics)]] * [[http://trac.sagemath.org/sage_trac/ticket/9887|#9887: Slow coercion from integer ring to integer mod ring]] * [[http://trac.sagemath.org/sage_trac/ticket/11319|#11319: Cannot create homomorphism from prime residue field to finite field]] * [[http://trac.sagemath.org/sage_trac/ticket/11777|#11777: Coercion/printing problem with p-adics]] |
| Line 14: | Line 21: |
* [[http://trac.sagemath.org/sage_trac/ticket/11697|#11697: Global minimal models over number fields with class number >= 1]] * this is in Connell and probably wouldn't take to long to get at least a python toy version * Sage already has this for class number 1 fields * [[http://trac.sagemath.org/sage_trac/query?status=needs_info&status=needs_review&status=needs_work&status=new&order=priority&col=id&col=summary&col=status&col=type&col=priority&col=milestone&col=component&keywords=~beginner&report=38| Open beginner tickets]] * Reviewing number theory and elliptic curve tickets * Kate's Group [[http://wiki.sagemath.org/days33/kates]] * L-function Project [[http://wiki.sagemath.org/days33/lfunction]] |
To do list
* from Alice's talk:
- Implement the algorithm (use Sage's pseudoprime function to check)
- What other primality tests does Pari have? Wrap these.
- Make things faster: implement as a python (maybe cython??) file
- How does GIMPS work?
- Ask Drew Sutherland what he's done?
- Implement Larry Washington's formulas for dealing with elliptic curves over integral domains
* p-adics
#8685: evaluation of Monsky-Washnitzer objects (really about power series over p-adics)
#11319: Cannot create homomorphism from prime residue field to finite field
* wrapping of gauss composition (in pari: QuadClassUnit)
* #11697: Global minimal models over number fields with class number >= 1
- this is in Connell and probably wouldn't take to long to get at least a python toy version
- Sage already has this for class number 1 fields
* Reviewing number theory and elliptic curve tickets
* Kate's Group http://wiki.sagemath.org/days33/kates
* L-function Project http://wiki.sagemath.org/days33/lfunction