Arguably none of the code here other than sedumi.m is needed by the end user. However, having a file with an innocuous name like ddot.m or vec.m in this directory means an end user can accidentally put a 'homonym' file somewhere in their path which causes a bug or gremlin. The solution would be to put all code other than sedumi.m and possibly the example problems in conversion into a subdirectory called private.