https://github.com/ederc/Sources
Tip revision: c808ea39e0d6ca43843b21d2b4cac0d0bde1e487 authored by Hans Schoenemann on 05 June 2019, 15:24:50 UTC
fix: rRing_ord_pure_dp/Dp/lp
fix: rRing_ord_pure_dp/Dp/lp
Tip revision: c808ea3
| File | Mode | Size |
|---|---|---|
| IntegerProgramming | ||
| Singular | ||
| Tst | ||
| desktop | ||
| doc | ||
| dox | ||
| emacs | ||
| factory | ||
| gfanlib | ||
| kernel | ||
| libpolys | ||
| logo | ||
| m4 | ||
| misc | ||
| modules | ||
| old_modgen | ||
| omalloc | ||
| ppcc | ||
| redhat | ||
| resources | ||
| standalone.test | ||
| templates | ||
| tests | ||
| .gdbinit | -rw-r--r-- | 693 bytes |
| .gitattributes | -rw-r--r-- | 210 bytes |
| .gitignore | -rw-r--r-- | 1.8 KB |
| AUTHORS | -rw-r--r-- | 0 bytes |
| COPYING | -rw-r--r-- | 5.5 KB |
| ChangeLog | -rw-r--r-- | 0 bytes |
| GPL2 | -rw-r--r-- | 17.6 KB |
| GPL3 | -rw-r--r-- | 34.3 KB |
| Makefile.am | -rw-r--r-- | 1.0 KB |
| NEWS | -rw-r--r-- | 0 bytes |
| README | -rw-r--r-- | 837 bytes |
| README.md | -rw-r--r-- | 871 bytes |
| README.pkg | -rw-r--r-- | 1.0 KB |
| Singular.pc.in | -rw-r--r-- | 399 bytes |
| autogen.sh | -rwxr-xr-x | 335 bytes |
| clone_autogen_generated_stuff.sh | -rwxr-xr-x | 221 bytes |
| configure.ac | -rw-r--r-- | 8.6 KB |
| doxy | -rwxr-xr-x | 1.8 KB |
| git-archive | -rwxr-xr-x | 694 bytes |
| git-version-gen | -rwxr-xr-x | 548 bytes |
| libsingular-config.in | -rwxr-xr-x | 1.6 KB |
| main.dox | -rw-r--r-- | 4.2 KB |
| make_tar.sh | -rw-r--r-- | 1.6 KB |
