version 1.4, 2000/01/15 01:33:32 |
version 1.6, 2000/01/15 03:47:59 |
|
|
% $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.5 2000/01/15 03:23:59 takayama Exp $ |
|
|
\subsection{Heterogeneous Servers} |
\subsection{Heterogeneous Servers} |
|
|
Line 13 We can build a new computer math system by assembling |
|
Line 13 We can build a new computer math system by assembling |
|
different OpenXM servers. |
different OpenXM servers. |
It is similar to building a toy house by LEGO blocks. |
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. |
built by OpenXM servers. |
|
|
\subsubsection{Computation of annihilating ideals by kan/sm1 and ox\_asir} |
\subsubsection{Computation of annihilating ideals by kan/sm1 and ox\_asir} |
Line 48 Starting ox_asir server. |
|
Line 48 Starting ox_asir server. |
|
Byte order for control process is network byte order. |
Byte order for control process is network byte order. |
Byte order for engine 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, |
[[-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 |
[-1,-139968*s^7-1119744*s^6-3802464*s^5-7107264*s^4 |
-7898796*s^3-5220720*s^2-1900500*s-294000]] |
-7898796*s^3-5220720*s^2-1900500*s-294000]] |
\end{verbatim} |
\end{verbatim} |
Line 78 to teach a course on solving algebraic equations. |
|
Line 78 to teach a course on solving algebraic equations. |
|
This course was presented with the text book \cite{CLO} which discusses |
This course was presented with the text book \cite{CLO} which discusses |
on the Gr\"obner basis method and the polyhedral homotopy method |
on the Gr\"obner basis method and the polyhedral homotopy method |
to solve systems of algebraic equations. |
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 |
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 following is an asir session to solve algebraic equations by calling |
the PHC pack. |
the PHC pack. |
\begin{verbatim} |
\begin{verbatim} |