| .. | | 03-May-2022 | - |
| AnonFunc.cocoa5 | H A D | 25-Mar-2014 | 2.4 KiB | 85 | 70 |
| AnonFunc.out | H A D | 02-Aug-2016 | 510 | 10 | 9 |
| ErrMesg.cocoa5 | H A D | 03-Oct-2019 | 1,009 | 46 | 38 |
| ErrMesg.out | H A D | 04-Oct-2019 | 529 | 20 | 14 |
| ExtLibNORMALIZ.cocoa5 | H A D | 02-Aug-2016 | 905 | 30 | 25 |
| ExtLibNORMALIZ.out | H A D | 02-Aug-2016 | 488 | 15 | 14 |
| INACTIVE-packages.cocoa5 | H A D | 13-Feb-2020 | 1.3 KiB | 57 | 44 |
| INACTIVE-parameters.cocoa5 | H A D | 13-Feb-2020 | 1.3 KiB | 75 | 62 |
| INACTIVE-protection.cocoa5 | H A D | 13-Feb-2020 | 610 | 36 | 29 |
| Makefile | H A D | 03-May-2022 | 5.1 KiB | 186 | 59 |
| RealRoots.cocoa5 | H A D | 02-Aug-2016 | 302 | 12 | 10 |
| RunTests.sh | H A D | 03-May-2022 | 3.3 KiB | 106 | 72 |
| SourceAnna.cocoa5 | H A D | 02-Aug-2016 | 77 | 4 | 3 |
| SourceAnna.out | H A D | 23-Oct-2019 | 403 | 39 | 19 |
| TutHokkaido2.cocoa5 | H A D | 02-Oct-2019 | 6.9 KiB | 268 | 183 |
| TutHokkaido2.out | H A D | 26-Feb-2020 | 2.7 KiB | 98 | 91 |
| TutHokkaido3.cocoa5 | H A D | 07-Aug-2018 | 8.7 KiB | 305 | 220 |
| TutHokkaido3.out | H A D | 02-Oct-2019 | 2.1 KiB | 80 | 78 |
| TutHokkaido4.cocoa5 | H A D | 14-Jan-2020 | 11 KiB | 437 | 317 |
| TutHokkaido4.out | H A D | 02-Oct-2019 | 12.7 KiB | 223 | 222 |
| TutHokkaido5.cocoa5 | H A D | 14-Jan-2020 | 9.5 KiB | 331 | 224 |
| TutHokkaido5.out | H A D | 02-Oct-2019 | 6.1 KiB | 87 | 86 |
| anna.cocoa5 | H A D | 23-Oct-2019 | 18.7 KiB | 385 | 358 |
| bug-EvalTwice.cocoa5 | H A D | 17-May-2017 | 1.1 KiB | 51 | 41 |
| demo-GeMiTo2011.cocoa5 | H A D | 11-Oct-2019 | 1.9 KiB | 68 | 45 |
| demo-GeMiTo2011.out | H A D | 23-Nov-2016 | 420 | 20 | 19 |
| demo-Osaka2015.cocoa5 | H A D | 20-Apr-2018 | 6.8 KiB | 172 | 146 |
| demo-Osaka2015.out | H A D | 20-Apr-2018 | 22.9 KiB | 46 | 45 |
| exbugs.cocoa5 | H A D | 14-Feb-2020 | 7 KiB | 218 | 171 |
| exbugs.out | H A D | 14-Feb-2020 | 50 | 7 | 6 |
| exsegv.cocoa5 | H A D | 08-May-2014 | 1.3 KiB | 35 | 28 |
| exsegv.out | H A D | 02-Aug-2016 | 458 | 14 | 12 |
| lecture-HF1.cocoa5 | H A D | 02-Aug-2016 | 3.4 KiB | 111 | 90 |
| lecture-HF1.out | H A D | 02-Aug-2016 | 2.3 KiB | 25 | 24 |
| lecture-HF2.cocoa5 | H A D | 02-Aug-2016 | 5.3 KiB | 189 | 142 |
| lecture-HF2.out | H A D | 02-Aug-2016 | 472 | 28 | 27 |
| lecture-HF3.cocoa5 | H A D | 27-Apr-2017 | 4.8 KiB | 158 | 131 |
| lecture-HF3.out | H A D | 02-Aug-2016 | 1,005 | 46 | 45 |
| lecture-HF4.cocoa5 | H A D | 02-Aug-2016 | 9.3 KiB | 335 | 286 |
| lecture-HF4.out | H A D | 02-Aug-2016 | 2.7 KiB | 91 | 90 |
| primary.cocoa5 | H A D | 02-Aug-2016 | 1.9 KiB | 65 | 53 |
| primary.out | H A D | 23-Nov-2016 | 775 | 48 | 47 |
| quine.cocoa5 | H A D | 27-Sep-2019 | 173 | 3 | 1 |
| quine.out | H A D | 27-Sep-2019 | 171 | 1 | 1 |
| radical.cocoa5 | H A D | 13-Jan-2020 | 6.5 KiB | 162 | 141 |
| radical0dim.cocoa5 | H A D | 13-Jan-2020 | 2.8 KiB | 75 | 67 |
| tagging.cocoa5 | H A D | 13-Feb-2020 | 1.3 KiB | 59 | 44 |
| tagging.out | H A D | 14-Feb-2020 | 1.8 KiB | 80 | 57 |
| test-ApproxSolve.cocoa5 | H A D | 16-Apr-2018 | 11.9 KiB | 223 | 177 |
| test-FactorAlgExt.cocoa5 | H A D | 19-Apr-2018 | 7.7 KiB | 238 | 210 |
| test-FactorAlgExt.out | H A D | 16-Feb-2017 | 40 | 1 | 1 |
| test-HomomorphismOps.cocoa5 | H A D | 18-Oct-2019 | 5.4 KiB | 157 | 128 |
| test-PrimaryDecomposition0.cocoa5 | H A D | 19-Apr-2018 | 11.1 KiB | 195 | 164 |
| test-implicit.cocoa5 | H A D | 11-May-2017 | 737 | 24 | 20 |
| test-manual.cocoa5 | H A D | 18-Dec-2017 | 42 | 6 | 3 |
| test-manual.out | H A D | 09-Mar-2020 | 1.8 KiB | 52 | 47 |
| test-output.cocoa5 | H A D | 27-Sep-2019 | 1.2 KiB | 58 | 47 |
| test-toric.cocoa5 | H A D | 11-May-2017 | 1 KiB | 30 | 25 |
| tricky-references.cocoa5 | H A D | 27-Sep-2019 | 462 | 37 | 31 |
| tut-CoCoLA1.cocoa5 | H A D | 20-Jul-2016 | 8 KiB | 293 | 223 |
| tut-CoCoLA1.out | H A D | 02-Aug-2016 | 2.8 KiB | 145 | 144 |
| tut-CoCoLA2.cocoa5 | H A D | 10-Oct-2016 | 7.6 KiB | 292 | 241 |
| tut-CoCoLA2.out | H A D | 02-Aug-2016 | 5.3 KiB | 226 | 225 |
| tut-CoCoLA3.cocoa5 | H A D | 02-Aug-2016 | 5.2 KiB | 194 | 160 |
| tut-CoCoLA3.out | H A D | 21-Apr-2017 | 11.4 KiB | 101 | 100 |
| tut-CoCoLA4.cocoa5 | H A D | 28-Aug-2018 | 6.9 KiB | 260 | 199 |
| tut-CoCoLA4.out | H A D | 23-Nov-2016 | 9.8 KiB | 198 | 197 |
| whatiscocoa.cocoa5 | H A D | 02-Aug-2016 | 2.2 KiB | 75 | 64 |
| whatiscocoa.out | H A D | 23-Nov-2016 | 466 | 14 | 13 |