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

Return to exp-ja.texi CVS log

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

Diff for /OpenXM/src/asir-doc/exp/exp-ja.texi between version 1.3 and 1.5

version 1.3, 2004/03/18 05:45:08

version 1.5, 2004/03/27 05:58:50

Line 1

%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.2 2004/03/17 09:25:02 takayama Exp $

%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.4 2004/03/20 01:09:47 takayama Exp $

\input texinfo

@iftex

@catcode`@#=6

Line 107 ChangeLog $B$N9`L\$O(B www.openxm.org $B$N(B cvswe

* tb_to_string::

* write_to_tb::

* dp_gr_main::

* asir-port.sh::

* asir-install.sh::

* get_struct_name::

* get_element_names::

* get_element_at::

* put_element_at::

@end menu

@comment --- $B"~"~"~"~(B $B4X?t(B quotetotex, quotetotex_env $B$N@bL@(B $B"~"~"~"~(B

Line 164 symbol_table $B$K$h$kJQ49$,:G=i$KE,MQ$5$l$k(B.

Line 170 symbol_table $B$K$h$kJQ49$,:G=i$KE,MQ$5$l$k(B.

alpha, beta, $BEy$O<+F0E*$r%.%j%7%cJ8;z$KJQ49$9$k%F!<%V%k$O(B

$BFbB"$:$_(B.

@item

dp_vars_prefix: $BJ,;6I=8=B?9`<0$O(B

@tex

$x_0, x_1, \cdots$

@end tex

$B$NB?9`<0$H$7$F(B latex $B7A<0$KJQ49$5$l$k$,$3$N(B

x $B$NItJ,$rJQ99$9$k(B.

@item

dp_vars_origin: $B%$%s%G%C%/%9$N;O$^$j$NCM$r;XDj$9$k(B.

$B%G%U%)!<%k%H$O(B 0.

@item

dp_vars_hweyl: $BJ,;6I=8=B?9`<0$r%o%$%kBe?t$N85$H$_$J$7$F(B

latex $B7A<0$KJQ49$9$k(B.

Line 184 $\partial_0, \partial_1, \cdots$

Line 193 $\partial_0, \partial_1, \cdots$

@end tex

$B$KJQ49$9$k(B.

$B4q?t8D$N>l9g$O:G8e$NJQ?t$,F1;~2=JQ?t$H$7$F(B h $B$GI=<($5$l$k(B.

@item

dp_dvars_prefix: dp_vars_hweyl $B$,(B 1 $B$N;~$K8eH>ItJ,$N(B prefix $B$r;XDj$9$k(B.

$B%G%U%)!<%k%H$O(B @tex $\partial$ @end tex

@item

dp_dvars_origin: dp_vars_hweyl $B$,(B 1 $B$N;~$N%$%s%G%C%/%9$N;O$^$j$NCM(B.

@item

conv_func: $B%f!<%6Dj5A$NJQ494X?t$r$h$V(B.

@item

Line 212 print_tex_form(contrib)

Line 226 print_tex_form(contrib)

@noindent

ChangeLog

@itemize @bullet

@item $B$3$N4X?t$O(B 2004$BG/(B2$B7nKv$+$i(B3$B7n$K$+$1$F(B asir $B$r(B

@item

knoppix $BHG(B texmacs $B$KBP1~$5$;$k$?$a$K=q$+$l$?(B.

$B$3$N4X?t$O(B 2004$BG/(B2$B7nKv$+$i(B3$B7n$K$+$1$F(B asir $B$r(B

Asir-contrib $B$N(B print_tex_form $B$,$=$N867?$G$"$j(B, $B$=$l$r8zN(2=$7$^$?(B

knoppix $BHG(B texmacs $B$KBP1~$5$;$k$?$a$K=q$+$l$?(B.

$B=PNO7A<0$r2~A1$7$?(B.

Asir-contrib $B$N(B print_tex_form $B$,$=$N867?$G$"$j(B, $B$=$l$r8zN(2=$7$^$?(B

OpenXM/src/kxx/ox_texmacs.c, OpenXM/src/texmacs $B$b;2>H(B.

$B=PNO7A<0$r2~A1$7$?(B.

@item OpenXM/src/asir-contrib/packages/src/noro_print.rr 1.1--1.8,

OpenXM/src/kxx/ox_texmacs.c, OpenXM/src/texmacs $B$b;2>H(B.

noro_print_default.rr 1.1--1.3 $B$b;2>H(B.

@item

@item $BJQ99$r<u$1$?%U%!%$%k$O(B OpenXM_contrib2/asir2000 $B$N2<$N<!$N%U%!%$%k(B.

OpenXM/src/asir-contrib/packages/src/noro_print.rr 1.1--1.8,

noro_print_default.rr 1.1--1.3 $B$b;2>H(B.

@item

$BJQ99$r<u$1$?%U%!%$%k$O(B OpenXM_contrib2/asir2000 $B$N2<$N<!$N%U%!%$%k(B.

builtin/strobj.c 1.14--1.43,

include/ca.h 1.46, io/cexpr.c 1.18, io/pexpr.c 1.32, io.sexpr.c 1.29,

parse/arith.c 1.12, parse/parse.h 1.28--1.29,

parse/quote.c 1.7--1.8, 1.12.

@item

knoppix/math $B$O(B $BJ!2,Bg3X$N_@ED$5$s$,Cf?4$H$J$j3+H/$5$l$F$$$k(B.

@item

dp_dvars_prefix, *_origin $B$O(B builtin/strobj.c 1.46 $B$GF3F~$5$l$?(B.

@item

Todo: quotetoterminalform ($BJ,;6I=8=B?9`<0$N8+0W$$=PNO(B).

@end itemize

Line 377 Hello world!

Line 398 Hello world!

@noindent

ChangeLog

@itemize @bullet

@item $B$3$N4X?t$O(B 2004-3 $B$K(B print_tex_form $B$r8zN(2=$9$k$?$a$K=q$+$l$?(B.

@item

@item OpenXM_contrib2/asir2000 $B$N2<$N0J2<$N%U%!%$%k$r8+$h(B.

$B$3$N4X?t$O(B 2004-3 $B$K(B print_tex_form $B$r8zN(2=$9$k$?$a$K=q$+$l$?(B.

@item

OpenXM_contrib2/asir2000 $B$N2<$N0J2<$N%U%!%$%k$r8+$h(B.

io/ox_asir.c 1.52, builtin/strobj.c 1.12--1.13, 1.16,

engine/str.c 1.5, parse/quote.c 1.9.

@item

rtostr $B$,(B text buffer $B7?$N%G!<%?$K4X$7$F$*$=$+$C$?(B. $BB.EY$N2~A1$O(B

asir2000/io/pexpr_body.c 1.2, asir2000/parse/lex.c 1.32.

@end itemize

Line 414 engine/str.c 1.5, parse/quote.c 1.9.

Line 440 engine/str.c 1.5, parse/quote.c 1.9.

@item b

???

@item sw

Sugar strategy $B$rE,MQ$9$k$H$-$N(B weight vector.

Sugar strategy $B$rE,MQ$9$k$H$-$N(B weight vector. $BA4$F$NMWAG$OHsIi(B.

@end table

@itemize @bullet

Line 427 Sugar strategy $B$rE,MQ$9$k$H$-$N(B weight vector.

Line 453 Sugar strategy $B$rE,MQ$9$k$H$-$N(B weight vector.

@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

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

orderElemnt : weightVec | builtinOrder

orderElement : weightVec | builtinOrder

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

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

weightElement : NUMBER | setOfVariables ',' NUMBER

setOfVariables: V | range(V,V)

ornderName : @grlex | @glex | @lex

orderName : @grlex | @glex | @lex

@end verbatim

$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

$B=g=x$GHf3S$7$?$"$H(B, @code{[x,y,z,u,v]} $B$K$D$$$F$N(B

graded reverse lexicographic order $B$r(B tie-breaker $B$H$7$FMQ$$$k$3$H$r0UL#$9$k(B.

$B;29M=q(B: SST, S, $BEy(B.

$B;29M=q(B: B.Sturmfels: Gr\"obner Bases and Convex Polytopes (1995).

M.Saito, B.Sturmfels, N.Takayama:

Gr\"obner Deformations of Hypergeometric Differential Equations (2000).

@item

$B=g=xMWAG(B (orderElement) $B$N;XDjJ}K!$O(B

(1) $BJQ?tL>$^$?$O(B range$B$G;XDj$5$l$?JQ?t$N=89g$H=E$_$NCM$N7+$jJV$7(B

(2) $B=E$_$NCM$rJQ?t%j%9%H$N=gHV$KJB$Y$kJ}K!(B

(3) $BJQ?tL>$^$?$O(B range$B$G;XDj$5$l$?JQ?t$N=89g$H=g=xL>$NAH(B

$B$N;0DL$j$N4pACE*J}K!$,$"$k(B.

$B;w$?;XDjJ}K!$,(B Macaulay, Singular, CoCoA, Kan/sm1 $BEy$N4DO@%7%9%F%`$G(B

$B;HMQ$5$l$F$$$?(B. Risa/Asir $B$N;XDjJ}K!$O$3$l$i$N%7%9%F%`$N;XDjJ}K!$r;29M$K(B

$B$5$i$K2~NI$r2C$($?$b$N$G=@Fp@-$,9b$$(B.

@item

order $B$N(B tie-breaker $B$O(B grlex $B$,%G%U%)!<%k%H(B.

@item

$BJ,;6I=8=B?9`<0$r0z?t$H$7$?$H$-$O7k2L$bJ,;6I=8=B?9`<0$H$7$FLa$k(B.

order $B;XDj$K$b$A$$$k%G%U%)!<%k%H$NJQ?tL>$O$3$N$H$-(B x0, x1, x2, ... $B$H$J$k(B.

@item

$B%*%W%7%g%s$NCM$O(B option_list $B%-!<%o!<%I$rMQ$$$F%j%9%H$GM?$($F$b$h$$(B.

$B2<$NNc$r;2>H(B.

@end itemize

@example

Line 465 graded reverse lexicographic order $B$r(B tie-breake

Line 505 graded reverse lexicographic order $B$r(B tie-breake

[ 1 1 1 1 0 ]

[ R R R R R ]

[(47774098944)*<<0,0,0,0,13>>+ ... ]

[1153] Opt=[["v",[x,y]], ["order",[[x,5,y,1]]]];

[[v,[x,y]],[order,[[x,5,y,1]]]]

[1154] dp_gr_main([x^2+y^2-1,x*y-1] | option_list=Opt);

[ 5 1 ]

[ R R ]

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

@end example

@table @t

Line 498 parse/arith.c 1.11,

Line 545 parse/arith.c 1.11,

parse/glob.c 1.44-1.45,

parse/lex.c 1.29,

parse/parse.h 1.23--1.26

@item

Todo: return $B%-!<%o!<%I$GLa$jCM$N%G!<%?$r(B quote $B$N%j%9%H$K$G$-$k$h$&$K(B.

attribute, ring $B9=B$BN(B.

@end itemize

@comment --- $B"~"~"~"~(B $B4X?t(B syz_pqr, xyz_stu $B$N@bL@(B $B"~"~"~"~(B

Line 545 ChangeLog

Line 595 ChangeLog

Makefile 1.1--1.8, asir-install.sh 1.1--1.2, asir-port.sh 1.1--1.6.

@end itemize

@node get_struct_name,,, $B<B83E*;EMM$N4X?t(B

@subsection @code{get_struct_name}, @code{get_element_names}, @code{get_element_at}, @code{put_element_at}

@findex get_struct_name

@findex get_element_names

@findex get_element_at

@findex put_element_at

@comment --- $B4X?t$N4JC1$J@bL@(B ---

@comment --- @itemx $B$OJ#?t$KBP$7$F@bL@$r0l$D$D$1$k>l9g$K;H$&(B ---

@table @t

@item get_struct_name(@var{s})

@itemx get_element_names(@var{s})

@itemx get_element_at(@var{s},@var{key})

@itemx put_element_at(@var{s},@var{key},@var{obj})

:: $B9=B$BN(B @var{s} $B$KBP$9$kA`:n(B

@end table

@table @var

@item return

$BJ8;zNs(B (get_struct_name),

$BJ8;zNs$N%j%9%H(B (get_element_names),

$B%*%V%8%'%/%H(B (get_element_at),

$B%*%V%8%'%/%H(B (put_element_at)

@item s

$B9=B$BN(B

@item key

$BJ8;zNs(B

@item obj

$B%*%V%8%'%/%H(B

@end table

@itemize @bullet

@item

@code{get_struct_name(s)} $B$O(B, $B9=B$BN(B @var{s} $B$NL>A0$rLa$9(B.

@item

@code{get_element_names(s)} $B$O(B, $B9=B$BN$N%a%s%P!<$NL>A0$N%j%9%H$rLa$9(B.

@item

@code{get_element_at(s,key)} $B$O9=B$BN(B s $B$N%a%s%P!<(B key $B$NCM$rLa$9(B.

@item

@code{put_element_at(s,key,obj)} $B$O9=B$BN(B s $B$N%a%s%P!<(B key $B$NCM$r(B obj $B$K@_Dj$9$k(B.

@end itemize

@example

[219] struct point { x, y, color};

[220] P = newstruct(point);

{0,0,0}

[221] P->x = 10$ P->y=5$ P->color="red"$

[222] get_element_names(P);

[x,y,color]

[223] put_element_at(P,"color","blue");

blue

[224] P->color;

bule

@end example

@table @t

@item $B;2>H(B

@ref{newstruct}, @ref{struct}

@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 --- openxm $B$N30It$+$i$N4sM?$b=R$Y$k(B. Credit.

@noindent

ChangeLog

@itemize @bullet

@item $B9=B$BN$NDj5A$rCN$i$:$K9=B$BN$r07$&%f!<%64X?t$r=q$/$H$-$KJXMx(B.

asir-contrib $B$N(B noro_print.rr $B$r8+$h(B.

@item OpenXM_contrib2/asir2000/builtin/compobj.c 1.8.

@end itemize

@comment $B?7$7$$4X?t$N@bL@$r=q$/$?$a$N%F%s%W%l!<%H$G$"$k(B. $B>C$9$J(B.

@comment --- $B"~"~"~"~(B $B4X?t(B syz_pqr, xyz_stu $B$N@bL@(B $B"~"~"~"~(B

@comment --- $BJ#?t$N4X?t$r$^$H$a$F@bL@$9$kNc(B ---

@node xyz_pqr,,, $B<B83E*;EMM$N4X?t(B

@subsection @code{xyz_pqr}, @code{syz_stu}

@findex xyz_pqr

@findex xyz_stu

@comment --- $B4X?t$N4JC1$J@bL@(B ---

@comment --- @itemx $B$OJ#?t$KBP$7$F@bL@$r0l$D$D$1$k>l9g$K;H$&(B ---

@table @t

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>