|
3.8.8 Formal CheckerThere is a formal library checker for SINGULAR which can be used online: see https://www.singular.uni-kl.de/index.php/new-libraries/formal-library-checker.html. After uploading your library file, you will receive an output of hints, warnings, and errors which may help you to improve your library. |