next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Bertini :: makeMembershipFile

makeMembershipFile -- Creates a Bertini incidence_matrix file using Tracktype 3..

Synopsis

Description

After doing a positive dimensional solve with Bertini a witness data file is produced. This function requires an input file, memberpoints file and witnessdata file. It appends "TrackType: 3" to the configurations in the input file and calls Bertini to produce and incidencematrix file with respect to the memberpoints file.

The option NameWitnessPointFile has "memberpoints" set as its default.

The option TestSolutions can be set to a list of coordinates of points which will be written to a file.

i1 : makeB'InputFile(storeBM2Files,
         B'Configs=>{{TrackType,1}},    AffVariableGroup=>{x,y,z},    B'Polynomials=>{"z*((x+y+z)^3-1)","z*(y^2-3+z)"}    )

o1 = /var/folders/j_/gx42s4z576z_vj47_ym0j5xm0000gn/T/M2-74564-0/0/input

o1 : File
i2 : runBertini(storeBM2Files)
~/bertini
i3 : makeSampleSolutionsFile(storeBM2Files,2,SpecifyComponent=>{1,0})
~/bertini
i4 : makeMembershipFile(storeBM2Files,NameSolutionsFile=>"sample_solutions_file")
/var/folders/j_/gx42s4z576z_vj47_ym0j5xm0000gn/T/M2-74564-0/0/
sample_solutions_file
~/bertini
i5 : makeMembershipFile(storeBM2Files,TestSolutions=>{{1,2,0},{3,2,1}})
/var/folders/j_/gx42s4z576z_vj47_ym0j5xm0000gn/T/M2-74564-0/0/
member_points
~/bertini
i6 : importIncidenceMatrix(storeBM2Files)

o6 = {{(1, 0)}, {}}

o6 : List

Ways to use makeMembershipFile :