Home Online Manual
Top
Back: msum
Forward: Documentation Tool
FastBack: template_lib
FastForward: Debugging tools
Up: Libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

3.8.8 Formal Checker

There 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.