Difference between revisions of "ApCoCoA-1:Bertini.BCMSolve"

From ApCoCoAWiki
Line 50: Line 50:
<key>solve zero dimensional polynomial system</key>
<key>solve zero dimensional polynomial system</key>
<key>solve b</key>

Revision as of 09:25, 23 April 2009


Solves zero dimensional non-homogeneous polynomial system using multi-homogenization with User Configurations.


Bertini.BCMSolve(M:LIST, ConfigSet:LIST)


Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use it/them.


-- We want to solve the system x^2+y^2-5=0,xy-2=0, using multi-homogenization, for adaptive precision. 

Use S ::= QQ[x,y];             --  Define appropriate ring 
M := [x^2+y^2-5,xy-2];
ConfigSet := ["MPTYPE: 2"];

-- Then we compute the solution with

-- And we achieve:
The number of real finite solutions are:
The real finite solutions are:

1.999999999999915e+00 3.462532971773811e-13
1.000000000000124e+00 -6.955132704987047e-14

-1.999999999999993e+00 1.957928785100847e-14
-1.000000000000000e+00 -9.165547572809745e-17

-1.000000000000005e+00 3.596111848160151e-16
-1.999999999999997e+00 2.776127010762429e-15

1.000000000000007e+00 -2.243821806115299e-15
1.999999999999988e+00 1.140511608347484e-15

For summary of all solutions refer to ApCoCoAServer.