All posts by chris

Finally! PPLpy for Windows (Python 3.7)!

Jonas Weinz has finally managed to compiled a version of PPLpy (together with gmpy2) that works under Windows and can be installed without compiling the whole lot. Many thanks again! ­čÖé This version works for Python 3.7 only.

His compiled binaries can be found on his Github page, together with his recipe how to compile it yourself.

I mirror the files here as well:

PtCut v3.3.0 available

I just released PtCut v3.3.0.

The news are:

  • “–bbox” switches on calculation of bounding boxes for polyhedra in common planes. This allows for a much faster calculation of BIOMD0000000146_numer.
  • “–filter X” allows to only use the first X polyhedra per iteration. This allows to at least calculate a subset of the solution.
  • “–remove X,…” will remove polyhedra from bags. With this, one can rewmove superfluous polyhedra. That fact and their name can be found in common planes computation.
  • I started a first attempt at some documentation! <gasp> So far, only some switches are in it.

Download here. Full PtCut page is here.

Nach dem Vorkurs ist vor dem Studium

Der Vorkurs ist vorbei! Ich freue mich, dass ich den Kurs auch dieses Jahr wieder halten durfte. Ich hoffe, dass die kommenden Informatik-Studenten in meiner Vorlesung viel gelernt haben. Die ├ťbungen waren gut besucht und dank der guten Mithilfe meiner Tutoren sind ├ťbungen und Vorlesung wieder mal ein wenig besser und “runder” geworden.

Ich danke allen Tutoren (besonders Sarah und Matthias) ausdr├╝cklich f├╝r ihre gute Arbeit und allen Studenten f├╝r ihr Interesse.

Eine leicht ├╝berarbeitete Version des Skripts ist hier verf├╝gbar.

It’s Vorkurs-Time!

Der Sommer geht zu Ende, ein neues Semester steht vor der T├╝r und die Bonner Informatik bietet erneut ihren Vorkurs “formale Methoden der Informatik” an und ich werde ihn wieder halten.

Jetzt am Montag, dem 3.9., geht es los. Interessenten m├Âgen sich bitte bei┬áhttps://precampus.uni-bonn.de/┬áanmelden. Der Kurs ist wie immer freiwillig und nicht benotet.

Er findet vom 3. – 14.9. statt im H├Ârsaal IV in der Meckenheimer Allee 176.┬áDie Vorlesung findet jeden Tag statt von 10-12h. ├ťbungen gibt es auch, jeden Tag von 13-15h. Es gibt keine Hausaufgaben.

Es gibt auch wieder ein aktualisiertes Skript. Ich werde es laufend weiter updaten. Die jeweils aktuelle Version findet sich immer auf precampus.

Ich freue mich auf die Vorlesung und auch auf jede Anmerkung dazu oder zum Skript. Am Besten pers├Ânlich oder per Email, siehe┬á“About”.

PtCut 3.0.1 and PPLpy for Python 2.7 wheels released

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).

 

AI playing video games

Here are some videos of AIs playing video games:

PtCut v3.0.0 released!

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!

First version of Python PPLpy wheel available

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: