Return to install.oxweave CVS log

Up to [local] / OpenXM / doc

Annotation of OpenXM/doc/install.oxweave, Revision 1.1

1.1     ! takayama    1: %% $OpenXM$
        !             2: OpenXM/doc/install.oxweave
        !             3:
        !             4: /*&jp
        !             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:    OpenXM, OpenXM_contrib, OpenXM_contrib2 $B$,I,MW$G$9(B.
        !             8:    cvs $B%3%_%C%?$N>l9g<!$N$h$&$K$7$F%=!<%9$r$H$j$h$;$^$9(B.
        !             9: */
        !            10: /*&eg
        !            11: How to make OpenXM package?
        !            12:  (We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.)
        !            13:  Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
        !            14:  If you are a CVS committer, then you can get all sources as follows:
        !            15: */
        !            16: //&C  rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
        !            17: //&jp $B$3$l$i$,$=$m$C$F$$$?$i$"$H$O<!$N$h$&$KF~NO$9$k$@$1$G$9(B.
        !            18: //&eg Check that you have these directories, then just type in the following commands
        !            19: /*&C
        !            20:
        !            21:    cd OpenXM/src
        !            22:    make configure
        !            23:    make
        !            24: */
        !            25: /*&C
        !            26:
        !            27: */
        !            28: /*&jp
        !            29: $B!z(B OpenXM $B%Q%C%1!<%8$NMxMQJ}K!(B
        !            30: OpenXM $B$r%[!<%`$ND>2<$KE83+$7$?>l9g(B, $B<!$N$h$&$K$7$^$9(B.
        !            31: */
        !            32: /*&eg
        !            33: How to use the OpenXM package?
        !            34: If you have OpenXM under your home directory, do as follows.
        !            35: */
        !            36: /*&C
        !            37:     cp OpenXM/rc/asirrc ~/.asirrc
        !            38:     source OpenXM/rc/bashrc (in case of bash)
        !            39:     source OpenXM/rc/cshrc  (in case of csh)
        !            40: */
        !            41: /*&jp
        !            42: OpenXM $B$r%[!<%`$ND>2<$KE83+$7$F$J$$>l9g$O(B OpenXM/rc/bashrc, OpenXM/rc/cshrc $B$r(B
        !            43: $BE,Ev$KJQ99$7$F;HMQ$7$F$/$@$5$$(B.
        !            44: */
        !            45: /*&eg
        !            46: If you have OpenXM in a different place, edit OpenXM/rc/bashrc or
        !            47: OpenXM/rc/cshrc properly.
        !            48: */
        !            49: /*&jp
        !            50: $BCm0U(B 1.
        !            51: asir $B$GF|K\8l$N%X%k%W$rMxMQ$9$k$K$O(B,
        !            52: PAGER=jless
        !            53: export PAGER
        !            54: $B$J$I$G(B, $BF|K\8l$r07$($k(B PAGER $B$r;XDj$9$kI,MW$,$"$k$+$b$7$l$^$;$s(B.
        !            55: $BCm0U(B 2.
        !            56: FreeBSD 3.3 $B$J$I$K$O(B, /usr/local/bin/javac $B$,$D$$$F$$$^$9(B.
        !            57: $B$3$N(B javac $B$G$O(B, OpenXM/src/OpenMath $B0J2<$N%U%!%$%k$,%3%s%Q%$%k$G$-$^$;$s(B.
        !            58: PATH=/usr/local/jdk1.1.8/bin:$PATH
        !            59: export PATH
        !            60: $B$J$I$H$7$F(B, jdk $B$N(B javac $B$r%5!<%A%Q%9$N@h$N$[$&$X$b$C$F$$$/$h$&$K$7$F(B
        !            61: $B$/$@$5$$(B.
        !            62: */
        !            63: /*&jp
        !            64:
        !            65: $B0J>e(B.  $B0J2<$N;HMQNc$X?J$s$G2<$5$$(B.
        !            66:
        !            67: $B!z(B(1) asir $B$N%^%K%e%"%k$O(B,
        !            68:    OpenXM_contrib2/asir2000/doc $B$N(B README $B$r8+$F$M(B.
        !            69:   (2) asir-contrib $B$N%^%K%e%"%k$O(B,
        !            70:   OpenXM/src/asir-contrib/packages/doc $B$G(B make $B$7$?$"$H(B,
        !            71:   ptex cman.texi ($BF|K\8l(B)
        !            72:   tex cman-eg.texi ($B1Q8l(B)
        !            73:   $B$9$l$P$h$m$7$$(B.
        !            74:   Online manual : ox_help(xxx) $B$O8=:_0l;~E*$K$D$+$($^$;$s(B.
        !            75:
        !            76: $BCm0U(B:
        !            77: $OpenXM_HOME/bin $B$N2<$N(B, fep, phc $B$O(B, $B$$$^$N$H$3$m(B
        !            78: linux $BMQ$N%P%$%J%j$^$?$O%P%$%J%j$X$N%7%s%\%j%C%/%j%s%/$G$9(B.
        !            79: Linux $B0J30$N>l9g$O%P%$%J%j$rF~$l49$($kI,MW$,$"$j$^$9(B.
        !            80:
        !            81: Solaris $B$G$N(B make $B$NLdBjE@$K$D$$$F$O(B, OpenXM/doc/OpenXM-FAQ-jp.txt
        !            82: $B$r8+$F$/$@$5$$(B.
        !            83:
        !            84: ---------------  $B%$%s%9%H!<%k40N;(B ---------------------------
        !            85:
        !            86: $B!z;HMQNc(B
        !            87:
        !            88: OpenXM $B$O(B X Window System $B>e$G$7$+F0:n$7$^$;$s(B.
        !            89:
        !            90: asir $B$rF0:n$5$;$k$K$O(B, key $B$,I,MW$G$9(B.
        !            91: OpenXM/lib/asir/asir_key $B$N%3%a%s%H$r$_$F(B, key $B$r(B E-mail $B$G(B
        !            92: $B$H$j$h$;$F2<$5$$(B.
        !            93:
        !            94: ----------------  Asir $B%/%i%$%"%s%H$N;H$$$+$?(B.
        !            95: ----------------   $BNc(B : asir $B$K(B kan/sm1  $B$rAH$_9~$`(B.
        !            96: asir
        !            97: load("xm");
        !            98: P=sm1_start();    /* P $B$O%W%m%;%9HV9f(B */
        !            99: load("katsura");
        !           100: sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 $B$G%0%l%V%J4pDl$r7W;;(B */
        !           101:
        !           102: ---------------    $BNc(B : asir $B$h$j(B gnuplot $B$r8F$S=P$9(B.
        !           103: asir
        !           104: load("xm");
        !           105: P=gnuplot_start();
        !           106: gnuplot(P,"plot  tan(x); ");
        !           107: gnuplot(P,"splot sin(x)*cos(x); ");
        !           108:
        !           109: ---------------    $BNc(B : asir $B$h$j(B tigers $B$r8F$S=P$9(B.
        !           110: asir
        !           111: load("xm");
        !           112: tigers_start();
        !           113: B = tigers(0,[[1,1,1,1],[0,1,2,3]]);
        !           114: 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]]
        !           115: $B$KIU?o$7$?(B, toric ideal I_A $B$N(B Grobner fan $B$,(B 8 $B$D$N(B maximal
        !           116: dimensional fan $B$r;}$D$3$H$r0UL#$7$^$9(B.
        !           117: A[i] $B$O(B i $BHVL\$N(B GB ($B%0%l%V%J4pDl(B)$B$G$9(B.
        !           118: Binomial polynomial x^a-x^b $B$r(B [[a_1, ..., a_n],[b_1, ..., b_n]] $B$J$k7A<0$G(B
        !           119: $BI=<($7$^$9(B.
        !           120: $B$?$H$($P(B A[0];
        !           121: [[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]]
        !           122: $B$G$9$+$i(B,
        !           123: x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2
        !           124: $B$,(B GB $B$G$"$j(B, initial ideal $B$O(B
        !           125: x1 x3 , x1 x4 , x2 x4
        !           126: $B$G@8@.$5$l$F$$$^$9(B.
        !           127:
        !           128: ----------------------------------
        !           129: sm1
        !           130: (oxasir.sm1) run  ;
        !           131: (x^20-1). fctr pmat ;       sm1 $B$h$j(B ox_asir $B$r8F$S=P$7$F0x?tJ,2r$5$;$k(B.
        !           132:
        !           133:
        !           134:
        !           135: [$BCx:n8"I=<((B] ($B8=:_%F%9%HHG$N$?$a>pJs$,40Hw$7$F$^$;$s(B)
        !           136: $B$3$N%=%U%H%&%(%"$OF0:n$*$h$S$=$N7k2L$K$D$-(B, $B0l@Z$NJ]>Z$r$7$^$;$s(B.
        !           137: $B%i%$%;%s%97ABV$K$D$$$F$O8=:_8!F$Cf$G$"$j$^$9(B.  $BK!L3(Bcommitter $B$r(B
        !           138: $BJg=8Cf(B.
        !           139:
        !           140: OpenXM : url http://www.math.kobe-u.ac.jp/openXM
        !           141:          cvs cite : kerberos.math.kobe-u.ac.jp
        !           142: sm1 :  $B:n<T(B Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN,
        !           143:        $B%i%$%;%s%97ABV(B   GPL??
        !           144: asir :    $B:n<T(B  url
        !           145:          $B%i%$%;%s%97ABV(B   ??
        !           146: gnuplot : $B:n<T(B  url
        !           147:          $B%i%$%;%s%97ABV(B   GPL?
        !           148: phc : $B:n<T(B Jan Verschelde,  url
        !           149:          $B%i%$%;%s%97ABV(B   ??
        !           150: tigers : $B:n<T(B Birk Hubert,  url
        !           151:          $B%i%$%;%s%97ABV(B   ??
        !           152:
        !           153: [OpenXM $B$K$D$$$F$NO"Mm@h(B]
        !           154: takayama@math.sci.kobe-u.ac.jp
        !           155:
        !           156: [OpenXM_HOME $B2<$N%U%!%$%k$N9=@.(B]
        !           157: lib/asir $B$K$O(B, asir $B$N%i%$%V%i%j(B, ox_asir $BK\BN(B
        !           158: (ox_asir.xxyyzz.os $B$J$kL>A0$G3JG<$5$l$F$$$^$9(B)
        !           159:
        !           160: lib/sm1 $B$O(B src/SSkan/Doc $B$X$N(B symbolic link
        !           161: $B$G$"$j(B, sm1 $B$N%i%$%V%i%j%U%!%$%k$,3JG<$5$l$F$$$^$9(B.
        !           162: lib/sm1/bin $B$K$O(B, binaryfiles
        !           163:     sm1, ox_sm1, ox,  ox_log, ox_sm1_*
        !           164: $B$X$N%7%s%\%j%C%/%j%s%/$,3JG<$5$l$^$9(B.
        !           165: $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
        !           166: $B:n@.$5$l$^$9(B.
        !           167:
        !           168: sm1 $B$,(B ox_asir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B.
        !           169:    lib/asir/ox_asir,
        !           170:    lib/sm1/bin/ox, lib/sm1/bin/ox_log  (src/kxx/ox, src/kxx/ox_log)
        !           171:    lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
        !           172:
        !           173: asir $B$,(B ox_sm1_forAsir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B:
        !           174:    lib/asir/ox_launch
        !           175:    lib/sm1/bin/ox_sm1_forAsir (ox_sm1 $B$X$N%j%s%/(B)
        !           176:    lib/asir/xm
        !           177:    lib/sm1/ $B0J2<$N(B *.sm1 $B$J$k$9$Y$F$N(B $B%i%$%V%i%j%U%!%$%k(B.
        !           178:      callsm1.sm1 callsm1b.sm1
        !           179:      (ox_sm1_forAsir $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c
        !           180:       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.)
        !           181:
        !           182: asir $B$,(B ox_sm1_gnuplot $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B:
        !           183:     lib/asir/ox_launch
        !           184:     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
        !           185:                                 gnuplot_forox $B$r<B9T$7$^$9(B.)
        !           186:     lib/asir/xm
        !           187:     lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
        !           188:      (ox_sm1_gnuplot $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c
        !           189:       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.)
        !           190:     bin/gnuplot_forox,  bin/gnuplot_x11  (gnuplot $BK\BN(B, src/gnuplot*)
        !           191:
        !           192: ----------------------------------------
        !           193: [$B3+H/<TMQ%a%b(B]
        !           194:
        !           195: << sm1, ox_sm1, ox, oxlog $B$N(B debug >>
        !           196: binary file $B$O3F(B directory $B$N(B make install $B$K$h$j(B
        !           197: OpenXM/bin $B$K%3%T!<$5$l$^$9$,(B,
        !           198: debug $BMQ$K$$$A$$$A%3%T!<$9$k$N$OLLE]$J$N$G(B,
        !           199: OpenXM/src/kan96xx $B$G(B make install2
        !           200: OpenXM/src/kxx $B$G(B make install2
        !           201: $B$r<B9T$9$k$H(B,
        !           202: OpenXM/bin/sm1, ox, ox_sm1, oxlog $B$h$j(B,
        !           203: OpenXM/src/kan96xx/Kan/sm1
        !           204: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
        !           205: $B$X$N%7%s%\%j%C%/%j%s%/$,:n@.$5$l$^$9(B.
        !           206:
        !           207: [CVS$B%3%_%C%?MQ%a%b(B]
        !           208: <<  OpenXM $B%G%#%l%/%H%jG[I[HG$N:n@.J}K!(B >>
        !           209: rcvs export -rHEAD OpenXM
        !           210: rcvs export -rHEAD OpenXM_contrib
        !           211: rcvs export -rHEAD OpenXM_contrib2
        !           212: $B$7$F(B, OpenXM, OpenXM_contrib, OpenXM_contrib2 $BA4BN$r(B tar+gzip.
        !           213: */
        !           214:
        !           215:
        !           216: