[BACK]Return to README CVS log [TXT][DIR] Up to [local] / OpenXM / doc / oxlib

File: [local] / OpenXM / doc / oxlib / README (download)

Revision 1.4, Wed Feb 22 05:33:02 2012 UTC (12 years, 2 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b, HEAD
Changes since 1.3: +2 -2 lines

Updated for the new file hierarchy.

$OpenXM: OpenXM/doc/oxlib/README,v 1.4 2012/02/22 05:33:02 takayama Exp $

This directory contains samples on OpenXM/library mode interface.
For example, you can factor a given multivariable polynomial
over Q or algebraic numbers by linking OpenXM_contrib2/asir2000/libasir.a.
Details on the OpenXM/library mode interface is explained in
Appendix A, OpenXM/doc/asir2000/man-en.dvi (in English)
Appendix A, OpenXM/doc/asir2000/man-ja.dvi (in Japanese)
and
OpenXM/doc/OpenXM-specs/OpenXM-eg.dvi (in English) or
OpenXM/doc/OpenXM-specs/OpenXM-jp.dvi (in Japanese).

A sample session with test3:
  % ./test3
  Input>asir 123     <- push 123
  Input>pop          <- pop and print
  Output>
  00 00 00 14 00 00 00 01 00 00 00 7b
  Input>push 00 00 00 14 00 00 00 01 00 00 00 0c  <- push 12
  Input>push 00 00 00 14 00 00 00 01 00 00 00 08  <- push 8
  Input>push 00 00 00 02 00 00 00 02              <- push int32 2
  Input>asir "igcd"   <- push a string (function name)
  Input>cmd 269       <- executeFunction
  Input>pop
  Output>
  00 00 00 14 00 00 00 01 00 00 00 04     <- 4 = gcd(12,8)
  Input>asir quit                         <- execute asir 'quit' command
  %