Return to check.sm1 CVS log | Up to [local] / OpenXM / src / k097 / lib / minimal |
File: [local] / OpenXM / src / k097 / lib / minimal / check.sm1 (download)
Revision 1.1, Wed May 3 06:42:07 2000 UTC (24 years, 3 months ago) by takayama
I've been quiet and developed a code to construct minimal free resolution in D. This is a first working version for the minimal free resolution. It is written in the language kan/k0 and can be compiled into sm1 code. The language kan/k0 is similar to asir with extension of "class". Sample: k0 load["minimal.k"]; a = Sminimal(v); |
% $OpenXM: OpenXM/src/k097/lib/minimal/check.sm1,v 1.1 2000/05/03 06:42:07 takayama Exp $ (cohom.sm1) run [[(2*x*Dx + 3*y*Dy+6) (0)] [(3*x^2*Dy + 2*y*Dx) (0)] [(0) (x^2+y^2)] [(0) (x*y)]] /ff set [ff (x,y,z)] resol1 /gg set ; gg pmat (The answer is in gg.) message