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.


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
            User manual for Singular version 4.3.1, 2022, generated by texi2html.