CVS log for OpenXM/src/k097/lib/restriction/demo.k

Up to [local] / OpenXM / src / k097 / lib / restriction

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.9 / (download) - annotate - [select for diffs], Sun May 4 13:19:21 2003 UTC (21 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, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, KNOPPIX_2006, HEAD, DEB_REL_1_2_3-9
Changes since 1.8: +9 -1 lines
Diff to previous 1.8 (colored)

demoReduction(true) demonstrates how reduction (division theorem) works.

Revision 1.8 / (download) - annotate - [selected], Thu Sep 20 00:48:17 2001 UTC (23 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.7: +73 -1 lines
Diff to previous 1.7 (colored)

Experimental functions;
  Localize3WithAsir(I,f)  localize D/I along f.
  Ltest2()                testing the function above for exp(x^3-y^2).

Revision 1.7 / (download) - annotate - [select for diffs], Fri Jan 26 12:24:57 2001 UTC (23 years, 11 months ago) by takayama
Branch: MAIN
Changes since 1.6: +67 -2 lines
Diff to previous 1.6 (colored) to selected 1.8 (colored)

Methods OnTimer() and OffTimer() are added to the class Asir.
nonquasi2(), DeRham2WithAsir(), and DeRham3WithAsir()
are ready for taking timing data.

Revision 1.6 / (download) - annotate - [select for diffs], Fri Jan 5 11:14:29 2001 UTC (23 years, 11 months ago) by takayama
Branch: MAIN
Changes since 1.5: +4 -4 lines
Diff to previous 1.5 (colored) to selected 1.8 (colored)

Bug fix of the new manual system of kan/k0.
Moved some functions with the name *Indexed* to debug/indexed.k

Revision 1.5 / (download) - annotate - [select for diffs], Thu Dec 28 00:08:14 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.4: +9 -22 lines
Diff to previous 1.4 (colored) to selected 1.8 (colored)

Added new functions:  GetRing, SetRing, DC(*,"polynomial").

Revision 1.4 / (download) - annotate - [select for diffs], Wed Dec 27 10:16:13 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.3: +36 -22 lines
Diff to previous 1.3 (colored) to selected 1.8 (colored)

Added rpc_submit (only submit a job) and rpc_str (submit a job and get
a result by string).

Revision 1.3 / (download) - annotate - [select for diffs], Wed Dec 27 08:09:27 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.2: +47 -4 lines
Diff to previous 1.2 (colored) to selected 1.8 (colored)

DeRham2WithAsir, DeRham3WithAsir, nonquasi2 call generic_bfct() of asir
to compute b-function for restriction.  It is much faster than calling bfm.

Revision 1.2 / (download) - annotate - [select for diffs], Fri Dec 15 02:44:32 2000 UTC (24 years ago) by takayama
Branch: MAIN
Changes since 1.1: +51 -1 lines
Diff to previous 1.1 (colored) to selected 1.8 (colored)

Added methods
     DeRham2WithAsir, DeRham3WithAsir.
These use ann0 of bfct of asir to get the I s.t.
D/I = D(1/f).

Revision 1.1 / (download) - annotate - [select for diffs], Thu Dec 14 13:18:41 2000 UTC (24 years ago) by takayama
Branch: MAIN
Diff to selected 1.8 (colored)

nonquasi2(p,q) computes the dimensions of de Rham cohomology
groups of C^2 - V(x^p+y^q+x*y^(q-1)) by calling ox_asir (ann of bfct).
Example:  nonquasi2(4,9):

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.