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 |