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: +144 -20
lines
Diff to previous 1.7 (colored)
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, 4 months ago) by takayama
Branch: MAIN
Changes since 1.6: +594 -178
lines
Diff to previous 1.6 (colored)
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:50 2005 UTC (19 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.5: +66 -3
lines
Diff to previous 1.5 (colored)
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: +24 -7
lines
Diff to previous 1.4 (colored)
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, 5 months ago) by takayama
Branch: MAIN
Changes since 1.3: +3 -3
lines
Diff to previous 1.3 (colored)
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, 5 months ago) by takayama
Branch: MAIN
Changes since 1.2: +121 -14
lines
Diff to previous 1.2 (colored)
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, 5 months ago) by takayama
Branch: MAIN
Changes since 1.1: +241 -0
lines
Diff to previous 1.1 (colored)
The first draft of specifications of tr_ (term rewriting) and qt_ (functions for quote).
Revision 1.1 / (download) - annotate - [select for diffs], Fri Apr 1 08:08:36 2005 UTC (19 years, 5 months ago) by takayama
Branch: MAIN
The initial version of tr (term rewriting).