Top
Back: Center
Forward: showBO
FastBack: resjung_lib
FastForward: reszeta_lib
Up: resolve_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.5.4 resolve

Procedure from library resolve.lib (see resolve_lib).

Usage:
resolve (J); or resolve (J,i[,k]);
J ideal
i,k int

Compute:
a resolution of J,
if i > 0 debugging is turned on according to the following switches:
j1: value 0 or 1; turn off or on correctness checks in all steps
j2: value 0 or 2; turn off or on debugCenter
j3: value 0 or 4; turn off or on debugBlowUp
j4: value 0 or 8; turn off or on debugCoeff
j5: value 0 or 16:turn off or on debugging of Intersection with E^-
j6: value 0 or 32:turn off or on stop after pass throught the loop
i=j1+j2+j3+j4+j5+j6

Return:
a list l of 2 lists of rings
l[1][i] is a ring containing a basic object BO, the result of the resolution.
l[2] contains all rings which occured during the resolution process

Note:
result may be viewed in a human readable form using presentTree()

Example:
 


Top Back: Center Forward: showBO FastBack: resjung_lib FastForward: reszeta_lib Up: resolve_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.