| File | Mode | Size |
|---|---|---|
| FakeLocalizeRing.gd | -rw-r--r-- | 2.8 KB |
| FakeLocalizeRing.gi | -rw-r--r-- | 30.1 KB |
| LocalizeRing.gd | -rw-r--r-- | 2.6 KB |
| LocalizeRing.gi | -rw-r--r-- | 34.2 KB |
| LocalizeRingAtPrime.gd | -rw-r--r-- | 531 bytes |
| LocalizeRingAtPrime.gi | -rw-r--r-- | 1.3 KB |
| LocalizeRingAtPrimeBasic.gd | -rw-r--r-- | 600 bytes |
| LocalizeRingAtPrimeBasic.gi | -rw-r--r-- | 2.4 KB |
| LocalizeRingAtPrimeTools.gd | -rw-r--r-- | 617 bytes |
| LocalizeRingAtPrimeTools.gi | -rw-r--r-- | 7.2 KB |
| LocalizeRingBasic.gd | -rw-r--r-- | 801 bytes |
| LocalizeRingBasic.gi | -rw-r--r-- | 19.8 KB |
| LocalizeRingForHomalg.gd | -rw-r--r-- | 851 bytes |
| LocalizeRingForHomalg.gi | -rw-r--r-- | 1.6 KB |
| LocalizeRingGroebner.gd | -rw-r--r-- | 547 bytes |
| LocalizeRingGroebner.gi | -rw-r--r-- | 1.4 KB |
| LocalizeRingMora.gd | -rw-r--r-- | 725 bytes |
| LocalizeRingMora.gi | -rw-r--r-- | 4.0 KB |
| LocalizeRingTools.gd | -rw-r--r-- | 594 bytes |
| LocalizeRingTools.gi | -rw-r--r-- | 16.6 KB |
| SingularTools.gd | -rw-r--r-- | 985 bytes |
| SingularTools.gi | -rw-r--r-- | 22.1 KB |
