Return to README CVS log

Up to [local] / OpenXM / doc / oxlib

Annotation of OpenXM/doc/oxlib/README, Revision 1.2

1.2     ! takayama    1: $OpenXM: OpenXM/doc/oxlib/README,v 1.1 2000/03/17 02:04:08 takayama Exp $
1.1       takayama    2:
                      3: This directory contains samples on OpenXM/library mode interface.
                      4: For example, you can factor a given multivariable polynomial
1.2     ! takayama    5: over Q or algebraic numbers by linking OpenXM/lib/libasir.a.
1.1       takayama    6: Details on the OpenXM/library mode interface is explained in
1.2     ! takayama    7: Appendix A, OpenXM/doc/asir2000/man-eg.dvi (in English)
        !             8: Appendix A, OpenXM/doc/asir2000/man-jp.dvi (in Japanese)
        !             9: and
1.1       takayama   10: OpenXM/doc/OpenXM-specs/OpenXM-eg.dvi (in English) or
                     11: OpenXM/doc/OpenXM-specs/OpenXM-jp.dvi (in Japanese).
                     12:
                     13: A sample session with test3:
                     14:   % ./test3
                     15:   Input>asir 123     <- push 123
                     16:   Input>pop          <- pop and print
                     17:   Output>
                     18:   00 00 00 14 00 00 00 01 00 00 00 7b
                     19:   Input>push 00 00 00 14 00 00 00 01 00 00 00 0c  <- push 12
                     20:   Input>push 00 00 00 14 00 00 00 01 00 00 00 08  <- push 8
                     21:   Input>push 00 00 00 02 00 00 00 02              <- push int32 2
                     22:   Input>asir "igcd"   <- push a string (function name)
                     23:   Input>cmd 269       <- executeFunction
                     24:   Input>pop
                     25:   Output>
                     26:   00 00 00 14 00 00 00 01 00 00 00 04     <- 4 = gcd(12,8)
                     27:   Input>asir quit                         <- execute asir 'quit' command
                     28:   %
                     29:
                     30:
                     31: