The polynomial
solvers of borderbasix
Several polynomial solvers are provided. They differ from the coefficient type used during the borderbasis computation.
-
solver_bb_rational: coefficients in
-
solver_bb_mod: coefficients in
with 
.
The polynomial solver can be used as follows:
solver_bb_rational exp1l
where expl is a file containing the polynomials, of the form:
3*x0^2*x1-1;
2*x0^3+x1^2-1;
The polynomials are separated by a ; The variables are x0, x1, ... The output result is the dimension of the quotient space:
Number of solutions (with multiplicity): 7
You can also use it with additional arguments to store the solution:
solver_bb_rational expl quotient
The monomial basis and the table of multiplications are then stored in the file quotient:
basis:=[1,x0,x1,x0^2,x0*x1,x1^2,x0*x1^2];
m0:=[
[0,0,0,1/2,1/3,0,0], [1,0,0,0,0,0,0], [0,0,0,0,0,0,1/3],
[0,1,0,0,0,0,0], [0,0,1,0,0,0,0], [0,0,0,-1/2,0,0,0], [0,0,0,0,0,1,0]
];
m1:=[
[0,0,0,1/3,0,0,0], [0,0,0,0,0,-2/3,0], [1,0,0,0,0,1,0],
[0,0,0,0,0,0,-2/3], [0,1,0,0,0,0,1], [0,0,1,0,0,0,0], [0,0,0,0,1,0,0]
];
If an additional file argument sol is given,
solver_bb_rational expl quotient sol
then numerical approximations of the complex roots are computed and stored in the file sol:
sol:=[
[0.0428035262163119+(-0.5580279186159117)*I,-1.0517405084461988+(0.1623024230495026)*I],
[0.0428035262163119+(0.5580279186159117)*I,-1.0517405084461988+(-0.1623024230495026)*I],
[-0.5392836762227580+(-0.0000000000000000)*I,1.1461572238101630+(0.0000000000000000)*I],
[0.6794478081883069+(-0.1011278450437246)*I,0.6757807989652637+(0.2057214199313530)*I],
[0.6794478081883069+(0.1011278450437246)*I,0.6757807989652637+(-0.2057214199313530)*I],
[-0.4526094962932398+(0.7015185419968863)*I,-0.1971189024241464+(0.4357389800666190)*I],
[-0.4526094962932398+(-0.7015185419968863)*I,-0.1971189024241464+(-0.4357389800666190)*I]
];