OpenXM/src/kan96xx/Doc/oxasir.sm1 - diff

Return to oxasir.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Doc

version 1.9, 2002/08/11 11:20:37

version 1.12, 2003/01/01 02:03:42

Line 1

% $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.

Line 87 oxasir.verbose {

} ifelse

}{

[asirinit.peer oxasirpath.asirlib] loadAsirFile

} 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

Line 620 oxasir.verbose {

Line 626 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 )

Line 779 oxasir.verbose {

Line 785 oxasir.verbose {

}{

initializePathNamesForOxAsir %% This should be the last.

} ifelse