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 |
|---|---|---|---|---|
![[BACK]](/icons/cvsweb/back.gif){kind=icon} Parent Directory |
||||
![[TXT]](/icons/cvsweb/text.gif){kind=icon} minimal.k |
1.36 | 17 years | takayama | Added a help message for Sminimal. All free modules in the complex are sets of t... |
| k0-tower.sm1 |
1.3 | 24 years | takayama | Added more examples of resolutions. |
| example-ja.tex |
1.4 | 24 years | takayama | An example of (u,v)-minimal <> minimal is added. |
| cohom.k |
1.6 | 23 years | takayama | Boundp(s) checks if the symbol s is bounded to a value or not. GetPathName(s) ch... |
| 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... |
| k0-cohom.sm1 |
1.3 | 23 years | takayama | New function: Load_sm1(fnames, flag) loads a sm1 file from a list of path fnam... |
| 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... |
| check.sm1 |
1.2 | 24 years | takayama | Sminimal_v() is still bugy. I could not fix it today. See also debug-note.txt. |
| debug-note.txt |
1.2 | 24 years | takayama | SpruneZeroRow(m) deletes 0-row vector. |
| minimal-note-ja.txt |
1.12 | 24 years | takayama | Update of the documentation for minimal.k (written at At.Andrews). |