|
Size: 2088
Comment:
|
Size: 4069
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 13: | Line 13: |
| Please add "sd91" as a keyword to any tickets you are working in during this week so they show up in this list: [[https://trac.sagemath.org/query?keywords=~sd91&col=id&col=summary&col=status&col=type&col=priority&col=milestone&col=component&order=status|sd91 Tickets]] | Please add "sd91" as a keyword to any tickets you are working on during this Sage Days so they show up in this list: [[https://trac.sagemath.org/query?keywords=~sd91&col=id&col=summary&col=status&col=type&col=priority&col=milestone&col=component&order=status|sd91 Tickets]] '''Lattice related projects''' |
| Line 16: | Line 18: |
| * fix homomorphisms of abelian groups [[https://trac.sagemath.org/ticket/23703|#23703]] | * use the inner_product_matrix for module comparison [[https://trac.sagemath.org/ticket/23915|#23915]] |
| Line 23: | Line 25: |
| * a latex representation for the genus using the Conway Sloane genus symbols | * a latex representation for the genus using the Conway Sloane genus symbols [[https://trac.sagemath.org/ticket/23916|#23916]] |
| Line 26: | Line 28: |
| * expose more of [[https://github.com/jefferyphein/ternary-birch|Jeffery Hein's lattice code]] than is currently being used for modular forms [[https://trac.sagemath.org/ticket/23342|23342]] | |
| Line 27: | Line 30: |
| '''Point counting and zeta function projects''' * hypergeometric motives: Euler factors at good primes [[https://trac.sagemath.org/ticket/23671|#23671]], possibly others * get Edgar Costa's code for zeta functions of projective hypersurfaces into Sage [[https://trac.sagemath.org/ticket/23863|#23863]] * package Sebastian Pancratz's code for deformation computation of zeta functions [[https://trac.sagemath.org/ticket/20265|#20265]] * implement a (rigorous, sane) test for Weil polynomials. More ambitious: get [[https://github.com/kedlaya/root-unitary|this code]] for exhausting over Weil polynomials into Sage * Add Malcolm Kotok's code for zeta functions using the Sperber-Voight algorithm to Sage: [[https://trac.sagemath.org/ticket/19865|#19865]], [[http://hdl.handle.net/1802/30832]] * implement the Cayley trick for handling nondegenerate complete intersections |
|
| Line 33: | Line 42: |
| * [[https://trac.sagemath.org/ticket/23376|#23376]] | * bugfix for genera equality testing [[https://trac.sagemath.org/ticket/23376|#23376]] * Speedups for reflexive polytopes: [[https://trac.sagemath.org/ticket/22391|#22391]], [[https://trac.sagemath.org/ticket/22391|#22594]] |
| Line 37: | Line 48: |
| Before the workshop, we recommend [[http://www.sagemath.org/|downloading and installing]] the latest version of the source code of Sage, opening a [[https://trac.sagemath.org/|Sage trac]] account. | Before the workshop, we recommend opening a [[https://trac.sagemath.org/|Sage trac]] account and completing the [[https://www.codecademy.com/|Code Academy]] modules on Python and Git. If you like you may [[http://www.sagemath.org/|download and install]] the latest version of the source code of Sage, though we hope to arrange installations on a CoCalc server. == Possible Interest Groups == Lattices: Simon Brandhorst, Amy Feaver, Andreas Malmendier, David Roe, Ichiro Shimada Zeta functions (Monsky-Washnitzer cohomology/deformation): Jen Balakrishnan, Edgar Costa, Kiran Kedlaya Zeta functions (Dwork cohomology): Anastassia Etropolski, Heidi Goodson, Tony Várilly-Alvarado, Ursula Whitcher People of many interests: Jen Berg, Renate Scheidler, Mckenzie West, David Zureick-Brown, Lenny Taelman |
Sage Days 91: Open Source Computation and Algebraic Surfaces (Sept. 29 - Oct. 1, 2017)
Location: Banff International Research Station.
Schedule
https://www.birs.ca/events/2017/2-day-workshops/17w2677/schedule
Projects
Feel free to add suggestions
Please add "sd91" as a keyword to any tickets you are working on during this Sage Days so they show up in this list: sd91 Tickets
Lattice related projects
fix vector matrix multiplication for free module elements #23576
fix .annihilator() for the trivial abelian group #22720
use the inner_product_matrix for module comparison #23915
implement finite bilinear/quadratic forms and make sure that the discriminant group has one #23699
- implement QQ/ZZ , QQ/2ZZ or QQ/nZZ as abelian groups. This is where finite quadratic/bilinear forms have values
- implement a class for (subgroups of) the orthogonal group of a finite bilinear/quadratic form and an algorithm to compute it
- diagonalization and isomorphism testing for finite quadratic/bilinear forms
- create a genus from a signature pair and a finite quadratic form
- create a finite quadratic form from a genus
a latex representation for the genus using the Conway Sloane genus symbols #23916
- a base class for the orthogonal group of a lattice
- a method to compute the orthogonal group of a positive definite lattice
expose more of Jeffery Hein's lattice code than is currently being used for modular forms 23342
Point counting and zeta function projects
hypergeometric motives: Euler factors at good primes #23671, possibly others
get Edgar Costa's code for zeta functions of projective hypersurfaces into Sage #23863
package Sebastian Pancratz's code for deformation computation of zeta functions #20265
implement a (rigorous, sane) test for Weil polynomials. More ambitious: get this code for exhausting over Weil polynomials into Sage
Add Malcolm Kotok's code for zeta functions using the Sperber-Voight algorithm to Sage: #19865, http://hdl.handle.net/1802/30832
- implement the Cayley trick for handling nondegenerate complete intersections
Tickets needing review
To prepare for the workshop
Before the workshop, we recommend opening a Sage trac account and completing the Code Academy modules on Python and Git. If you like you may download and install the latest version of the source code of Sage, though we hope to arrange installations on a CoCalc server.
Possible Interest Groups
Lattices: Simon Brandhorst, Amy Feaver, Andreas Malmendier, David Roe, Ichiro Shimada
Zeta functions (Monsky-Washnitzer cohomology/deformation): Jen Balakrishnan, Edgar Costa, Kiran Kedlaya
Zeta functions (Dwork cohomology): Anastassia Etropolski, Heidi Goodson, Tony Várilly-Alvarado, Ursula Whitcher
People of many interests: Jen Berg, Renate Scheidler, Mckenzie West, David Zureick-Brown, Lenny Taelman