=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/oxasir.sm1,v retrieving revision 1.3 retrieving revision 1.4 diff -u -p -r1.3 -r1.4 --- OpenXM/src/kan96xx/Doc/oxasir.sm1 2001/12/28 01:20:26 1.3 +++ OpenXM/src/kan96xx/Doc/oxasir.sm1 2002/01/06 08:47:36 1.4 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/oxasir.sm1,v 1.2 1999/11/11 01:35:07 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Doc/oxasir.sm1,v 1.3 2001/12/28 01:20:26 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. @@ -74,7 +74,11 @@ oxasir.verbose { /asirinit { %% gr and primdec are loaded by .asirrc /asirinit.peer set - [asirinit.peer oxasirpath.asirlib] loadAsirFile + [(ostype)] extension 0 get (windows) eq { + [asirinit.peer (oxasir-win.rr)] oxasirParseFile + }{ + [asirinit.peer oxasirpath.asirlib] loadAsirFile + } ifelse } def /asirconnect { [(localhost) 1300 1200] oxconnect /oxasir.ccc set @@ -577,6 +581,29 @@ oxasir.verbose { $Example 1: [[(2 x -2) (4 x - 8)] (x)] reduceByAsir $ (Note that there may be a gcd that is more than 1 among the coefficients.) ]] putUsages + +%% File should be preprocessed by OpenXM/misc/packages/Windows/oxpp +%% and ./oxapp --removeSharp +[(oxasirParseFile) +[$[peer filename] oxasirParseFile $ + $File should be preprocessed by OpenXM/misc/packages/Windows/oxpp$ + $and ./oxapp --removeSharp $ +]] putUsages + +/oxasirParseFile { + /arg1 set + [/in-oxasirParseFile /fname /sss] pushVariables + [ + /fname arg1 1 get def + /peer arg1 0 get def + fname pushfile /sss set + peer + [$if (1) { ; $ sss (}$)] cat + oxsubmit + ] pop + popVariables +} def + /oxasir.sm1.loaded 1 def [(ostype)] extension 0 get (windows) eq {