Differences between revisions 8 and 25 (spanning 17 versions)

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

a class for integral lattices #23634
bugfix for genera equality testing #23376
Speedups for reflexive polytopes: #22391, #22594

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

-  ⇤ ← Revision 8 as of 2017-08-28 15:39:38 → 
  Size: 2137
  Editor: sbrandhorst
  Comment:
+   ← Revision 25 as of 2017-09-23 04:14:36 → ⇥
  Size: 3940
  Editor: kedlaya
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 13:
-Please add "sd91" as a keyword to any tickets you are working on 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, 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