ApCoCoA-1:Bertini.BCMSolve

From ApCoCoAWiki
Revision as of 12:10, 20 April 2009 by Ehsanmath (talk | contribs)

BCMSolve

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

Syntax

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

Description

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.

M: List of polynomials in the system to be solved.

ConfigSet: List of strings representing Configurations to be used by bertini. For details about configuration settings see Bertini mannual [1].


Example

-- 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
$Bertini.BCMSolve(M,ConfigSet);

-- And we achieve:
----------------------------------------
The number of real finite solutions are:
4       
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.