2137
Comment:
|
3928
|
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 intersections of free_quadratic_modules and thus 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 [[https://trac.sagemath.org/ticket/23671|#23671]] * 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]] |
|
Line 33: | Line 41: |
* [[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 47: |
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, Ichiro Shimada, Tony Várilly-Alvarado Zeta functions (Monsky-Washnitzer cohomology): Jen Balakrishnan, Edgar Costa, Kiran Kedlaya Zeta functions (Dwork cohomology): Anastassia Etropolski, Heidi Goodson, David Roe, 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 #23671
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
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, Ichiro Shimada, Tony Várilly-Alvarado
Zeta functions (Monsky-Washnitzer cohomology): Jen Balakrishnan, Edgar Costa, Kiran Kedlaya
Zeta functions (Dwork cohomology): Anastassia Etropolski, Heidi Goodson, David Roe, Ursula Whitcher
People of many interests: Jen Berg, Renate Scheidler, Mckenzie West, David Zureick-Brown, Lenny Taelman