Gap, Polymake and Singular meeting, 29 30.03.2012, Berlin

Jump to bottom Edit New page

Oleksandr Motsak edited this page Nov 30, 2012 · 4 revisions

Gap, Polymake and Singular meeting, 29-30.03.2012, Berlin

Welcome to the Gap, Polymake and Singular coding sprint in Berlin

Sponsored by:

SPP-1489: Algorithmic and experimental methods in algebra, geometry and number theory

Participants:

Klaus Altmann (Freie Universität Berlin)
Mohamed Barakat (Technische Universität Kaiserslautern)
Janko Boehm (Technische Universität Kaiserslautern)
Wolfram Decker (Technische Universität Kaiserslautern)
Sebastian Gutsche (University of Aachen)
Lars Kastner (Freie Universität Berlin)
Benjamin Lorenz (Goethe Universität Frankfurt)
Hans Schönemann (Technische Universität Kaiserslautern)
Yue Ren (Technische Universität Kaiserslautern)
Anna-Lena Winz (Freie Universität Berlin)

Development

current status

polymake callable library
libsingular
Singular <-> Polymake interface via polymake callable library and libsingular
in Singular: classes cones, fans and polytopes as shared library provided by gfanlib (see gfanlib.so)
in Singular: classes divisors, pdivisors as standard library using newstruct (see divisor.lib)
in Polymake: Ideals introduced as objects, desired properties.

goals of the meeting

create a new wrapper for gfanlib and polymake callable library for Singular
make polymake graphs available for Singular (for Hasse diagrams of the face poset of a cone/fan/polytope)
documentation on shared libraries in Singular
implement algorithm 2.1 of [Ilten, Kastner]
take a Polymake matrix and create the Singular ring with the monomial ordering associated to this matrix.

References