The user should specify the polynomial system they want to solve with the B’Polynomials option or B’Functions option. If B’Polynomials is not used then the user should use the NamePolynomials option.
i1 : R=QQ[x,y] o1 = R o1 : PolynomialRing |
i2 : makeB'InputFile(storeBM2Files, B'Configs=>{{"MPTYPE",2}}, AffVariableGroup=>{{x,y}}, B'Polynomials=>{x+y-1,x^2-2}) o2 = /var/folders/j_/gx42s4z576z_vj47_ym0j5xm0000gn/T/M2-74838-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}}, B'Polynomials=>{A+y,x+y-2}) o4 = /var/folders/j_/gx42s4z576z_vj47_ym0j5xm0000gn/T/M2-74838-0/0/input o4 : File |
The object B'Polynomials is a symbol.