Top
Back: Debugging tools
Forward: Tracing of procedures
FastBack: Libraries
FastForward: Dynamic loading
Up: Debugging tools
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

3.9.1 ASSUME

Syntax:
ASSUME ( int_expression , expression )
Purpose:
Tests the expression for correctness if the int_expression is smaller as a variable assumeLevel. If no such variable exist the int expression is compared against 0. If the expression is evaluated and not true (i.e. does not evaluate to int(0) an error is raised.
Example:
 
Top Back: Debugging tools Forward: Tracing of procedures FastBack: Libraries FastForward: Dynamic loading Up: Debugging tools Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-7, Aug 2013, generated by texi2html.