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 - [select for diffs], 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)

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)

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)

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)

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)

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)

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

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.