Return to install.txt CVS log

Up to [local] / OpenXM

Annotation of OpenXM/install.txt, Revision 1.4

1.4     ! takayama    1: %%  $OpenXM$
1.2       takayama    2: OpenXM/install.txt    in Japanese
1.1       maekawa     3: As to English version see install.eg.txt
                      4:
1.3       takayama    5: $B!z(B OpenXM $B%Q%C%1!<%8$N(B Make $BK!(B
                      6:   (FreeBSD 2.2.8, FreeBSD 3.3, Linux $B$GF0:n$9$k$b$N$H4|BT$7$F$^$9(B.)
                      7:    cd OpenXM/src
                      8:    make configure
                      9:    make
                     10:
1.1       maekawa    11:
1.2       takayama   12: $B!z(B OpenXM $B%Q%C%1!<%8$NMxMQJ}K!(B
1.4     ! takayama   13: OpenXM $B$r%[!<%`$ND>2<$KE83+$7$?>l9g(B,
        !            14: [3]$B$G2r@b$7$?(B .asirrc $B$r$+$1$P(B, $B$"$H$O(B
        !            15: bash $B$N>l9g$J$i(B,  source OpenXM/rc/bashrc
        !            16: csh  $B$N>l9g$J$i(B,  source OpenXM/rccshrc
        !            17: $B$r<B9T$9$l$P$9$Y$F$N4D6-@_Dj$,=*N;$7$^$9(B.
        !            18: $B0J>e(B.  $B0J2<$N;HMQNc$X?J$s$G2<$5$$(B.
        !            19:
        !            20: $B$=$&$G$J$$>l9g$O0J2<$N$h$&$K@_Dj$9$kI,MW$,$"$j$^$9(B.
        !            21:
1.1       maekawa    22: [1] $B4D6-JQ?t(B OpenXM_HOME $B$N@_Dj(B.
1.2       takayama   23: setenv OpenXM_HOME  OpenXM$B$X$N%Q%9(B      (C$B%7%'%k(B, tcsh $B$N>l9g(B)
1.1       maekawa    24: $B$^$?$O(B
1.2       takayama   25: OpenXM_HOME = OpenXM$B$X$N%Q%9(B            (sh, bash $B$N>l9g(B)
1.1       maekawa    26: export OpenXM_HOME
                     27: $B$G(B openXM $B$N%[!<%`%G%#%l%/%H%j$r;XDj$7$^$9(B.
                     28: $B$?$H$($P(B,
1.2       takayama   29:   OpenXM_HOME = /home/nobuki/OpenXM
1.1       maekawa    30:   export OpenXM_HOME
                     31:
                     32: [2]
                     33:
                     34: [3]
                     35: ~/.asirrc $B$K(B
                     36: load("gr")$
                     37: load("primdec")$
                     38: end$
                     39: $B$H=q$$$F$*$/(B.
                     40:
                     41: [4] ($B$^$?$O(B [5])
                     42: $B4D6-JQ?t$r@_Dj$9$k$3$H$K$h$j(B, [5] $B$N$h$&$K(B/usr/local $B$X%j%s%/$r$O$l$J$/$F$b(BOK.
                     43:
                     44: [a] ASIR_LIBDIR=$OpenXM_HOME/lib/asir
                     45: [b] LOAD_SM1_PATH=$OpenXM_HOME/lib/sm1
                     46: [c] $OpenXM_HOME/bin $B$r%3%^%s%I%5!<%A%P%9$K2C$($k(B.
                     47: csh $B$N>l9g(B : set path=($OpenXM_HOME/bin $path)
                     48:              rehash
                     49: bash $B$N>l9g(B : PATH=$OpenXM_HOME/bin:$PATH
                     50:               export PATH
                     51:
                     52:
                     53: (LOAD_K_PATH )
                     54:
                     55: $B$^$?$O(B
                     56: [5]
                     57: $B0J2<$N$h$&$K(B, $B%7%s%\%j%C%/%j%s%/$r$O$C$F2<$5$$(B.
                     58:
                     59: ln -s  $OpenXM_HOME/lib/asir /usr/local/lib/asir
                     60: ln -s  $OpenXM_HOME/lib/sm1 /usr/local/lib/sm1
                     61:
                     62: * Open XM $BBP1~(B gnuplot $B$rMxMQ$7$?$$>l9g(B,
                     63: $OpenXM_HOME/bin $B$N$7$?$N(B gnuplot_x11 $B$X%3%^%s%I%5!<%A%Q%9$+$i%j%s%/$r$O$j$^$9(B.
                     64: $B$?$H$($P(B
                     65: ln -s OpenXM_HOME/bin/gnuplot_x11 /usr/local/bin
                     66: $OpenXM_HOME/bin/gnuplot_x11 $B<+BN$r0\F0$9$k$H$?$@$7$/F0:n$7$J$$$N$GCm0U(B.
                     67: * asir $B$rMxMQ$7$?$$>l9g(B,
                     68: $OpenXM_HOME/bin $B$N$7$?$N(B asir $B$X%3%^%s%I%5!<%A%Q%9$+$i%j%s%/$r$O$j$^$9(B.
                     69: * sm1 $B$rMxMQ$7$?$$>l9g(B,
                     70: $OpenXM_HOME/bin $B$N$7$?$N(B sm1 $B$X%3%^%s%I%5!<%A%Q%9$+$i%j%s%/$r$O$j$^$9(B.
                     71:
                     72:
                     73: $OpenXM_HOME/bin $B$N2<$N(B, fep, phc, asir $B$O(B, $B$$$^$N$H$3$m(B
                     74: linux $BMQ$N%P%$%J%j$^$?$O%P%$%J%j$X$N%7%s%\%j%C%/%j%s%/$G$9(B.
                     75: Linux $B0J30$N>l9g$O%P%$%J%j$rF~$l49$($kI,MW$,$"$j$^$9(B.
                     76:
                     77: ---------------  $B%$%s%9%H!<%k40N;(B ---------------------------
                     78:
1.4     ! takayama   79: $B!z;HMQNc(B
        !            80:
1.2       takayama   81: OpenXM $B$O(B X-window $B>e$G$7$+F0:n$7$^$;$s(B.
1.1       maekawa    82:
1.4     ! takayama   83: ----------------  Asir $B%/%i%$%"%s%H$N;H$$$+$?(B.
1.1       maekawa    84: ----------------   $BNc(B : asir $B$K(B kan/sm1  $B$rAH$_9~$`(B.
                     85: asir
                     86: load("xm");
                     87: P=sm1_start();    /* P $B$O%W%m%;%9HV9f(B */
                     88: load("katsura");
                     89: sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 $B$G%0%l%V%J4pDl$r7W;;(B */
                     90:
                     91: ---------------    $BNc(B : asir $B$h$j(B gnuplot $B$r8F$S=P$9(B.
                     92: asir
                     93: load("xm");
                     94: P=gnuplot_start();
                     95: gnuplot(P,"plot  tan(x); ");
                     96: gnuplot(P,"splot sin(x)*cos(x); ");
                     97:
                     98: ---------------    $BNc(B : asir $B$h$j(B tigers $B$r8F$S=P$9(B.
                     99: asir
                    100: load("xm");
                    101: tigers_start();
                    102: B = tigers(0,[[1,1,1,1],[0,1,2,3]]);
                    103: length(B) $B$O(B 8 $B$G$9(B.  $B$3$l$O(B, $B9TNs(B A = [[1,1,1,1],[0,1,2,3]]
                    104: $B$KIU?o$7$?(B, toric ideal I_A $B$N(B Grobner fan $B$,(B 8 $B$D$N(B maximal
                    105: dimensional fan $B$r;}$D$3$H$r0UL#$7$^$9(B.
                    106: A[i] $B$O(B i $BHVL\$N(B GB ($B%0%l%V%J4pDl(B)$B$G$9(B.
                    107: Binomial polynomial x^a-x^b $B$r(B [[a_1, ..., a_n],[b_1, ..., b_n]] $B$J$k7A<0$G(B
                    108: $BI=<($7$^$9(B.
                    109: $B$?$H$($P(B A[0];
                    110: [[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]]
                    111: $B$G$9$+$i(B,
                    112: x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2
                    113: $B$,(B GB $B$G$"$j(B, initial ideal $B$O(B
                    114: x1 x3 , x1 x4 , x2 x4
                    115: $B$G@8@.$5$l$F$$$^$9(B.
                    116:
1.4     ! takayama  117: ----------------------------------
        !           118: sm1
        !           119: (oxasir.sm1) run  ;
        !           120: (x^20-1). fctr pmat ;       sm1 $B$h$j(B ox_asir $B$r8F$S=P$7$F0x?tJ,2r$5$;$k(B.
        !           121:
1.1       maekawa   122:
                    123:
                    124: [$BCx:n8"I=<((B] ($B8=:_%F%9%HHG$N$?$a>pJs$,40Hw$7$F$^$;$s(B)
1.4     ! takayama  125: $B$3$N%=%U%H%&%(%"$OF0:n$*$h$S$=$N7k2L$K$D$-(B, $B0l@Z$NJ]>Z$r$7$^$;$s(B.
        !           126: $B%i%$%;%s%97ABV$K$D$$$F$O8=:_8!F$Cf$G$"$j$^$9(B.
        !           127:
1.2       takayama  128: OpenXM : url http://www.math.kobe-u.ac.jp/openXM
                    129:          cvs cite : kerberos.kobe-u.ac.jp
1.1       maekawa   130: sm1 :  $B:n<T(B Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN,
1.4     ! takayama  131:        $B%i%$%;%s%97ABV(B   GPL
1.1       maekawa   132: asir :    $B:n<T(B  url
1.4     ! takayama  133:          $B%i%$%;%s%97ABV(B   ??
1.1       maekawa   134: gnuplot : $B:n<T(B  url
                    135:          $B%i%$%;%s%97ABV(B   GPL
                    136: phc : $B:n<T(B Jan Verschelde,  url
1.4     ! takayama  137:          $B%i%$%;%s%97ABV(B   ??
1.1       maekawa   138: tigers : $B:n<T(B Birk Hubert,  url
1.4     ! takayama  139:          $B%i%$%;%s%97ABV(B   ??
1.1       maekawa   140:
                    141:
                    142: [OpenXM_HOME $B2<$N%U%!%$%k$N9=@.(B]
                    143: lib/asir $B$K$O(B, asir $B$N%i%$%V%i%j(B, ox_asir $BK\BN(B
                    144: (ox_asir.xxyyzz.os $B$J$kL>A0$G3JG<$5$l$F$$$^$9(B)
                    145:
                    146: lib/sm1 $B$O(B src/SSkan/Doc $B$X$N(B symbolic link
                    147: $B$G$"$j(B, sm1 $B$N%i%$%V%i%j%U%!%$%k$,3JG<$5$l$F$$$^$9(B.
                    148: lib/sm1/bin $B$K$O(B, binaryfiles
                    149:     sm1, ox_sm1, ox,  ox_log, ox_sm1_*
                    150: $B$X$N%7%s%\%j%C%/%j%s%/$,3JG<$5$l$^$9(B.
                    151: $B$3$N%7%s%\%j%C%/%j%s%/$O(B src/kxx $B$G(B make install $B$r<B9T$9$k$3$H$K$h$j(B
                    152: $B:n@.$5$l$^$9(B.
                    153:
                    154: sm1 $B$,(B ox_asir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B.
                    155:    lib/asir/ox_asir,
                    156:    lib/sm1/bin/ox, lib/sm1/bin/ox_log  (src/kxx/ox, src/kxx/ox_log)
                    157:    lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
                    158:
                    159: asir $B$,(B ox_sm1_forAsir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B:
                    160:    lib/asir/ox_launch
                    161:    lib/sm1/bin/ox_sm1_forAsir (ox_sm1 $B$X$N%j%s%/(B)
                    162:    lib/asir/xm
                    163:    lib/sm1/*.sm1 $B$NA4$F$N(B cohom $B%i%$%V%i%j%U%!%$%k(B.
                    164:      callsm1.sm1 callsm1b.sm1
                    165:      (ox_sm1_forAsir $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c
                    166:       ox_sm1 $B$,(B ox_sm1_forAsir $B$H$$$&L>A0$G8F$P$l$k$H$3$l$i$N%U%!%$%k$r%m!<%I(B.)
                    167:
                    168: asir $B$,(B ox_sm1_gnuplot $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B:
                    169:     lib/asir/ox_launch
                    170:     lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 $B$X$N%j%s%/(B, ox_sm1_gnuplot $B$O(B fork $B$7$F(B
                    171:                                 gnuplot_forox $B$r<B9T$7$^$9(B.)
                    172:     lib/asir/xm
                    173:     lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
                    174:      (ox_sm1_gnuplot $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c
                    175:       ox_sm1 $B$,(B ox_sm1_gnuplot $B$H$$$&L>A0$G8F$P$l$k$H$3$l$i$N%U%!%$%k$r%m!<%I(B.)
                    176:     bin/gnuplot_forox,  bin/gnuplot_x11  (gnuplot $BK\BN(B, src/gnuplot*)
                    177:
                    178:
                    179:
                    180: ----------------------------------------
                    181: [$B3+H/<TMQ%a%b(B]
1.4     ! takayama  182: <<  openXM $B%G%#%l%/%H%jG[I[HG$N:n@.J}K!(B.  >>
        !           183: cd OpenXM/src
        !           184: make clean
        !           185: OpenXM $BA4BN$r(B tar $B$9$l$P$h$m$7$$(B.
        !           186:
        !           187: << sm1, ox_sm1, ox, oxlog $B$N(B debug >>
        !           188: binary file $B$O3F(B directory $B$N(B make install $B$K$h$j(B
        !           189: OpenXM/bin $B$K%3%T!<$5$l$^$9$,(B,
        !           190: debug $BMQ$K$$$A$$$A%3%T!<$9$k$N$OLLE]$J$N$G(B,
        !           191: OpenXM/src/kan96xx $B$G(B make install2
        !           192: OpenXM/src/kxx $B$G(B make install2
        !           193: $B$r<B9T$9$k$H(B,
        !           194: OpenXM/bin/sm1, ox, ox_sm1, oxlog $B$h$j(B,
        !           195: OpenXM/src/kan96xx/Kan/sm1
        !           196: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
        !           197: $B$X$N%7%s%\%j%C%/%j%s%/$,:n@.$5$l$^$9(B.
1.1       maekawa   198: