OpenXM/src/asir-contrib/testing/tr-ja.oxt - diff

Return to tr-ja.oxt CVS log

Up to [local] / OpenXM / src / asir-contrib / testing

Diff for /OpenXM/src/asir-contrib/testing/tr-ja.oxt between version 1.3 and 1.4

version 1.3, 2005/04/02 05:56:57

version 1.4, 2005/04/03 11:05:21

Line 1

/*&generate-prologue

$Id$

$OpenXM: OpenXM/src/asir-contrib/testing/tr-ja.oxt,v 1.2 2005/04/01 11:34:21 takayama Exp $

$OpenXM: OpenXM/src/asir-contrib/testing/tr-ja.oxt,v 1.3 2005/04/02 05:56:57 takayama Exp $

$BCm0U(B: testing/tr.rr $B$G$O(B quote $B$r(B quotetolist $B$G(B list $B$KJQ49$7$F07$&$?$a(B,

$B2<$N;EMM$H$O$3$H$J$j(B, list $B7?$G%G!<%?$rLa$9>l9g$bB?$$(B.

$B%f!<%68@8l$G=q$$$F$$$k4X78>e(B pn(x) $B$r(B pn("x") $B$H$7$F$$$k(B.

$BB>$K$bF1MM$J4X?t$,$"$j(B.

gentexi <tr.oxt >t.texi

t.texi $B$K(B

\input texinfo

@def@pi{PI}

$B$r2C$($F$+$i(B ptex t.texi $B$G(B $BBgBN8+$l$k$,(B,

cat pre.texi >t.texi

${OpenXM_HOME}/asir-contrib/packages/doc/gentexi tr.oxt >>t.texi

echo "@bye" >>t.texi

ptex t.texi

$B$H$9$l$P$b$C$H%^%K%e%"%k$C$]$$$b$N$,$G$-$k(B.

@c --------------------------------------------------------------------

@section quote $B$KBP$9$k4pK\4X?t(B

/*&usage begin: qt_node(Q)

begin: qt_node(Q)

quote $B%G!<%?(B {Q} $B$N(B node $B$r<h$j=P$9(B.

example: qt_node(quote(1+2*3))

end: */

end:

/*&usage begin: qt_nchild(Q)

begin: qt_nchild(Q)

quote $B%G!<%?(B {Q} $B$N(B $B;R6!$N?t$rLa$9(B.

example: qt_nchild(quote(1+2*3)) 2 $B$rLa$9(B.

end: */

end:

/*&usage begin: qt_child(Q,K)

begin: qt_child(Q,K)

quote $B%G!<%?(B {Q} $B$N(B {K} $BHVL\$N;R6!$rLa$9(B.

example: qt_child(quote(1+2*3),1) quote(2*3) $B$rLa$9(B.

example: qt_child(quote(1+2*3),0) quote(1) $B$rLa$9(B.

end: */

end:

@c --------------------------------------------------------------------

@subsection quote $B$KBP$9$k=R8l(B

/*&usage begin: qt_is_integer(Q)

begin: qt_is_integer(Q)

quote $B%G!<%?(B {Q} $B$,@0?t$J$i(B 1

example: qt_is_integer(quote(0))

end: */

end:

/*&usage begin: qt_depend(Q,x)

begin: qt_depend(Q,x)

quote $B%G!<%?(B {Q} $B$,ITDj85(B {x} $B$r4^$`$H(B 1, $B4^$^$J$$$H(B 0.

example: qt_depend(quote(1+1/x),x)

end: */

end:

begin: qt_is_function(Q)

quote $B%G!<%?(B {Q} $B$,4X?t$N$H$-(B 1, $B$=$&$G$J$$$H$-(B 0.

example: qt_is_function(f(x,y));

end:

@c --------------------------------------------------------------------

@subsection quote $B$KBP$9$k%3%s%9%H%i%/%?(B

/*&usage begin: qt_zero()

begin: qt_zero()

quote 0 $B$rLa$9(B.

end: */

end:

/*&usage begin: qt_id(Qobj)

begin: qt_id(Qobj)

quote object {Qobj} $B$r$=$N$^$^La$9(B.

end: */

end:

/*&usage begin: qt_replace(Qobj,[[x,Valuex],[y,Valuey],...])

begin: qt_replace(Qobj,[[x,Valuex],[y,Valuey],...])

quote object {Qobj} $B$NCf$N(B x $B$r(B Valuex, y $B$r(B Valuey, ... $B$KCV$-49$($?(B

quote object $B$rLa$9(B.

example: qt_replace(quote(sin(x*@pi)), [[x,quote( (2*t+3) )]])

end: */

end:

qt_replace $B$O(B asir-contrib $B$N(B base_replace $B$H;w$?5!G=(B.

quote $B$NFbIt$KBgJ8;z$G$O$8$^$kJQ?t(B($BI>2A$9$k(B)$B$,=q$1$J$$$?$a(B.

/*&usage begin: qt_parenthesis(Qobj)

begin: qt_parenthesis(Qobj)

quote object {Qobj} $B$NCf$N3g8L$,B-$j$J$$$H$-$K$OJd$$(B, $BB?$$$H$-$K$O<h$j5n$C$?(B

quote object $B$r:n$k(B.

+, *, /, ^, - $BEy$K$D$$$F(B asir $B$NJ8K!$G$N1i;;;R$N6/$5$r2>Dj$9$k(B.

end: */

end:

/*&usage begin: qt_eval(Qobj,type)

begin: qt_eval(Qobj,type)

Qobj $B$r(B asir $B$NB>$N(B object $B$KJQ49(B.

end: */

end:

/*&usage begin: qt_(Obj)

begin: qt_(Obj)

asir $B$N(B Obj $B$r(B quote $B7?$KJQ49(B.

end: */

end:

@c --------------------------------------------------------------------

@section tr (term rewriting) $B$N%H%C%W%l%Y%k$N4X?t(B

/*&usage begin: tr_match0(Qobj,P)

begin: tr_match0(Qobj,P)

quote $B%G!<%?(B {Qobj} $B$,(B $B%Q%?!<%s(B {P} $B$KE,9g$9$l$P(B 1 $B$rLa$7(B, $B$=$&$G$J$1$l$P(B 0

$B$rLa$9(B.

example: tr_match0(quote(1+2*3),quote(pn(x)+pn(y)))

x $B$K(B quote(1), y $B$K(B quote(2*3)

tr_match0(quote(1+2*3),quote(pn(x)+pn(y,qt_is_integer,y)))

qt_is_integer(2*3) $B$O(B 0 $B$J$N$G(B y $B$K$O%^%C%A$7$J$$(B.

end: */

end:

pn(x) $B$OG$0U$N(B quote object $B$K%^%C%A$7(B, $BL>A0(B x $B$r$D$1$k(B.

begin: pn(X)

tr_match0(quote(1+2*3),quote(pn(x)+pn(y))) $B$O(B 1 $B$rLa$9$,(B,

pn(x) $B$OG$0U$N(B quote object $B$K%^%C%A$7(B, $BL>A0(B x $B$r$D$1$k(B.

tr_match0(quote(1+2*3),quote(pn(x)+pn(y,tr_is_integer,x))) $B$O(B 0 $B$r$b$I$9(B.

description:

2*3 $B$O(B integer $B$+$i:n$i$l$?(B fnode $B$G$O$"$k$,(B integer $B$G$O$J$$$N$G(B qt_is_integer

tr_match0(quote(1+2*3),quote(pn(x)+pn(y))) $B$O(B 1 $B$rLa$9$,(B,

$B$,(B 0 $B$rLa$9$?$a(B.

tr_match0(quote(1+2*3),quote(pn(x)+pn(y,tr_is_integer,x))) $B$O(B 0 $B$r$b$I$9(B.

2*3 $B$O(B integer $B$+$i:n$i$l$?(B fnode $B$G$O$"$k$,(B integer $B$G$O$J$$$N$G(B qt_is_integer

$B$,(B 0 $B$rLa$9$?$a(B.

end:

/*&usage begin: tr_match_act(Qobj,P,Act)

begin: tr_match0_act(Qobj,P,Act)

quote $B%G!<%?(B {Qobj} $B$,(B $B%Q%?!<%s(B {P} $B$KE,9g$9$l$P(B {Act} $B$r8F$S=P$7$=$NCM$rLa$9(B.

$B%Q%?!<%s(B {P} $B$K%^%C%A$7$J$$$H$-$O(B 0.

example: tr_match_act(quote(1+2*3),quote(pn(x)+pn(y)),[myadd,x,y])

example: tr_match0_act(quote(1+2*3),quote(pn(x)+pn(y)),[myadd,x,y])

end: */

end:

/*&usage begin: tr_or_match1(Qobj,Rules)

begin: tr_or_match0_act(Qobj,Rules)

end: */

end:

/*&usage begin: tr_apply_rule1(Qobj,P,Act)

begin: tr_apply_rule1(Qobj,P,Act)

quote $B%G!<%?(B {Qobj} $B$NLZ$rI}M%@hC5:w$7(B,

$B%Q%?!<%s(B {P} $B$KE,9g$9$k$b$N$,$"$k$H$-$O(B {Act} $B$r8F$S=P$7$=$NCM$rLa$9(B.

$B$D$^$j(B top node $B$,(B {P} $B$KE,9g$9$k$+D4$Y(B, $BE,9g$7$J$$>l9g$O$=$N;R6!$K(B

tr_apply_rule1 $B$rE,MQ$9$k(B ($B$3$3$,(B tr_match_act $B$H$O0[$J$k(B).

$B%^%C%A$7$J$$>l9g$O(B Qobj $B$r$=$N$^$^La$9(B ($B$3$l$,:F5"E*$KE,MQ$5$l$k(B).

example: tr_apply_rule1(quote(1+sin(2*@pi)),quote(sin(pn(x)*@pi)),[sin_int,x])

description:

end: */

$B$3$3$G(B sin_int(X) $B$O(B X $B$,(B integer $B$N;~$O(B quote(0) $B$rLa$7(B,

$B$=$&$G$J$$$H$-$O(B quote(sin(X*@pi)) $B$rLa$9(B.

$B?<$5M%@h$G=q$-49$($r$9$k$K$O(B $B4X?t(B sin_int $B$NCf$G$^$?(B tr_apply_rule1 $B$r8F$S=P$;$P(B

$B$h$$(B.

/*&usage begin: tr_apply_or_rules(Qobj,Rules)

example: tr_apply_rule1(quote(1+sin(2*@pi)),quote(sin(pn(x)*@pi)),[sin_int,x])

end: */

end:

begin: tr_apply_or_rules(Qobj,Rules)

end:

@subsection $BFbIt4X?t(B

/*&usage begin: tr_apply_function0(Qobj,BindingTable)

begin: tr_apply_function0(Qobj,BindingTable)

end: */

end:

/*&usage begin: tr_rp(Qobj,P,A)

begin: tr_rp(Qobj,P,A)

end: */

end:

/*&usage begin: tr_make_binding(Qobj,P)

begin: tr_make_binding(Qobj,P)

end: */

end:

@c ---------------------------------------------------------

@section $BJQ?t%Q%?!<%s$H4X?t%Q%?!<%s(B

$BNc(B:

begin: remark_on_pn()

$BJQ?t%Q%?!<%s(B

example:

pn(x) $BG$0U$N$b$N$K%^%C%A(B. $B%^%C%A$7$?$b$N$r(B x $B$K(B bind.

pn(x,qt_is_integer(x))

Todo; fn $B$OB?J,$$$i$J$$(B. qt_is_function(x) $B$G(B OK.

fn(f) $BG$0U$N4X?t$K%^%C%A(B. $B%^%C%A$7$?4X?tL>$r(B f $B$K(B bind.

fn(f,pn(x),pn(y)) $BG$0U$N4X?t$K%^%C%A(B. $B%^%C%A$7$?4X?tL>$r(B f $B$K(B bind.

f $B$N0z?t$r(B x, y $B$K(B bind

end:

@c ---------------------------------------------------------

@section $B%Q%?!<%s(B

begin: remark_pattern()

$B%Q%?!<%s$O(B quote $B$GM?$($k(B.

$BM=Ls8l(B tr_and, tr_or, tr_not $B$O%Q%?!<%s$N%^%C%A$K4X$7$FO@M}1i;;$r$*$3$J$&(B.

$B$?$H$($P(B

quote(tr_and(pn(x,qt_is_integer),pn(x,qt_is_non_negative(x))))

$B$O(B x $B$,(B $B@0?t$G(B - $B$,@hF,$K$D$$$F$$$J$$>l9g%^%C%A$9$k(B.

end:

@c ---------------------------------------------------------

@section $BNcBj(B sin($B@0?t(B*@pi) $B$r(B 0 $B$K(B.

begin: example_sin_int();

$BNcBj(B sin($B@0?t(B*@pi) $B$r(B 0 $B$K(B.

example:

/* $B=`Hw(B */

extern P,A;

P=quote(sin(pn(x)*@pi)); /* $B%Q%?!<%s(B */

Line 169 quote(tr_and(pn(x,qt_is_integer),pn(x,qt_is_non_negati

Line 201 quote(tr_and(pn(x,qt_is_integer),pn(x,qt_is_non_negati

/* $B7W;;(B */

Qobj=quote(1+sin(sin(2*@pi)*@pi)*sin((1/2)*@pi));

tr_apply_rule1(Qobj,P,A);

end:

@c ------------------------------------------------------

@section $BNcBj(B Mathematica $B$N(B N[ ] $BAjEv$N4X?t$r%f!<%6$,=q$1$k$h$&$K(B.

begin: example_Mathematica_N()

$BNcBj(B Mathematica $B$N(B N[ ] $BAjEv$N4X?t$r%f!<%6$,=q$1$k$h$&$K(B.

example:

nn(sin(cos(@pi)+sqrt(2)))

--> nn(sin(nn(cos(nn(@pi)))+nn(sqrt(nn(2)))))

Prog; test1-tr.rr $B$N(B test4().

qt_map_arg $B4X?t$rMQ$$$k(B.

def test4() {

Rule=[quote(nn(pn(f))),[qt_map_arg,nn,f]];

/* nn $B$G0O$^$l$?$b$N$,$"$l$P(B, nn $B$r$=$NFbIt$K:F5"E*$K(B apply $B$9$k(B */

R0 = quote(nn(sin(1/2)*cos(1/3)));

print(print_input_form(R0));

R=tr_apply_rule1(R0,Rule[0],Rule[1]);

return R;

}

end:

@c ---------------------------------------------------------

@section $BNcBj(B $BITDj@QJ,(B

begin: example_indefinite_integral()

$BNcBj(B $BITDj@QJ,(B

example:

/* integral(f+g) => integral(f)+integral(g) */

S1=[quote(integral(pn(f)+pn(g))),

[int_linear1,f,g]];

Line 195 quote(tr_and(pn(x,qt_is_integer),pn(x,qt_is_non_negati

Line 252 quote(tr_and(pn(x,qt_is_integer),pn(x,qt_is_non_negati

a*integral(x^2)+integral(x)+integral(2/x);

quote(integral(x^pn(n))) --> x^(n+1)/(n+1) or log(x) $B$r=q$/(B.

end:

@c ---------------------------------------------------------

@section $BNcBj(B $B4JC1$J9=J82r@O(B

begin: example_parsing()

$BNcBj(B $B4JC1$J9=J82r@O(B

example:

$B<0(B(expression) $B$O(B $B<0(B+$B<0(B | $B<0(B*$B<0(B | ($B<0(B) | $B@0?t(B

extern R1,R2,R3,R4,S1,S2,S3,S4;

Line 234 quote(tr_and(pn(x,qt_is_integer),pn(x,qt_is_non_negati

Line 295 quote(tr_and(pn(x,qt_is_integer),pn(x,qt_is_non_negati

/* $B7W;;(B */

tr_eval_expression(quote(1+2*(3+15)));

end:

@c ---------------------------------------------------------

@section $BNcBj(B $BHs2D494D$N4JC1$J9=J82r@O(B

@section Todo:

@section Todo;

$BNc(B. Mathematica $B$N(B N[ ] $BAjEv$N4X?t$r%f!<%6$,=q$1$k$h$&$K(B.

nn(sin(cos(@pi)+sqrt(2)))

--> nn(sin(nn(cos(nn(@pi)))+nn(sqrt(nn(2)))))

$BG$0U4X?t$H$N(B match.

$BNc(B: $BQQ5i?t$N7W;;$r(B quote $B$G<B8=(B.

$BNc(B; $BQQ5i?t$N7W;;$r(B quote $B$G<B8=(B.

sort $B$d(B expand $B$OAH$_9~$_$G(B.

$BNc(B: Mathematica $B$N(B Expand[], Toghether[] $BAjEv$N$b$N(B.

$BNc(B; Mathematica $B$N(B Expand[], Toghether[] $BAjEv$N$b$N(B.

$BNc(B: D $B$N3]$1;;$r(B $B%Q%?!<%s%^%C%A$G<B8=(B.

$BNc(B; D $B$N3]$1;;$r(B $B%Q%?!<%s%^%C%A$G<B8=(B.

$BNc(B: (x^(1/n))^n --> x $BEy(B.

$BNc(B; (x^(1/n))^n --> x $BEy(B.

$BNc(B: $B5-9fHyJ,$HHyJ,4D$G$N7W;;(B.

$BNc(B; $B5-9fHyJ,$HHyJ,4D$G$N7W;;(B.

y''+xy=0, y''=y^2+x $BEy(B.

y''+xy=0, y''=y^2+x $BEy(B. index $BIU$-$NJQ?t@8@.$,I,MW(B. idxtov

$BNc(B: QE, $BO@M}<0(B.

$BNc(B; QE, $BO@M}<0(B.

@section $B9M$(J}$K$D$$$F$N35@b(B

Line 266 quote(tr_and(pn(x,qt_is_integer),pn(x,qt_is_non_negati

Line 324 quote(tr_and(pn(x,qt_is_integer),pn(x,qt_is_non_negati

iterator $B$N0l<o(B.

@c ------------------------------------------------

@section $B<B83E*4X?t(B

begin: qt_map_arg(F,Q)

$B4X?t(B F $B$r(B quote $B%G!<%?(B {Q} $B$N(B $B$9$Y$F$N%N!<%I$K:F5"E*$K(B

apply $B$7$?(B quote $B%G!<%?$rLa$9(B.

example: qt_map_arg(nn,quote(sin(@pi)+2/3))

nn(nn(sin(nn(@pi)))+nn(nn(2)/nn(3)))

end:

@section $B$^$@%9%1%C%A$N$_$N4X?t;EMM(B

qt_ltor, qt_rtol : $BLZ$N9=B$$NJQ49(B; $BNc(B (x*y)*z --> x*(y*z)

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