Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [local] / OpenXM / src / k097 / lib / minimal
File | Rev. | Age | Author | Last log entry |
---|---|---|---|---|
Parent Directory | ||||
check.sm1 | 1.2 | 24 years | takayama | Sminimal_v() is still bugy. I could not fix it today. See also debug-note.txt. |
cohom.k | 1.6 | 23 years | takayama | Boundp(s) checks if the symbol s is bounded to a value or not. GetPathName(s) ch... |
debug-note.txt | 1.2 | 24 years | takayama | SpruneZeroRow(m) deletes 0-row vector. |
example-ja.tex | 1.4 | 24 years | takayama | An example of (u,v)-minimal <> minimal is added. |
k0-cohom.sm1 | 1.3 | 23 years | takayama | New function: Load_sm1(fnames, flag) loads a sm1 file from a list of path fnam... |
k0-tower.sm1 | 1.3 | 24 years | takayama | Added more examples of resolutions. |
minimal-note-ja.txt | 1.12 | 24 years | takayama | Update of the documentation for minimal.k (written at At.Andrews). |
minimal-test.k | 1.23 | 23 years | takayama | Boundp(s) checks if the symbol s is bounded to a value or not. GetPathName(s) ch... |
minimal.k | 1.36 | 17 years | takayama | Added a help message for Sminimal. All free modules in the complex are sets of t... |
new.sm1 | 1.2 | 24 years | takayama | New functions are added to for (u,v)-strict resolutions. Ord_w_m(f,w,m) (ord_w<m... |