OpenXM/src/k097/lib/minimal/check.sm1 - view

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, 2 months ago) by takayama
Branch: MAIN

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