Go to the first, previous, next, last section, table of contents.


PHC 函数

この節では PHC pack の ox サーバ ox_sm1_phc とのインタフェース関数を解説する. これらの関数はファイル `phc.rr' で定義されている. phc`$(OpenXM_HOME)/lib/asir-contrib' にある.


[255] phc.start();
0
[257] phc.phc([x^2+y^2-4,x*y-1]);
The detailed output is in the file tmp.output.*
The answer is in the variable Phc.
0
[260] Phc ;
[[[-0.517638,0],[-1.93185,0]],
[[1.93185,0],[0.517638,0]],
[[-1.93185,0],[-0.517638,0]],
[[0.517638,0],[1.93185,0]]]
[261] 

Author of PHC pack: Jan Verschelde. http://www2.math.uic.edu/~jan/download.html 参考書 1: Jan Verschelde, PHCpack: A general-purpose solver for polynomial systems by homotopy continuation". ACM Transaction on Mathematical Softwares, 25(2): 251-276, 1999.
参考書 2: Cox, D., O'Shea, Little, J., Using Algebraic Geometry, Springer. Mixed volumes についての章を見よ.

函数一覧


Go to the first, previous, next, last section, table of contents.