OpenXM/src/asir-doc/exp/exp-ja.texi - diff

Return to exp-ja.texi CVS log

Up to [local] / OpenXM / src / asir-doc / exp

version 1.10, 2004/06/27 17:44:55

version 1.11, 2004/06/30 09:30:44

Line 1

%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.9 2004/06/27 10:08:56 takayama Exp $

%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.10 2004/06/27 17:44:55 ohara Exp $

\input texinfo

@iftex

@catcode`@#=6

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.

@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.

@verbatim

@example

order : '[' orderElement { ',' orderElement } ']'

orderElement : weightVec | builtinOrder

weightVec : '[' weightElement { ',' weightElement } ']'

builtiniOrder : '[' orderName ',' setOfVariables ']'

weightElement : NUMBER | setOfVariables ',' NUMBER

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.

$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

Line 519 Gr\"obner Deformations of Hypergeometric Differential

[ R R ]

[-y^4+y^2-1,x+y^3-y]

@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

@noindent