Adding a new source file to Singular - BrentBaccala/Singular GitHub Wiki Adding a new source file to Singular