Powered by Apache

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

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

Request diff between arbitrary revisions


Default branch: MAIN


Revision 1.4 / (download) - annotate - [select for diffs], Sat Jan 26 10:59:48 2013 UTC (11 years, 9 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b, HEAD
Changes since 1.3: +2 -2 lines
Diff to previous 1.3 (colored)

Bug fix: Calls univ2poly before executing dehomogenize.

Revision 1.3 / (download) - annotate - [select for diffs], Sat Jan 26 03:21:52 2013 UTC (11 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.2: +18 -2 lines
Diff to previous 1.2 (colored)

UseSmallD();
changes the Dsymbol from D to d.

Revision 1.2 / (download) - annotate - [select for diffs], Thu Jan 24 00:27:54 2013 UTC (11 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.1: +46 -1 lines
Diff to previous 1.1 (colored)

Added the function Sintegration(F,v,intv).
It uses the minimal filtered resolution to get integrals of F along intv.
This function is faster than integration in sm1, because it uses the minimal resolution.
Example: load["lib/all.k"];;
RingD("x,t");
Sintegration([Dt-(3*t^2-x),Dx+t],[t,x],[t]):

Revision 1.1 / (download) - annotate - [select for diffs], Sun Dec 10 10:04:04 2000 UTC (23 years, 11 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_2_3_12, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, KNOPPIX_2006, DEB_REL_1_2_3-9

Srestall1_s.sm1 is written by Oaku. It evaluates the dimension of the
restriction cohomology groups from a (-w,w)-minimal free resolution
constructed by Sminimal (minimal.k).
Restriction.k is a collection of user interface functions
Srestall, DeRham.

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.




FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>