version 1.2, 1999/11/11 01:35:07 |
version 1.5, 2002/02/05 07:24:28 |
|
|
% $OpenXM$ |
% $OpenXM: OpenXM/src/kan96xx/Doc/oxasir.sm1,v 1.4 2002/01/06 08:47:36 takayama Exp $ |
%% kxx/oxasir.sm1 1998, 2/12 (this version is at Old/oxasir.sm1.19980212 |
%% kxx/oxasir.sm1 1998, 2/12 (this version is at Old/oxasir.sm1.19980212 |
%% 3/1, 1995, 11/5, 11/21 |
%% 3/1, 1995, 11/5, 11/21 |
%% This file is error clean. |
%% This file is error clean. |
|
|
/asirinit { |
/asirinit { |
%% gr and primdec are loaded by .asirrc |
%% gr and primdec are loaded by .asirrc |
/asirinit.peer set |
/asirinit.peer set |
[asirinit.peer oxasirpath.asirlib] loadAsirFile |
[(ostype)] extension 0 get (windows) eq { |
|
[(getenv) (OSTYPE)] extension (cygwin) eq { |
|
[asirinit.peer oxasirpath.asirlib] loadAsirFile |
|
}{ |
|
[asirinit.peer (oxasir-win.rr)] oxasirParseFile |
|
} ifelse |
|
}{ |
|
[asirinit.peer oxasirpath.asirlib] loadAsirFile |
|
} ifelse |
} def |
} def |
/asirconnect { |
/asirconnect { |
[(localhost) 1300 1200] oxconnect /oxasir.ccc set |
[(localhost) 1300 1200] oxconnect /oxasir.ccc set |
Line 578 oxasir.verbose { |
|
Line 586 oxasir.verbose { |
|
(Note that there may be a gcd that is more than 1 among the coefficients.) |
(Note that there may be a gcd that is more than 1 among the coefficients.) |
]] putUsages |
]] 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 |
/oxasir.sm1.loaded 1 def |
initializePathNamesForOxAsir %% This should be the last. |
[(ostype)] extension 0 get (windows) eq { |
|
[(parse) (oxasir-win.sm1) pushfile ] extension |
|
}{ |
|
initializePathNamesForOxAsir %% This should be the last. |
|
} ifelse |