Yesterday, I gave a talk in Aachen in JRC-COMBINE (part of RWTH) to the group of Andreas Schuppert, where Satya S. Samal is working. Thanks again for the very interesting discussions!
Here are my slides on tropical geometry and PtCut, titled “Using PtCut to Compute Tropical Equilibrations“.
Just released PtCut 3.0.2 with bugfixes:
- Grid sampling didn’t work under Python3. Fixed.
- Option –stl caused print to screen. Fixed.
- Toyed around with common restrictions. Hopefully nothing is broken. 🙂
Jonas Weinz has produced pre-compiled wheels of PPLpy for Python 2.7 (for Linux 64-bit). Have look at Jonas’ page here.
I have mirrored the files here as well:
I have released a slightly updated version 3.0.1 of PtCut that works under plain Python 2.7 as well (and Python 3.x and SageMath).
Here are some videos of AIs playing video games:
I am happy to announce the latest release of PtCut, my software to calculate Tropical Prevarieties and Tropical Equilibria.
The news for version 3.0.0 is that it now supports pplpy instead of SageMath. That makes it much smaller, faster to start, slightly faster in execution and allows Python 3.x to be used. If you work natively on Linux, you can start it easily from the commandline.
Jonas Weinz has produced a first set of pplpy wheels for 64-bit Linux and Python 3.5 & 3.6, see here.
Share and enjoy!
Jonas Weinz has produced the first version of Python wheels of the pplpy library. Great work Jonas, thanks!
PPLpy, by Vincent Delecroix, is a Python wrapper for PPL, the Parma Polyhedral Library. It lets you create and intersect high-dimensional polyhedra. This is what I need for tropical geometry and especially for PtCut, my program to find tropical equilibria and prevarieties.
To use pplpy, you usually need to compile PPL and some other libraries from their C sources. This is long and cumbersome, so Jonas made the effort to write build scripts for that and provide Python wheels. A wheel is a pre-compiled library that you can just install without compiling anything.
On Jonas’ github page you can find three wheels that should work any x64 Linux and for Python 3.5 and 3.6. You need all three wheels (gmpy2, pplpy and pplpy_dependencies). And yes, you need exactly this gmpy2, even if you already have another version of gmpy2 installed. Furthermore, you need to install cython and cysignals as well.
To install, follow the instructions on Jonas’ page. Jonas didn’t mention this, but you might need to set their location (likely /usr/local/lib) in LD_LIBRARY_PATH.
I mirror Jonas files here as well:
In preparation of submission of an article on my software I have released PtCut v1.16.0. It is freely available under the GNU Lesser General Public License (Version 3).
Click here for the “full story”.
Today was the first scientific meeting of our SYMBIONT Project and I held a talk titled “PtCut: A Program To Compute Tropical Prevarieties”.
The slides to my talk are here (290 Kb).
Slides of all other participants can be found here.
Eine neue Version des Skripts zum Vorkurs “formale Methoden der Informatik”ist hier verfügbar.
In Version 4.8 hat sich geändert:
- Kapitel 9.7: Beweis zur Addition von Brüchen hinzugefügt.
- Kapitel 10.6: Einheitenpräfixe erweitert.
- Kapitel 11: Beweismethode und Beispiele von Laufzeiten in O(f(n)) hinzugefügt.
Eine neue Version des Skripts zum Vorkurs “formale Methoden der Informatik”ist hier (Link dead) verfügbar.
In Version 4.7 hat sich geändert:
- Kapitel 8.1: Erklärungen zu Beweisen und Beispiele für Anwendungen von Gruppen hinzugefügt.
- Kapitel 9.2: Auf- und Abrundungsfunktion neu definiert.
- Kapitel 9.3 (Restklassenring) neu hinzugefügt.
- Kapitel 9.1: Beispiel für Nullteiler hinzugefügt.
- Kapitel 9.6: Beispiel für endlichen Körper hinzugefügt.
- Kapitel 10.3: Erklärung zur Verallgemeinerung der Exponenten hinzugefügt.