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. It is possible to define an individual assumeLevel for each library. If the expression is evaluated and not true (i.e. does not evaluate to int(0) an error is raised.
Example:
 
  ASSUME(0,2==2); // always tested
  ASSUME(1,1==2); // not evaluated
  int assumeLevel=2;
  ASSUME(1,1==2);
==>    ? ASSUME failed:  ASSUME(1,1==2);
==>    ? error occurred in or before ./examples/ASSUME.sing line 4: `  ASSUME\
   (1,1==2);`
  // setting a different assumeLevel for poly.lib:
  int Poly::assumeLevel=2;
==> Poly of type 'ANY'. Trying load.
==> // ** redefining `assumeLevel` **


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 4-0-1, 2014, generated by texi2html.