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.