===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/heterotic-network.tex,v
retrieving revision 1.4
retrieving revision 1.7
diff -u -p -r1.4 -r1.7
--- OpenXM/doc/issac2000/heterotic-network.tex	2000/01/15 01:33:32	1.4
+++ OpenXM/doc/issac2000/heterotic-network.tex	2000/01/15 06:11:17	1.7
@@ -1,4 +1,5 @@
-% $OpenXM: OpenXM/doc/issac2000/heterotic-network.tex,v 1.3 2000/01/03 04:27:52 takayama Exp $
+% $OpenXM: OpenXM/doc/issac2000/heterotic-network.tex,v 1.6 2000/01/15 03:47:59 takayama Exp $
+\section{Applications}
 
 \subsection{Heterogeneous Servers}
 
@@ -13,7 +14,7 @@ We can build a new computer math system by assembling
 different OpenXM servers.
 It is similar to building a toy house by LEGO blocks.
 
-We will see two examples of special purpose systems
+We will see two examples of custom made systems
 built by OpenXM servers.
 
 \subsubsection{Computation of annihilating ideals by kan/sm1 and ox\_asir}
@@ -48,7 +49,7 @@ Starting ox_asir server.
 Byte order for control process is network byte order.
 Byte order for engine process is network byte order.
 [[-y*Dy+z*Dz, 2*x*Dx+3*y*Dy+6, -2*y*z^2*Dx-3*x^2*Dy, 
-  -2*y^2*z*Dx-3*x^2*Dz, -2*z^3*Dx*Dz-3*x^2*Dy^2-2*z^2*Dx], 
+-2*y^2*z*Dx-3*x^2*Dz, -2*z^3*Dx*Dz-3*x^2*Dy^2-2*z^2*Dx], 
  [-1,-139968*s^7-1119744*s^6-3802464*s^5-7107264*s^4
      -7898796*s^3-5220720*s^2-1900500*s-294000]] 
 \end{verbatim}
@@ -78,23 +79,28 @@ to teach a course on solving algebraic equations.
 This course was presented with the text book \cite{CLO} which discusses
 on the Gr\"obner basis method and the polyhedral homotopy method
 to solve systems of algebraic equations.
-Risa/asir has a user language like C and we could teach a course
+We could teach a course
 with a unified environment
-controlled by asir user language.
+controlled by asir user language, which is similar to C.
 The following is an asir session to solve algebraic equations by calling
 the PHC pack.
 \begin{verbatim}
-[257] phc([x^2+y^2-4,x*y-1]);
+[287] phc(katsura(7));
 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] 
+[290] B=map(first,Phc)$
+[291] gnuplot_plotDots([],0)$
+[292] gnuplot_plotDots(B,0)$
 \end{verbatim}
+
+\begin{figure}[htbp]
+\epsfxsize=8.5cm
+\epsffile{katsura7.ps}
+\caption{The first components of the solutions to the system of algebraic equations Katsura 7.}
+\label{katsura}
+\end{figure}
+