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

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

Revision 1.1, Fri Mar 17 02:04:08 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN

Added README.

$OpenXM: OpenXM/doc/oxlib/README,v 1.1 2000/03/17 02:04:08 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 libasir.a.
Details on the OpenXM/library mode interface is explained in
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
  %