Hom.HSolve |
Syntax |
Hom.HSolve(P:LIST) |
Description |
Example |
-- An example of zero dimensional Non-Homogeneous Solving using the polyhedral homotopy. -- We want to solve zero dimensional non-homogeneous system x^2+y^2-5=0, xy-2=0. Use S ::= QQ[x,y]; P := [x^2+y^2-5, xy-2]; -- Then we compute the solution with Hom.HSolve(P); -- Now you have to interact with ApCoCoAServer -- Enter 1 for the polyhedral homotopy and 2 for the classical linear homotopy. -- If we enter 1 then the all finite solutions are: ---------------------------------------- [ [[2, 0], [1, 0]], [[-1, 0], [-2, 0]], [[-2, 0], [-1, 0]], [[1, 0], [2, 0]] ] -- The smallest list represents a complex number. For example above system has 4 solutions the first solution is [[2, 0], [1, 0]] -- and we read it as x=2+0i, y=1+0i |
Example |
-- An example of zero dimensional Homogeneous Solving using the classical linear homotopy. -- We want to solve zero dimensional homogeneous system x^2-y^2=0, xy-y^2=0. Use S ::= QQ[x,y]; M := [x^2-y^2, xy-y^2]; -- Then we compute the solution with Hom.HSolve(M); -- Now you have to interact with ApCoCoAServer -- Enter 1 for the polyhedral homotopy and 2 for the classical linear homotopy. -- If we enter 2 then the all finite solutions are: ---------------------------------------- [ [[20597740658111043/500000000000000000000000, -74403123210058537/1000000000000000000000000], [20597740658111043/500000000000000000000000, -74403123210058537/1000000000000000000000000]], [[0, 0], [0, 0]], [[0, 0], [0, 0]], [[-60689558229793541/10000000000000000000000000, 245542879738863/2000000000000000000000], [-3034482281801981/500000000000000000000000, 3069286290270979/25000000000000000000000]] ] -- The smallest list represents a complex number. For example above system has 4 solutions the first solution is -- [[20597740658111043/500000000000000000000000, -74403123210058537/1000000000000000000000000], -- [20597740658111043/500000000000000000000000, -74403123210058537/1000000000000000000000000]] -- and we read it as x=20597740658111043/500000000000000000000000 - 74403123210058537/1000000000000000000000000i, -- y = 20597740658111043/500000000000000000000000 - 74403123210058537/1000000000000000000000000i ------------------------------------ |
Example |
-- An example of zero dimensional Non-Homogeneous Solving using the polyhedral homotopy. -- We want to solve zero dimensional non-homogeneous system x[1]^2-1=0, x[1]x[2]-1=0. Use QQ[x[1..2]]; P := [x[1]^2-1, x[1]x[2]-1]; -- Then we compute the solution with Hom.HSolve(P); -- Now you have to interact with ApCoCoAServer -- Enter 1 for the polyhedral homotopy and 2 for the classical linear homotopy. -- We enter 1 because we want to use polyhedral homotopy. -- The all finite solutions are: ---------------------------------------- [ [[1, 0], [1, 0]], [[-1, 0], [-1, 0]] ] -- The smallest list represents a complex number. For example above system has 2 solutions the first solution is [[1, 0], [1, 0]] -- and we read it as x[1]=1+0i, x[2]=1+0i |
See Also |