Up to [local] / OpenXM / src / asir-contrib / testing
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: MAIN
Revision 1.8 / (download) - annotate - [select for diffs], Wed May 11 06:40:10 2005 UTC (19 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2,
RELEASE_1_3_1_13b,
RELEASE_1_2_3_12,
KNOPPIX_2006,
HEAD,
DEB_REL_1_2_3-9
Changes since 1.7: +2 -2
lines
Diff to previous 1.7 (unified) to selected 1.1 (unified)
1. qt.input_form, qt.hop, qt.hc_etov(Q,V), Q is a monomial in quote. It returns the leading coefficient and the exponent vector of Q.
Revision 1.7 / (download) - annotate - [select for diffs], Wed May 4 05:47:03 2005 UTC (19 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.6: +52 -142
lines
Diff to previous 1.6 (unified) to selected 1.1 (unified)
1. The module system is used: qt_ --> qt. tr_ ---> tr. 2. A testing code for Taylor expansion: tkseries.exand1(cos(x),x,0,5); 3. tr.apply_or_rules, qt.is_rational, qt.cancel_number, qt.vars, qt.etov_pair, qt.is_minus, qt.add_paren0 See tr-ja.oxt and expand1 of taka_series.rr for details.
Revision 1.6 / (download) - annotate - [select for diffs], Thu Apr 21 10:54:49 2005 UTC (19 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.5: +32 -2
lines
Diff to previous 1.5 (unified) to selected 1.1 (unified)
qt.dtoq(F,V) translates a distributed polynomial F into quote. Example: F=dp_ptod((x-y-z)^3,[x,y]); qt.dtoq(F,[]); quote(x_1^3+-3*x_1^2*x_2+3*x_1*x_2^2-x_2^3+-3*z*x_1^2+6*z*x_1*x_2 +-3*z*x_2^2+3*z^2*x_1+-3*z^2*x_2+-z^3)
Revision 1.5 / (download) - annotate - [select for diffs], Fri Apr 15 12:47:14 2005 UTC (19 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.4: +117 -4
lines
Diff to previous 1.4 (unified) to selected 1.1 (unified)
test6: trying to implement the dirrerential ring. Specification of qt.gtlex(f,g).
Revision 1.4 / (download) - annotate - [select for diffs], Wed Apr 6 09:26:28 2005 UTC (19 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.3: +2 -2
lines
Diff to previous 1.3 (unified) to selected 1.1 (unified)
Fixed a bug of oxgentexi; { and } were not output in example: Added a todo list to tr-ja.oxt.
Revision 1.3 / (download) - annotate - [select for diffs], Sun Apr 3 11:05:21 2005 UTC (19 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.2: +83 -2
lines
Diff to previous 1.2 (unified) to selected 1.1 (unified)
tr_apply_or_rules(Q,R) : applying the rules R to the quote object Q. see test5(). test4() : a functor like N[] of Mathematica.
Revision 1.2 / (download) - annotate - [select for diffs], Sat Apr 2 05:56:57 2005 UTC (19 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.1: +105 -0
lines
Diff to previous 1.1 (unified)
The first draft of specifications of tr_ (term rewriting) and qt_ (functions for quote).
Revision 1.1 / (download) - annotate - [selected], Fri Apr 1 08:08:36 2005 UTC (19 years, 4 months ago) by takayama
Branch: MAIN
The initial version of tr (term rewriting).