version 1.9, 2004/06/27 10:08:56 |
version 1.11, 2004/06/30 09:30:44 |
|
|
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.8 2004/06/23 08:52:18 takayama Exp $ |
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.10 2004/06/27 17:44:55 ohara Exp $ |
\input texinfo |
\input texinfo |
@iftex |
@iftex |
@catcode`@#=6 |
@catcode`@#=6 |
Line 457 Sugar strategy $B$rE,MQ$9$k$H$-$N(B weight vector. |
|
Line 457 Sugar strategy $B$rE,MQ$9$k$H$-$N(B weight vector. |
|
dp_gr_main $B$N?7$7$$%$%s%?%U%'!<%9$G$O=g=x$r$"$kJ8K!$K=>$$;XDj$9$k(B. |
dp_gr_main $B$N?7$7$$%$%s%?%U%'!<%9$G$O=g=x$r$"$kJ8K!$K=>$$;XDj$9$k(B. |
@comment ~taka/this03/misc-2003/A2/dp |
@comment ~taka/this03/misc-2003/A2/dp |
@item $B=g=x(B order $B$O<!$NJ8K!$GDj5A$9$k(B. @{, @} $B$O(B 0 $B2s0J>e$N7+$jJV$7$r0UL#$9$k(B. |
@item $B=g=x(B order $B$O<!$NJ8K!$GDj5A$9$k(B. @{, @} $B$O(B 0 $B2s0J>e$N7+$jJV$7$r0UL#$9$k(B. |
@verbatim |
@example |
order : '[' orderElement { ',' orderElement } ']' |
order : '[' orderElement { ',' orderElement } ']' |
orderElement : weightVec | builtinOrder |
orderElement : weightVec | builtinOrder |
weightVec : '[' weightElement { ',' weightElement } ']' |
weightVec : '[' weightElement { ',' weightElement } ']' |
builtiniOrder : '[' orderName ',' setOfVariables ']' |
builtiniOrder : '[' orderName ',' setOfVariables ']' |
weightElement : NUMBER | setOfVariables ',' NUMBER |
weightElement : NUMBER | setOfVariables ',' NUMBER |
setOfVariables: V | range(V,V) |
setOfVariables: V | range(V,V) |
orderName : @grlex | @glex | @lex |
orderName : @@grlex | @@glex | @@lex |
@end verbatim |
@end example |
$B$3$3$G(B @code{V} $B$O(B $BJQ?tL>(B, @code{NUMBER} $B$O@0?t$r$"$o$i$9(B. |
$B$3$3$G(B @code{V} $B$O(B $BJQ?tL>(B, @code{NUMBER} $B$O@0?t$r$"$o$i$9(B. |
$BNc(B1: @code{v=[x,y,z,u,v], order=[[x,10,y,5,z,1],[@@grlex,range(x,v)]]} |
$BNc(B1: @code{v=[x,y,z,u,v], order=[[x,10,y,5,z,1],[@@grlex,range(x,v)]]} |
$B$O(B @code{x},@code{y},@code{z} $B$,$=$l$>$l(B weight 10, 5, 1 $B$r$b$D(B |
$B$O(B @code{x},@code{y},@code{z} $B$,$=$l$>$l(B weight 10, 5, 1 $B$r$b$D(B |
Line 520 Gr\"obner Deformations of Hypergeometric Differential |
|
Line 520 Gr\"obner Deformations of Hypergeometric Differential |
|
[-y^4+y^2-1,x+y^3-y] |
[-y^4+y^2-1,x+y^3-y] |
@end example |
@end example |
|
|
@table @t |
|
@item $B;2>H(B |
|
@ref{xyz_abc} |
|
@end table |
|
|
|
@comment --- ChangeLog $B$r=q$/(B. $BF05!(B. $B%=!<%9%3!<%I$N0LCV(B. $BJQ99F|;~(B $B$J$I(B CVS$B%5!<%P$r8+$k$?$a(B |
@comment --- ChangeLog $B$r=q$/(B. $BF05!(B. $B%=!<%9%3!<%I$N0LCV(B. $BJQ99F|;~(B $B$J$I(B CVS$B%5!<%P$r8+$k$?$a(B |
@noindent |
@noindent |
ChangeLog |
ChangeLog |
Line 575 parse/parse.h 1.23--1.26 |
|
Line 570 parse/parse.h 1.23--1.26 |
|
@itemize @bullet |
@itemize @bullet |
@item |
@item |
asir-port.sh $B$O(B knoppix $B@lMQ$G$"$k(B. |
asir-port.sh $B$O(B knoppix $B@lMQ$G$"$k(B. |
$B$3$N%3%^%s%I$O(B asir $B$N%P%$%J%j$*$h$S(B FFL $B$GG[I[$G$-$J$$ItJ,$r(B |
$B$3$N%3%^%s%I$O(B asir $B$N%P%$%J%j$*$h$S(B FLL $B$GG[I[$G$-$J$$ItJ,$r(B |
ftp.math.kobe-u.ac.jp $B$h$j%@%&%s%m!<%I$7$F(B |
ftp.math.kobe-u.ac.jp $B$h$j%@%&%s%m!<%I$7$F(B |
/home/knoppix/.asir-tmp $B$X%;!<%V$7$F(B, $B<B9T$9$k(B. |
/home/knoppix/.asir-tmp $B$X%;!<%V$7$F(B, $B<B9T$9$k(B. |
.asirrc $B$*$h$S(B .TeXmacs/plugins/ox/progs/init-ox.scm $B$b%@%&%s%m!<%I$9$k(B. |
.asirrc $B$*$h$S(B .TeXmacs/plugins/ox/progs/init-ox.scm $B$b%@%&%s%m!<%I$9$k(B. |
Line 921 builtin/dp.c 1.49 |
|
Line 916 builtin/dp.c 1.49 |
|
@example |
@example |
[219] mapat(deg,1,x^2+y^3+x+y,[x,y]); |
[219] mapat(deg,1,x^2+y^3+x+y,[x,y]); |
[2,3] |
[2,3] |
[220] mapat(subst,1,x+y+z,[x,y,z],2) |
[220] mapat(subst,1,x+y+z,[x,y,z],2); |
[y+z+1,x+z+1,x+y+1] |
[y+z+2,x+z+2,x+y+2] |
@end example |
@end example |
|
|
@table @t |
@table @t |