#!/bin/sh

SINGULARPATH=/usr/lib/Singular /usr/lib/Singular/Singular-3-1-5 "$@"
