Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
workshops:workshop0223 [2023/02/02 09:29] – lkastner | workshops:workshop0223 [2023/02/03 15:04] (current) – lkastner | ||
---|---|---|---|
Line 33: | Line 33: | ||
| ::: | ** 1. Phylogenetics in polymake ** (MA 313) || | | ::: | ** 1. Phylogenetics in polymake ** (MA 313) || | ||
| ::: | // Andrei Comăneci // || | | ::: | // Andrei Comăneci // || | ||
- | | ::: | ** 2. Secondary fans and dual subdivisions | + | | ::: | ** 2. Regular |
| ::: | // Sylvain Spitz // || | | ::: | // Sylvain Spitz // || | ||
- | | 16:30-18:00 | **Helpdesk** (MA 621) || | + | | 16:30-18:15 | **Helpdesk** (MA 621) || |
- | | ~19:00 | **Dinner** (self paid, at [[http:// | + | | ~18:45 | **Dinner** (self paid, at [[http:// |
< | < | ||
< | < | ||
Line 50: | Line 50: | ||
== polymake Basics == | == polymake Basics == | ||
General introduction to polymake, perl, and the datatypes. | General introduction to polymake, perl, and the datatypes. | ||
+ | |||
+ | == Tools == | ||
+ | We will talk about development tools for polymake and Oscar.jl, that are also useful in general, like: gdb, git, Yggdrasil, BinaryBuilder, | ||
== Oscar.jl == | == Oscar.jl == | ||
- | Overview of OSCAR' | + | We give an overview of performing linear programming using Oscar.jl and implement the Conti-Traverso method which uses Groebner bases to solve certain integer linear programs. {{ : |
+ | |||
+ | == Markov bases in polymake == | ||
+ | We present some of the theory behind computing Markov basis, go over some of the implementations details and see some examples of how to compute Markov bases in polymake. | ||
== Phylogenetics in polymake == | == Phylogenetics in polymake == | ||
We present a new functionality in polymake which exploits tropical geometry to analyze phylogenetic data. | We present a new functionality in polymake which exploits tropical geometry to analyze phylogenetic data. | ||
+ | |||
+ | == Regular subdivisions and tropical hypersurfaces == | ||
+ | We show how to handle secondary fans in POLYMAKE and how to compute regular subdivisions with MPTOPCOM. | ||
=====Hotel recommendations in proximity of the Institute of Mathematics: | =====Hotel recommendations in proximity of the Institute of Mathematics: | ||
Line 66: | Line 75: | ||
- | ===== developer | + | ===== Developer |
- | The developer meeting takes place on February 2nd and 4th. If you want to participate in the developer meeting as well, please let us know by email. Developers can find more information [[internal/ | + | The developer meeting takes place on February 2nd and 4th. If you want to participate in the developer meeting as well, please let us know by email. Developers can find more information [[internal/ |
- | ===== local organizers ===== | + | ===== Local organizers ===== |
- [[https:// | - [[https:// | ||
- [[https:// | - [[https:// | ||
- [[https:// | - [[https:// | ||
Please contact us with any questions about the workshop. To email us, please use '' | Please contact us with any questions about the workshop. To email us, please use '' |