B'Functions -- An option which designates sub-functions or a polynomial system as a straight line program.

Description

The user should specify the polynomial system they want to solve with the B’Polynomials option or the B’Functions option. The user should use the NamePolynomials option in conjunction with B’Functions whenever B’Polynomials is not used.

i1 : R=QQ[x,y]

o1 = R

o1 : PolynomialRing

i2 : makeB'InputFile(storeBM2Files,
         AffVariableGroup=>{{x,y}},
         NamePolynomials=>{f1,f2},
         B'Functions=>{{f1,x+y-1},f2=>x^2-2})--f1=x+y+1,f2=x^2-2 is written to the input file

o2 = /var/folders/j_/gx42s4z576z_vj47_ym0j5xm0000gn/T/M2-74791-0/0/input

o2 : File

B’Polynomials can be in combination with B’Functions. B’Functions allows the user to define subfunctions.

i3 : R=QQ[x,y,A]

o3 = R

o3 : PolynomialRing

i4 : makeB'InputFile(storeBM2Files,
         AffVariableGroup=>{{x,y}},
         B'Functions=>{{A,x^2-1}},--A=x^2-1 is written to the input file
         B'Polynomials=>{A+y,x+y-2})

o4 = /var/folders/j_/gx42s4z576z_vj47_ym0j5xm0000gn/T/M2-74791-0/0/input

o4 : File

Functions with optional argument named B'Functions :

bertiniParameterHomotopy(..., B'Functions => ...)
bertiniZeroDimSolve(..., B'Functions => ...)
makeB'InputFile(..., B'Functions => ...)

For the programmer

The object B'Functions is a symbol.