https://github.com/simpcomp-team/simpcomp
Tip revision: 547954673cf6a06cbf60a942a8e5bccf6185ce0d authored by simpcomp on 17 October 2023, 07:13:10 UTC
Merge pull request #48 from fingolfin/mh/update-ci
Merge pull request #48 from fingolfin/mh/update-ci
Tip revision: 5479546
| File | Mode | Size |
|---|---|---|
| DMT.gd | -rw-r--r-- | 2.5 KB |
| DMT.gi | -rw-r--r-- | 61.7 KB |
| bistellar.gd | -rw-r--r-- | 8.3 KB |
| bistellar.gi | -rw-r--r-- | 81.9 KB |
| blowups.gd | -rw-r--r-- | 1.8 KB |
| blowups.gi | -rw-r--r-- | 29.7 KB |
| class3mflds.gd | -rw-r--r-- | 1.2 KB |
| class3mflds.gi | -rw-r--r-- | 284.0 KB |
| complex.gd | -rw-r--r-- | 12.9 KB |
| complex.gi | -rw-r--r-- | 28.4 KB |
| fromgroup.gd | -rw-r--r-- | 1.3 KB |
| fromgroup.gi | -rw-r--r-- | 36.7 KB |
| generate.gd | -rw-r--r-- | 5.0 KB |
| generate.gi | -rw-r--r-- | 145.3 KB |
| glprops.gd | -rw-r--r-- | 7.3 KB |
| glprops.gi | -rw-r--r-- | 111.1 KB |
| highlySymmetricSurfaces.gd | -rw-r--r-- | 1.1 KB |
| highlySymmetricSurfaces.gi | -rw-r--r-- | 205.1 KB |
| homology.gd | -rw-r--r-- | 3.3 KB |
| homology.gi | -rw-r--r-- | 48.1 KB |
| io.gd | -rw-r--r-- | 2.1 KB |
| io.gi | -rw-r--r-- | 48.9 KB |
| isosig.gd | -rw-r--r-- | 3.3 KB |
| isosig.gi | -rw-r--r-- | 11.3 KB |
| labelops.gd | -rw-r--r-- | 1.1 KB |
| labelops.gi | -rw-r--r-- | 14.9 KB |
| lib.gd | -rw-r--r-- | 3.1 KB |
| lib.gi | -rw-r--r-- | 42.9 KB |
| morse.gd | -rw-r--r-- | 1.6 KB |
| morse.gi | -rw-r--r-- | 23.5 KB |
| normalsurface.gd | -rw-r--r-- | 4.8 KB |
| normalsurface.gi | -rw-r--r-- | 47.1 KB |
| operations.gd | -rw-r--r-- | 3.1 KB |
| operations.gi | -rw-r--r-- | 67.9 KB |
| pkggrape.gi | -rw-r--r-- | 4.8 KB |
| pkghom.gd | -rw-r--r-- | 2.1 KB |
| pkghom.gi | -rw-r--r-- | 1.3 KB |
| pkghomalg.gd | -rw-r--r-- | 1.9 KB |
| pkghomalg.gi | -rw-r--r-- | 14.5 KB |
| pkgnogrape.gi | -rw-r--r-- | 484 bytes |
| pkgnohom.gi | -rw-r--r-- | 601 bytes |
| prophandler.gd | -rw-r--r-- | 28.8 KB |
| prophandler.gi | -rw-r--r-- | 266 bytes |
| propobject.gd | -rw-r--r-- | 2.4 KB |
| propobject.gi | -rw-r--r-- | 13.8 KB |
| tools.gd | -rw-r--r-- | 3.2 KB |
| tools.gi | -rw-r--r-- | 15.2 KB |
