version 1.3, 2004/03/05 15:30:50 |
version 1.4, 2004/03/05 15:56:40 |
|
|
/* $OpenXM: OpenXM/src/asir-contrib/packages/doc/phc.oxweave,v 1.2 2003/05/20 23:25:28 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/asir-contrib/packages/doc/phc.oxweave,v 1.3 2004/03/05 15:30:50 ohara Exp $ */ |
|
|
|
|
/*&C-texi |
/*&C |
@c DO NOT EDIT THIS FILE oxphc.texi |
@c DO NOT EDIT THIS FILE oxphc.texi |
@node PHC Functions,,, Top |
@node PHC Functions,,, Top |
|
|
Line 23 These interface functions are defined in the file @fil |
|
Line 23 These interface functions are defined in the file @fil |
|
The file @code{phc} is @* |
The file @code{phc} is @* |
at @file{$(OpenXM_HOME)/lib/asir-contrib}. |
at @file{$(OpenXM_HOME)/lib/asir-contrib}. |
*/ |
*/ |
/*&C-texi |
/*&C |
@example |
@example |
@include opening.texi |
@include opening.texi |
[255] phc.start(); |
[255] phc.start(); |
Line 40 The answer is in the variable Phc. |
|
Line 40 The answer is in the variable Phc. |
|
[261] |
[261] |
@end example |
@end example |
*/ |
*/ |
/*&C-texi |
/*&C |
Author of @code{PHC pack}: Jan Verschelde. @* |
Author of @code{PHC pack}: Jan Verschelde. @* |
*/ |
*/ |
/*&ja |
/*&ja |
Line 60 Reference 2: Cox, D., O'Shea, Little, J., Using Algeb |
|
Line 60 Reference 2: Cox, D., O'Shea, Little, J., Using Algeb |
|
Springer. See the chapter on mixed volumes. |
Springer. See the chapter on mixed volumes. |
*/ |
*/ |
|
|
/*&C-texi |
/*&C |
@menu |
@menu |
* phc.start:: |
* phc.start:: |
* phc.phc:: |
* phc.phc:: |
|
|
@item The descriptor is stored in @code{Phc_proc}. |
@item The descriptor is stored in @code{Phc_proc}. |
@end itemize |
@end itemize |
*/ |
*/ |
/*&C-texi |
/*&C |
@example |
@example |
P = phc.start() |
P = phc.start() |
@end example |
@end example |
Line 211 The number of variables and the number of equations |
|
Line 211 The number of variables and the number of equations |
|
@code{length(@var{s})} must agree. |
@code{length(@var{s})} must agree. |
@end itemize |
@end itemize |
*/ |
*/ |
/*&C-texi |
/*&C |
|
|
@noindent |
@noindent |
Algorithm: |
Algorithm: |