#!/bin/sh

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