https://github.com/Singular/Sources
Tip revision: 35c6e2c47bae1f858ec6f4a0cdab911b80a1c383 authored by Hans Schoenemann on 22 January 2021, 14:55:14 UTC
fix: map Z, Zn ->Zp, mpz_z ->Zp
fix: map Z, Zn ->Zp, mpz_z ->Zp
Tip revision: 35c6e2c
File | Mode | Size |
---|---|---|
.gdbinit | -rw-r--r-- | 19 bytes |
.gitignore | -rw-r--r-- | 50 bytes |
libpolys-config.sample | -rwxr-xr-x | 1.1 KB |
mk | -rwxr-xr-x | 1.1 KB |
test.cc | -rw-r--r-- | 3.0 KB |
tt.cc | -rw-r--r-- | 1.0 KB |