Differences between revisions 33 and 77 (spanning 44 versions)
Revision 33 as of 2016-10-20 20:34:27
Size: 6279
Editor: vdelecroix
Comment:
Revision 77 as of 2016-12-03 16:30:44
Size: 13498
Editor: jipilab
Comment: Added solution to second tutorial
Deletions are marked like this. Additions are marked like this.
Line 11: Line 11:
This Sage Days is the first one organized in Israel under the framework of the European Research Council (ERC) grant entitled: '''“Avenues in Probabilistic and Geometric Combinatorics”''' and the ERC H2020 project [[http://opendreamkit.org/|OpenDreamKit]]. The aim of the meeting will be to introduce the software to students and mathematicians in the region, with further emphasis on (but not limited to) '''geometric combinatorics''' and '''symbolic dynamics'''. It will be a great occasion to learn more about the software and for advanced developers to present and improve current tools.

Organizers: [[mailto:[email protected]|Jean-Philippe Labbé]].
This Sage Days is the first one organized in Israel under the framework of the European Research Council (ERC) grant entitled: '''“Avenues in Probabilistic and Geometric Combinatorics”''' and the European Commission H2020 project [[http://opendreamkit.org/|OpenDreamKit]]. The aim of the meeting will be to introduce the software to students and mathematicians in the region, with further emphasis on (but not limited to) '''geometric combinatorics''' and '''symbolic dynamics'''. It will be a great occasion to learn more about the software and for advanced developers to present and improve current tools.

Fill [[https://mensuel.framapad.org/p/sagedays79|the pad]] with your needs and wishes!

Organizer: [[mailto:[email protected]|Jean-Philippe Labbé]].
Line 25: Line 27:
The program will include '''introduction tutorials''' to Sage, combinatorics and symbolic dynamics in Sage. The meeting will include '''scientific talks''' and there will also be time for '''code sprints'''.

''Detailed schedule to be announced''.
Fill [[https://mensuel.framapad.org/p/sagedays79|the pad]] with your needs and wishes!

Here is a preliminary program for the workshop. The content of the week is ''very flexible'': more tutorials and presentations can occur depending on the interests of participants. There are side tables in the Library room: small groups of people may use them to work during the tutorials.

||<5%> ||<20%:> Monday Nov 21 ||<20%:> Tuesday Nov 22 ||<20%:> Wednesday Nov 23 ||<20%:> Thursday Nov 24 ||
||9:00 ||<#12DB0A:> Welcome/Presentation ||<#FF7676|2> Tutorial: Sage Interfaces ||<#FF7676|2> Tutorial: How to contribute to Sage ||<#FFC300|3> Practical Work ||
||9:30 ||<#12AB0A|2> Presentation of Sage + Installation Session||
||10:00 ||<#FFC300:> Practical Work ||<#FFC300:> Practical Work ||
||10:30 ||||||||<#A5DDFF> Coffee break ||
||11:00 ||<#12AB0A|3> Installation Session + Introduction to Sage/python ||<#FF7676:> Tutorial: Polytopes & Discr. Geom. ||<#FF7676:> Tutorial: Graphs & Linear Prog. ||<#FFC300:> Practical Work ||
||11:30 ||<#FFC300|2> Practical Work ||<#FFC300|2> Practical Work ||<#8348AF|2> Status Report ||
||12:00 ||
||12:30 ||||||||<#A5DDFF> Lunch ||
||14:00 ||<#12AB0A|2> Travis Scrimshaw Crystals and Box-Ball Systems ||<#12AB0A|2> Vincent Delecroix Lyapunov exponent of Teichmüller Flow ||<#FFC300|2> Practical Work ||<#FFA500|2> Zabrodsky Lectures: Dan Freed (U. Texas at Austin) -- Manchester Building||
||14:30 ||
||15:00 ||||||<#A5DDFF> Coffee break ||<#FFC500:> Light Refreshments ||
||15:30 ||<#FF7676:> Tutorial: Repr. Th. & Crystals ||<#FF7676:> Multi-dim. continued fractions ||<#FFC300|3> Practical Work ||<:> End ||
||16:00 ||<#FFC300|2> Practical Work ||<#FFC300|2> Practical Work ||
||16:30 ||
||16:45 ||<#8348AF:> Report ||<#8348AF:> Report ||<#8348AF:> Report ||
||17:00 ||<:> End ||<:> End ||<:> End ||

== Tutorials on learning python/Sage ==

- For participants starting with Python and Sage, we suggest you to read through some (not all!) documentation listed below

  - [[http://doc.sagemath.org/html/en/tutorial/tour.html|A guided tour in Sage]] takes you through basic notions and structures available in Sage

  - [[https://docs.python.org/3/tutorial/|The python tutorial]] guides you through the basic notions to advanced features of python programming language

- You can then test your knowledge with these progressive tutorials:

  - [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=First+steps+in+Sage.ipynb|First steps in Sage]]

  - [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=First+steps+in+Sage--Solution.ipynb|First steps in Sage -- Solution]]

  - [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=introduction_to_imperative_programming.ipynb|Imperative Programming]]

  - [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=introduction_to_imperative_programming--Solution.ipynb|Imperative Programming -- Solution]]

  - [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=python_object_oriented.ipynb|object oriented python]]

  - [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=object_oriented_python--Solution.ipynb|object oriented python -- Solution]]

- Polytope tutorial (Moritz Firsching): [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=Polytope+playground.ipynb|Polytope playground.ipynb]]

- Representation theory and crystals tutorial (Travis Scrimshaw) [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=repr_theory_tutorial.ipynb|Jupyter notebook]]

- Simultaneous diophantine approximations and multidimensional continued fraction algorithms (Sébastien Labbé): [[https://github.com/seblabbe/slabbe/blob/master/demos/Diophantine%20Approximation%20and%20MCF%20algorithms.ipynb|Jupyter notebook]] on github.

- Graph theory and Linear Programming tutorial (Vincent Delecroix) [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=graphs_and_lp.ipynb|graphs_and_lp.ipynb]] (also available as a static file [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=graphs_and_lp.pdf|graphs_and_lp.pdf]])

== Sage Development ==

Sage trac tickets with keyword [[https://trac.sagemath.org/query?status=closed&status=needs_info&status=needs_review&status=needs_work&status=new&status=positive_review&keywords=~days79&order=priority|days79]]. Do not forget to add the keyword "days79" for Sage trac tickets you are working on during the week.

The documentation concerning contributing to Sage can be accessed here: [[http://doc.sagemath.org/html/en/developer/index.html|Sage Developer’s Guide]]

== Status Report ==

As the first Sage Days in Israel, the main objective of this meeting was to introduce the software to local participants. Around half of the ~45 participants were beginners, we made around 15 installations of SageMath on Windows, Mac and Linux. The [[http://www.sagemath.org/download-liveusb.html|Live USB sticks]] were of great help. We allocated a lot of time for beginners to learn from tutorials but also directly from the more experienced users by personalized help. Having a flexible schedule allowed to have such help sessions, but one should not forget to prepare material for all participants to stay busy.

Here is a summary of the accomplishments of the week:

  * 47 tickets, see [[https://trac.sagemath.org/query?status=closed&status=needs_info&status=needs_review&status=needs_work&status=new&status=positive_review&keywords=~days79&order=priority|here]] for more details.
  * Around 15 installations on Windows, Mac and Linux
  * Creation of a sample package for adding to Sage
  * Around 10 participants got to know Sage better doing tutorials
  * Experienced Sage users answered tons of questions surrounding usage of Sage
  * We got 5-6 more experienced users to contribute to Sage by reviewing, reporting, writing tickets
  * Many discussions and healthy debates about view, plot, show and polytope in Sage
  * Some projects and discussions will be continued through future collaborations and meetings in 2017
Line 31: Line 102:
 * '''Travis Scrimshaw''' on ''Crystals and Box-Ball Systems''
 * '''Vincent Delecroix''' on ''TBA''
 * '''Travis Scrimshaw''' on ''Crystals and Box-Ball Systems'' [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=scrimshaw_talk.pdf|slides]]

 * '''Vincent Delecroix''' on ''Computing Lyapunov exponents of the Teichmüller flow''
    * [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=VincentDelecroix-beamer_jerusalem_2016.pdf|VincentDelecroix-beamer_jerusalem_2016.pdf]]
    * [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=VincentDelecroix-notebook_Jerusalem_2016.ipynb|VincentDelecroix-notebook_Jerusalem_2016.ipynb]]
    * [[https://wiki.sagemath.org/days79?action=AttachFile&do=get&target=VincentDelecroix-beamer_jerusalem_2016.pdf|VincentDelecroix-notebook_Jerusalem_2016.pdf]]
Line 42: Line 117:
 * Ofir David (Hebrew University, Jerusalem)
 * Ori Parzanchevski (Hebrew University, Jerusalem)
 * Edo Arad (Hebrew University, Jerusalem)
Line 50: Line 128:
 * Alberto Fernandez Boix (Ben-Gurion University, Israel)
Line 57: Line 136:
 * Rene Ruehr (Tel Aviv University, Israel)
Line 58: Line 138:
 * Ameer Kassis (Technion, Haifa, Israel)
 * Laura Peskin (Weizmann Institute, Israel)
Line 62: Line 144:
 * Patxi Laborde-Zubieta *(Université de Bordeaux, France)
 * Nicolas Thiery (Université Paris-Sud, France)
 * Patxi Laborde-Zubieta (Université de Bordeaux, France)
 * Nicolas M. Thiery (Université Paris-Sud, France)
 * Joël Gay (Université Paris-Sud, France)
Line 66: Line 149:
 * Florent Hivert (University Paris-Sud, France)
Line 76: Line 158:

== Registration & Funding ==

The funding deadline is now passed. It is still possible to register to the workshop until November 4 2016.

Please send the following form to [[mailto:[email protected]|Jean-Philippe Labbé]]

 * Name:
 * Institution:
 * Date of arrival:
 * Date of departure:
 * What are your interests in Sage (including coding projects)? What would you like to learn about Sage?
 * What are your programming experiences?
 * Do you use computer algebra systems? Which one?
 * Do you wish to give a talk or present a tutorial?

''A talk can be on anything related to mathematical development (it does not have to be Sage)
If you have some Sage experience, please consider giving a tutorial''.
Line 112: Line 175:

For more general information about traveling to [[http://wikitravel.org/en/Jerusalem|Jerusalem]].
Line 125: Line 190:

Taxis do not usually accept credit cards. A ride between TLV airport and Jerusalem costs between 250-300NIS.

=== Meals on campus ===

There are different meal options on Givat Campus. [[http://www.huji.ac.il/huji/images/campuses-maps/campusEdSafra.jpg|Campus Map]]

Among the common chosen options, that all have vegetarian options:

 i. Cafeteria in the Sherman Administration buildind: Israeli dishes
 i. Wise Auditorium (Restaurant Fabricio): Italian/Israeli restaurant with pizza, calzone, salads and coffee.
 i. Sprinzak Building: Coffee with prepared sandwiches, salads, juices and coffee
 i. Rothberg building: Big salad and pasta bar, with coffee.
 i. (more expansive) Belgium House: Coffee and salads and prepared buffets
 i. (more expansive) Haivrit Restaurant: next to the swimming pool. Typical israeli dairy food (no meat).

Sage Days 79 - November 21 -- November 24, 2016, Jerusalem

First Sage Days in Israel

Einstein Institute of Mathematics, Hebrew University of Jerusalem, Israel

Topics: Combinatorics, Symbolic dynamics

This Sage Days is the first one organized in Israel under the framework of the European Research Council (ERC) grant entitled: “Avenues in Probabilistic and Geometric Combinatorics” and the European Commission H2020 project OpenDreamKit. The aim of the meeting will be to introduce the software to students and mathematicians in the region, with further emphasis on (but not limited to) geometric combinatorics and symbolic dynamics. It will be a great occasion to learn more about the software and for advanced developers to present and improve current tools.

Fill the pad with your needs and wishes!

Organizer: Jean-Philippe Labbé.

Dates and Venue

Date: 4 days from November 21 to November 24, 2016

Fridays are usually considered weekend days in Israel.

Venue: Library of the Belgium House, Hebrew University of Jerusalem, Givat Ram Campus

Program

Fill the pad with your needs and wishes!

Here is a preliminary program for the workshop. The content of the week is very flexible: more tutorials and presentations can occur depending on the interests of participants. There are side tables in the Library room: small groups of people may use them to work during the tutorials.

Monday Nov 21

Tuesday Nov 22

Wednesday Nov 23

Thursday Nov 24

9:00

Welcome/Presentation

Tutorial: Sage Interfaces

Tutorial: How to contribute to Sage

Practical Work

9:30

Presentation of Sage + Installation Session

10:00

Practical Work

Practical Work

10:30

Coffee break

11:00

Installation Session + Introduction to Sage/python

Tutorial: Polytopes & Discr. Geom.

Tutorial: Graphs & Linear Prog.

Practical Work

11:30

Practical Work

Practical Work

Status Report

12:00

12:30

Lunch

14:00

Travis Scrimshaw Crystals and Box-Ball Systems

Vincent Delecroix Lyapunov exponent of Teichmüller Flow

Practical Work

Zabrodsky Lectures: Dan Freed (U. Texas at Austin) -- Manchester Building

14:30

15:00

Coffee break

Light Refreshments

15:30

Tutorial: Repr. Th. & Crystals

Multi-dim. continued fractions

Practical Work

End

16:00

Practical Work

Practical Work

16:30

16:45

Report

Report

Report

17:00

End

End

End

Tutorials on learning python/Sage

- For participants starting with Python and Sage, we suggest you to read through some (not all!) documentation listed below

  • - A guided tour in Sage takes you through basic notions and structures available in Sage

    - The python tutorial guides you through the basic notions to advanced features of python programming language

- You can then test your knowledge with these progressive tutorials:

- Polytope tutorial (Moritz Firsching): Polytope playground.ipynb

- Representation theory and crystals tutorial (Travis Scrimshaw) Jupyter notebook

- Simultaneous diophantine approximations and multidimensional continued fraction algorithms (Sébastien Labbé): Jupyter notebook on github.

- Graph theory and Linear Programming tutorial (Vincent Delecroix) graphs_and_lp.ipynb (also available as a static file graphs_and_lp.pdf)

Sage Development

Sage trac tickets with keyword days79. Do not forget to add the keyword "days79" for Sage trac tickets you are working on during the week.

The documentation concerning contributing to Sage can be accessed here: Sage Developer’s Guide

Status Report

As the first Sage Days in Israel, the main objective of this meeting was to introduce the software to local participants. Around half of the ~45 participants were beginners, we made around 15 installations of SageMath on Windows, Mac and Linux. The Live USB sticks were of great help. We allocated a lot of time for beginners to learn from tutorials but also directly from the more experienced users by personalized help. Having a flexible schedule allowed to have such help sessions, but one should not forget to prepare material for all participants to stay busy.

Here is a summary of the accomplishments of the week:

  • 47 tickets, see here for more details.

  • Around 15 installations on Windows, Mac and Linux
  • Creation of a sample package for adding to Sage
  • Around 10 participants got to know Sage better doing tutorials
  • Experienced Sage users answered tons of questions surrounding usage of Sage
  • We got 5-6 more experienced users to contribute to Sage by reviewing, reporting, writing tickets
  • Many discussions and healthy debates about view, plot, show and polytope in Sage
  • Some projects and discussions will be continued through future collaborations and meetings in 2017

Speakers

Participants

  • Jean-Philippe Labbé (Hebrew University, Jerusalem)
  • Ariel Davis (Hebrew University, Jerusalem)
  • Daniel Kalmanovich (Hebrew University, Jerusalem)
  • Panagiotis E Georgoudis (Hebrew University, Jerusalem)
  • Oren Becker (Hebrew University, Jerusalem)
  • David Zisselman (Hebrew University, Jerusalem)
  • Ofir David (Hebrew University, Jerusalem)
  • Ori Parzanchevski (Hebrew University, Jerusalem)
  • Edo Arad (Hebrew University, Jerusalem)
  • Malka Schaps (Bar-Ilan University, Ramat Gan, Israel)
  • Tomer Bauer (Bar-Ilan University, Ramat Gan, Israel)
  • Tahl Nowik (Bar-Ilan University, Ramat Gan, Israel)
  • Ola Omari (Bar-Ilan University, Ramat Gan, Israel)
  • Stuart W. Margolis (Bar-Ilan University, Ramat Gan, Israel)
  • Ron Adin (Bar-Ilan University, Ramat Gan, Israel)
  • Moshe Newman (Beer-Sheva, Israel)
  • Michael Chapman (Ben-Gurion University, Israel)
  • Alberto Fernandez Boix (Ben-Gurion University, Israel)
  • Adina Heilbron Cohen (Tel Aviv University, Israel)
  • Peleg Michaeli (Tel Aviv University, Israel)
  • Nishant Chandgotia (Tel Aviv University, Israel)
  • Clara Shikhelman (Tel Aviv University, Israel)
  • Konstantin Kliakhandler (Tel Aviv University, Israel)
  • Amir Sagiv (Tel Aviv University, Israel)
  • David Mottahedèh (Tel Aviv University, Israel)
  • Rene Ruehr (Tel Aviv University, Israel)
  • Sagi Snir (University of Haifa, Israel)
  • Ameer Kassis (Technion, Haifa, Israel)
  • Laura Peskin (Weizmann Institute, Israel)
  • Mee Seong Im (United States Military Academy, NY)
  • Travis Scrimshaw (University of Minnesota, USA)
  • Vincent Delecroix (Université de Bordeaux, France)
  • Adrien Boussicault (Université de Bordeaux, France)
  • Patxi Laborde-Zubieta (Université de Bordeaux, France)
  • Nicolas M. Thiery (Université Paris-Sud, France)
  • Joël Gay (Université Paris-Sud, France)
  • Florent Ygouf (Institut Fourier, Université Grenoble, France)
  • Viviane Pons (Université Paris-Sud, France)
  • Klaus Dohmen (Hochschule Mittweida, University of Applied Sciences, Germany)
  • Moritz Firsching (Freie Universität, Berlin, Germany)
  • Yumeng Li (Berlin Mathematical School, Germany)
  • Jeremias Epperlein (TU Dresden, Germany)
  • Evgeniya Lagoda (Berlin Mathematical School, Germany)
  • Vijay Sharma (Riyaaz, Netherlands)
  • Sebastián Donoso (Center for Mathematical Modeling, University of Chile)
  • Sébastien Labbé (Université de Liège, Belgium)

Lodging

We have 10 rooms reserved at the Beit Belgia (Belgium House) on Givat Ram campus from November 20th to November 25th. Seven of them have two single beds and the other three are suits with a double bed and a couch. People receiving funding for housing will have a room there waiting for them. Depending on the availability, the remaining rooms will be available for participants not receiving lodging funding. More information to come.

There are also hotels near to campus:

Prima Park Hotel

Jerusalem Gardens Hotel

For people that want to extend their stay before/after the workshop, Abraham Hostel is a very good choice of hotel/hostel downtown, close to the tram line and 10 minutes walk to the old city.

Abraham Hostel Jerusalem

Practical informations

If you did not already, please fill in the Information form

For more general information about traveling to Jerusalem.

Get to Jerusalem

The principal international airport in Israel is Tel Aviv Airport (TLV) located 55km from Jerusalem.

It is possible to get to Jerusalem from the airport:

  1. with a licenced taxi (beige colored with black), just exit the airport and turn left. It costs around 250-300NIS.
  2. with a shared taxi (mini-van) called "sherut", just exit the airport and turn right. It costs 64NIS. No need of reservation, but it leaves once the van is full. Tell to the driver "Givat Ram Campus, Beit Belgia".

The ride takes between 50 minutes and 1h15 depending on traffic conditions

Prior to the workshop we will try to organize us to coordinate taxis if possible.

Taxis do not usually accept credit cards. A ride between TLV airport and Jerusalem costs between 250-300NIS.

Meals on campus

There are different meal options on Givat Campus. Campus Map

Among the common chosen options, that all have vegetarian options:

  1. Cafeteria in the Sherman Administration buildind: Israeli dishes
  2. Wise Auditorium (Restaurant Fabricio): Italian/Israeli restaurant with pizza, calzone, salads and coffee.
  3. Sprinzak Building: Coffee with prepared sandwiches, salads, juices and coffee
  4. Rothberg building: Big salad and pasta bar, with coffee.
  5. (more expansive) Belgium House: Coffee and salads and prepared buffets
  6. (more expansive) Haivrit Restaurant: next to the swimming pool. Typical israeli dairy food (no meat).

days79 (last edited 2016-12-03 16:30:44 by jipilab)