Top
Back: gaussColWithoutPerm
Forward: writeBertiniInput
FastBack:
FastForward:
Up: recover_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.7.7 getWitnessSet

Procedure from library recover.lib (see recover_lib).

Usage:
getWitnessSet();

Assume:
There is a text-document "main_data" in the current directory which was produced by Bertini.
The basefield is the field of real numbers or the field of complex numbers.

Return:
list; a list P of lists p_i of numbers: P a set of witness points

Note:
Reads the file "main_data", searches the strings containing the witness points, and converts them into floating point numbers.

Example:
 
LIB "recover.lib";
//First, we write the input file for bertini, then run bertini
ring r=0,(x,y,z),dp;
ideal I=(x-y)*(y-z)*(x-z);
writeBertiniInput(I,40);
system("sh","bertini input");
==> 
==>    Bertini(TM) v1.6
==>     (May 22, 2018)
==> 
==>  D.J. Bates, J.D. Hauenstein,
==>  A.J. Sommese, C.W. Wampler
==> 
==> (using GMP v6.0.0, MPFR v3.1.2)
==> 
==> 
==> 
==> NOTE: You have requested to use adaptive path tracking.  Please make sure\
    that you have
==> setup the following tolerances appropriately:
==> CoeffBound: 6.000000000000e+00, DegreeBound: 3.000000000000e+00
==> AMPSafetyDigits1: 1, AMPSafetyDigits2: 1, AMPMaxPrec: 160
==> 
==> 
==> Tracking regeneration codim 1 of 1: 3 paths to track.
==> Tracking path 0 of 3
==> Tracking path 1 of 3
==> Tracking path 2 of 3
==> 
==> Sorting codimension 1 of 1: 3 paths to sort.
==> Sorting 0 of 3
==> Sorting 1 of 3
==> Sorting 2 of 3
==> 
==> 
==> ************ Regenerative Cascade Summary ************
==> 
==> NOTE: nonsingular vs singular is based on rank deficiency and identical e\
   ndpoints
==> 
==> |codim|   paths   |witness superset| nonsingular | singular |nonsolutions\
   | inf endpoints | other bad endpoints
==> ----------------------------------------------------------------------------------------------------------------
==> | 1   |   3       |   3            |  3          |  0       |  0         \
   |   0           |  0
==> ----------------------------------------------------------------------------------------------------------------
==> |total|   3
==> 
==> ****************************************************
==> 
==> 
==> 
==> *************** Witness Set Summary ****************
==> 
==> NOTE: nonsingular vs singular is based on rank deficiency and identical e\
   ndpoints
==> 
==> |codim| witness points | nonsingular | singular 
==> -------------------------------------------------
==> | 1   |   3            |  3          |  0       
==> -------------------------------------------------
==> 
==> ****************************************************
==> 
==> 
==> Calculating traces for codimension 1.
==> Calculating 0 of 3
==> Calculating 1 of 3
==> Calculating 2 of 3
==> 
==> Using combinatorial trace test to decompose codimension 1.
==> 
==> 
==> ************* Witness Set Decomposition *************
==> 
==> | dimension | components | classified | unclassified
==> -----------------------------------------------------
==> |   1       |   0        |   0        |  3
==> -----------------------------------------------------
==> 
==> ************** Decomposition by Degree **************
==> 
==> *****************************************************
==> 
==> 0
//Then we change the ring and extract the witness set from main_data
ring R=(complex,40,i),(x,y,z),dp;
list P=getWitnessSet();
P;
==> [1]:
==>    [1]:
==> (-0.3663415878061284786942716502905727972335-i*0.141898019847311160577930\
   9950616870920346)
==>    [2]:
==> (0.2674379582277213935252271446616954597118-i*0.2258267666713170430066738\
   989443044698565)
==>    [3]:
==> (0.2674379582277213935252271446616954597118-i*0.2258267666713170430066738\
   989443044698565)
==> [2]:
==>    [1]:
==> (-0.1313892130965293739744978701388925239751-i*0.401158720106287219979523\
   5605837621162844)
==>    [2]:
==> (0.1267446279303746272360822391788769911092-i*0.6484960257257405967991157\
   781649724843819)
==>    [3]:
==> (-0.1313892130965293739744978701388925239751-i*0.401158720106287219979523\
   5605837621162844)
==> [3]:
==>    [1]:
==> (-0.2609249118967400543639492893636558651888-i*0.677667154667823284630305\
   6319255948023843)
==>    [2]:
==> (-0.2609249118967400543639492893636558651888-i*0.677667154667823284630305\
   6319255948023843)
==>    [3]:
==> (-0.4069334186908932627955445703909624247289-i*0.139177796120903237855913\
   0929685788829067)


Top Back: gaussColWithoutPerm Forward: writeBertiniInput FastBack: FastForward: Up: recover_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2p10, 2023, generated by texi2html.