A.6.1 File Names

The default extension for input files is ipd which may be omitted. File names may contain environment variables too, e.g.,

file1 = "$HOME/work/myfile1";
file2 = "~/work/myfile2";