the Singular computer algebra system
