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 |
The object B'Functions is a symbol.