change tutorial code for loading a library in Singular and shell commands