| File | Mode | Size |
|---|---|---|
| GradedRing.xml | -rw-r--r-- | 2.4 KB |
| GradedRingForHomalg.bib | -rw-r--r-- | 6.6 KB |
| GradedRingForHomalg.xml | -rw-r--r-- | 2.8 KB |
| MatrixOverGradedRing.xml | -rw-r--r-- | 2.4 KB |
| QuickStart.xml | -rw-r--r-- | 536 bytes |
| Tools.xml | -rw-r--r-- | 1.3 KB |
| appendix.xml | -rw-r--r-- | 2.7 KB |
| clean | -rwxr-xr-x | 98 bytes |
| examples.xml | -rw-r--r-- | 595 bytes |
| install.xml | -rw-r--r-- | 1.2 KB |
| intro.xml | -rw-r--r-- | 1.3 KB |
| manual.css | -rw-r--r-- | 7.0 KB |
| title.xml | -rw-r--r-- | 2.3 KB |
