=================================================================== RCS file: /home/cvs/OpenXM/doc/oxlib/README,v retrieving revision 1.3 retrieving revision 1.4 diff -u -p -r1.3 -r1.4 --- OpenXM/doc/oxlib/README 2009/02/22 17:30:03 1.3 +++ OpenXM/doc/oxlib/README 2012/02/22 05:33:02 1.4 @@ -1,8 +1,8 @@ -$OpenXM: OpenXM/doc/oxlib/README,v 1.2 2000/03/17 12:49:29 takayama Exp $ +$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. +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)