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.
Arguably none of the code here other than
sedumi.mis needed by the end user. However, having a file with an innocuous name likeddot.morvec.min 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 thansedumi.mand possibly the example problems inconversioninto a subdirectory calledprivate.