| .. | | 03-May-2022 | - |
| FakeLocalizeRing.gd | H A D | 03-May-2022 | 2.8 KiB | 89 | 74 |
| FakeLocalizeRing.gi | H A D | 03-May-2022 | 31.9 KiB | 1,339 | 905 |
| LocalizeRing.gd | H A D | 03-May-2022 | 2.6 KiB | 91 | 71 |
| LocalizeRing.gi | H A D | 03-May-2022 | 34.1 KiB | 1,300 | 945 |
| LocalizeRingAtPrime.gd | H A D | 03-May-2022 | 531 | 14 | 12 |
| LocalizeRingAtPrime.gi | H A D | 03-May-2022 | 1.3 KiB | 48 | 35 |
| LocalizeRingAtPrimeBasic.gd | H A D | 03-May-2022 | 600 | 19 | 16 |
| LocalizeRingAtPrimeBasic.gi | H A D | 03-May-2022 | 2.4 KiB | 107 | 67 |
| LocalizeRingAtPrimeTools.gd | H A D | 03-May-2022 | 617 | 19 | 16 |
| LocalizeRingAtPrimeTools.gi | H A D | 03-May-2022 | 7.2 KiB | 226 | 149 |
| LocalizeRingBasic.gd | H A D | 03-May-2022 | 801 | 23 | 19 |
| LocalizeRingBasic.gi | H A D | 03-May-2022 | 19.8 KiB | 565 | 423 |
| LocalizeRingForHomalg.gd | H A D | 03-May-2022 | 851 | 26 | 20 |
| LocalizeRingForHomalg.gi | H A D | 03-May-2022 | 1.6 KiB | 50 | 40 |
| LocalizeRingGroebner.gd | H A D | 03-May-2022 | 547 | 15 | 12 |
| LocalizeRingGroebner.gi | H A D | 03-May-2022 | 1.4 KiB | 53 | 38 |
| LocalizeRingMora.gd | H A D | 03-May-2022 | 725 | 20 | 16 |
| LocalizeRingMora.gi | H A D | 03-May-2022 | 4 KiB | 130 | 98 |
| LocalizeRingTools.gd | H A D | 03-May-2022 | 594 | 19 | 16 |
| LocalizeRingTools.gi | H A D | 03-May-2022 | 17 KiB | 534 | 406 |
| SingularTools.gd | H A D | 03-May-2022 | 985 | 26 | 18 |
| SingularTools.gi | H A D | 03-May-2022 | 22.1 KiB | 736 | 601 |