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

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

Revision 1.3, Sun Feb 22 17:30:03 2009 UTC (15 years, 2 months ago) by ohara
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_2_3_12
Changes since 1.2: +3 -3 lines

The term "(help|html)-(eg|jp)" are replaced.

$OpenXM: OpenXM/doc/oxlib/README,v 1.3 2009/02/22 17:30:03 ohara 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/lib/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
  %