CVS log for OpenXM/src/asir-contrib/testing/test1-tr.rr

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

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.8 / (download) - annotate - [select for diffs], Wed May 11 06:40:10 2005 UTC (19 years, 7 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, 7 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, 8 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, 8 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, 8 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, 8 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, 8 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, 9 months ago) by takayama
Branch: MAIN

The initial version of tr (term rewriting).

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.