[BACK]Return to README CVS log [TXT][DIR] Up to [local] / OpenXM / doc / oxlib
File: [local] / OpenXM / doc / oxlib / README (download)

Revision 1.2, Fri Mar 17 12:49:29 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, RELEASE_1_1_3, RELEASE_1_1_2, KNOPPIX_2006, DEB_REL_1_2_3-9
Changes since 1.1: +5 -2 lines 

Refering asir manual on the OpenXM/library mode.

$OpenXM: OpenXM/doc/oxlib/README,v 1.2 2000/03/17 12:49:29 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/lib/libasir.a.
Details on the OpenXM/library mode interface is explained in
Appendix A, OpenXM/doc/asir2000/man-eg.dvi (in English)
Appendix A, OpenXM/doc/asir2000/man-jp.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
  %