https://github.com/janverschelde/PHCpack
Tip revision: 7c6e1b5968864a9833fb312713b1168864c0c467 authored by janv@uic.edu on 19 March 2016, 00:35:32 UTC
fixed more test programs, bugs caused by changes in the drivers to the continuation procedures
fixed more test programs, bugs caused by changes in the drivers to the continuation procedures
Tip revision: 7c6e1b5
usephc.mws
{VERSION 4 0 "IBM INTEL NT" "4.0" }
{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0
1 0 0 0 0 1 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0
0 0 1 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 1 }
{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2
2 2 1 1 1 1 }1 1 0 0 0 0 1 0 1 0 2 2 0 1 }{PSTYLE "Heading 1" -1 3 1
{CSTYLE "" -1 -1 "Times" 1 18 0 0 0 1 2 1 2 2 2 2 1 1 1 1 }1 1 0 0 6
6 1 0 1 0 2 2 0 1 }{PSTYLE "Heading 2" -1 4 1 {CSTYLE "" -1 -1 "Times
" 1 14 0 0 0 1 2 1 2 2 2 2 1 1 1 1 }1 1 0 0 4 4 1 0 1 0 2 2 0 1 }
{PSTYLE "Maple Output" -1 11 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1
2 2 2 2 2 2 1 1 1 1 }3 3 0 0 0 0 1 0 1 0 2 2 0 1 }}
{SECT 0 {SECT 0 {PARA 3 "" 0 "" {TEXT -1 20 "Using phc with Maple" }}
{PARA 0 "" 0 "" {TEXT -1 99 "Assume the executable version of phc is i
n c:\\PHCv2\\bin; and we are executing this under windows..." }}{SECT
0 {PARA 4 "" 0 "" {TEXT -1 27 "1. Preparing the input file" }}{PARA 0
"" 0 "" {TEXT -1 163 "The input file to phc consists of a sequence of \+
polynomials separated by semicolons. The first element in the file sh
ould be the number of equations and unknowns." }}{EXCHG {PARA 0 "> "
0 "" {MPLTEXT 1 0 14 "p1 := x*y - 1:" }}}{EXCHG {PARA 0 "> " 0 ""
{MPLTEXT 1 0 15 "p2 := x**2 - 1:" }}}{EXCHG {PARA 0 "> " 0 ""
{MPLTEXT 1 0 47 "n := 2: # number of equations and unknowns" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 28 "sp1 := convert(p1,'string'):
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 28 "sp2 := convert(p2,'stri
ng'):" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "semcol := `;`:" }}
}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 62 "sp1 := ` `||sp1||semcol: \+
# appending semicolons to equations" }}}{EXCHG {PARA 0 "> " 0 ""
{MPLTEXT 1 0 24 "sp2 := ` `||sp2||semcol:" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 58 "ssystem(`rm -f input`): # removing any previous inp
ut file" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 40 "fprintf(input,`%
d\\n%s\\n%s\\n`,n,sp1,sp2):" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0
14 "fclose(input);" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 56 "show_
input := ssystem(`cat input`): # testing the input" }}}{EXCHG {PARA
0 "> " 0 "" {MPLTEXT 1 0 17 "op(2,show_input);" }}{PARA 11 "" 1 ""
{XPPMATH 20 "6#Q32|+~x*y-1;|+~x^2-1;|+6\"" }}}}{SECT 0 {PARA 4 "" 0 "
" {TEXT -1 14 "2. Calling phc" }}{PARA 0 "" 0 "" {TEXT -1 260 "The mai
n trouble is that phc is an interactive program and Maple (at least on
a Sun workstation) is not very good in releasing the control. So mak
e absolutely sure that the file \"input\" is correct and there is no o
ther file \"output\" in the current directory. " }}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 24 "ssystem(`rm -f output`):" }}}{EXCHG {PARA 0 ">
" 0 "" {MPLTEXT 1 0 44 "ssystem(`c:/PHCv2/bin/phc -b input output`):
" }}}{EXCHG {PARA 0 "" 0 "" {TEXT -1 151 "If phc takes control, you ha
ve to go to your window where you launched Maple in the background and
explicitly tell unix to run Maple in the foreground." }{MPLTEXT 1 0
0 "" }}}}{SECT 0 {PARA 4 "" 0 "" {TEXT -1 29 "3. Processing the output
file" }}{PARA 0 "" 0 "" {TEXT -1 45 "Here we invoke a new option of p
hc, the \"-z\"." }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 49 "ssystem(`
c:/PHCv2/bin/phc -z output maple_sols`):" }}}{EXCHG {PARA 0 "> " 0 ""
{MPLTEXT 1 0 16 "read maple_sols;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7
$7$^$$!0+++++++\"!#9$\"\"!F*F%7$^$$\"0+++++++\"F(F)F," }}}{EXCHG
{PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "sols := %:" }}}{EXCHG {PARA 0 "> "
0 "" {MPLTEXT 1 0 25 "op(sols[1]); op(sols[2]);" }}{PARA 11 "" 1 ""
{XPPMATH 20 "6$^$$!0+++++++\"!#9$\"\"!F(F#" }}{PARA 11 "" 1 ""
{XPPMATH 20 "6$^$$\"0+++++++\"!#9$\"\"!F(F#" }}}{EXCHG {PARA 0 "> " 0
"" {MPLTEXT 1 0 47 "fp1 := unapply(p1,x,y); fp2 := unapply(p2,x,y);" }
}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$fp1GR6$%\"xG%\"yG6\"6$%)operatorG%
&arrowGF),&*&9$\"\"\"9%F0F0F0!\"\"F)F)F)" }}{PARA 11 "" 1 "" {XPPMATH
20 "6#>%$fp2GR6$%\"xG%\"yG6\"6$%)operatorG%&arrowGF),&*$)9$\"\"#\"\"\"
F2F2!\"\"F)F)F)" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 35 "fp1(op(s
ols[1])); fp2(op(sols[1]));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#^$$\"\"
!F%$!\"!F%" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#^$$\"\"!F%$!\"!F%" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}}}{MARK "0 4 8 0 0" 0 }
{VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 }{PAGENUMBERS 0 1 2 33 1 1 }