=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/oxasir.sm1,v retrieving revision 1.9 retrieving revision 1.12 diff -u -p -r1.9 -r1.12 --- OpenXM/src/kan96xx/Doc/oxasir.sm1 2002/08/11 11:20:37 1.9 +++ OpenXM/src/kan96xx/Doc/oxasir.sm1 2003/01/01 02:03:42 1.12 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/oxasir.sm1,v 1.8 2002/08/11 02:47:01 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Doc/oxasir.sm1,v 1.11 2002/11/09 01:24:08 takayama Exp $ %% kxx/oxasir.sm1 1998, 2/12 (this version is at Old/oxasir.sm1.19980212 %% 3/1, 1995, 11/5, 11/21 %% This file is error clean. @@ -87,7 +87,13 @@ oxasir.verbose { } ifelse }{ [asirinit.peer oxasirpath.asirlib] loadAsirFile - } ifelse + } ifelse + asirinit.peer oxmathcap + asirinit.peer oxsetmathcap + (Ox103_loaded) boundp + { + asirinit.peer ox103_asir_init + }{ } ifelse } def /asirconnect { [(localhost) 1300 1200] oxconnect /oxasir.ccc set @@ -620,7 +626,7 @@ oxasir.verbose { ([f v] bfct b) ( string f ) ( b is the global b-function of the polynomial f.) - (Example: (x^3-y^2) bfct fctr :: ) + (Example: [(x^3-y^2) (x,y)] bfct fctr :: ) (Algorithm: M.Noro, Mathematical Software, icms 2002, pp.147--157.) ( ) (If you interrupted the computation by typing ctrl-C, type in ) @@ -779,3 +785,4 @@ oxasir.verbose { }{ initializePathNamesForOxAsir %% This should be the last. } ifelse +