Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
workshops:workshop0223 [2023/02/02 09:26] – lkastner | workshops:workshop0223 [2023/02/03 11:08] – [polymake conference] spitz | ||
---|---|---|---|
Line 30: | Line 30: | ||
| ::: | // Claudia Yun // | // Antony Della Vecchia // | | | ::: | // Claudia Yun // | // Antony Della Vecchia // | | ||
| 15: | | 15: | ||
- | | 15: | + | | 15: |
+ | | ::: | ** 1. Phylogenetics in polymake ** (MA 313) || | ||
| ::: | // Andrei Comăneci // || | | ::: | // Andrei Comăneci // || | ||
+ | | ::: | ** 2. Regular subdivisions and tropical hypersurfaces ** (MA 313) || | ||
+ | | ::: | // Sylvain Spitz // || | ||
| 16: | | 16: | ||
| ~19: | | ~19: | ||
Line 47: | 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 63: | 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 '' |