[homalg_project] Update HomalgToCAS to 2025.08-01

[gap-package-distribution-bot]

• HomalgToCAS 2025.08-01: [PackageInfo.g] [README] [website] [source archive]
• source repository
• issue tracker

[gap-package-distribution-bot]

Package Evaluation Report for GAP master

Job Properties

Testing: master/2025-09-06-14:51:46-afdefc6b vs master/2025-09-06-02:50:18-40dbfaed

Generated by Workflow: https://github.com/gap-system/PackageDistro/actions/runs/17515507351

In total, 164 packages were tested, out of which 161 succeeded, 0 failed and 3 were skipped.

✔️ Packages still succeeding

161 package(s) succeeded tests also on the previous version.

Click to show packages!

• 4ti2interface 2024.11-01 (success)
• ace 5.7.0 (success)
• aclib 1.3.3 (success)
• agt 0.3.1 (success)
• alco 1.1.2 (success)
• alnuth 3.2.1 (success)
• anupq 3.3.2 (success)
• atlasrep 2.1.9 (success)
• autodoc 2025.05.09 (success)
• automata 1.16 (success)
• automgrp 1.3.3 (success)
• autpgrp 1.11.1 (success)
• cap 2025.08-03 (success)
• caratinterface 2.3.7 (success)
• cddinterface 2025.06.24 (success)
• circle 1.6.6 (success)
• classicpres 1.22 (success)
• cohomolo 1.6.11 (success)
• congruence 1.2.7 (success)
• corefreesub 0.6 (success)
• corelg 1.57 (success)
• crime 1.6 (success)
• crisp 1.4.8 (success)
• crypting 0.10.6 (success)
• cryst 4.1.29 (success)
• crystcat 1.1.10 (success)
• ctbllib 1.3.11 (success)
• cubefree 1.21 (success)
• curlinterface 2.4.2 (success)
• cvec 2.8.4 (success)
• datastructures 0.3.3 (success)
• deepthought 1.0.9 (success)
• design 1.8.2 (success)
• difsets 2.3.1 (success)
• digraphs 1.12.0 (success)
• edim 1.3.8 (success)
• example 4.4.1 (success)
• examplesforhomalg 2023.10-01 (success)
• factint 1.6.3 (success)
• ferret 1.0.14 (success)
• fga 1.5.0 (success)
• fining 1.5.6 (success)
• float 1.0.9 (success)
• format 1.4.4 (success)
• forms 1.2.13 (success)
• fplsa 1.2.7 (success)
• fr 2.4.13 (success)
• francy 2.0.3 (success)
• fwtree 1.3 (success)
• gapdoc 1.6.7 (success)
• gauss 2024.11-01 (success)
• gaussforhomalg 2024.08-01 (success)
• gbnp 1.1.0 (success)
• generalizedmorphismsforcap 2025.08-01 (success)
• genss 1.6.9 (success)
• gradedmodules 2024.12-01 (success)
• gradedringforhomalg 2024.07-01 (success)
• grape 4.9.2 (success)
• groupoids 1.78 (success)
• grpconst 2.6.5 (success)
• guarana 0.96.3 (success)
• guava 3.20 (success)
• hap 1.70 (success)
• hapcryst 0.1.15 (success)
• hecke 1.5.4 (success)
• help 4.0 (success)
• homalg 2024.01-01 (success)
• homalgtocas 2025.08-01 (success)
• ibnp 0.16 (success)
• idrel 2.48 (success)
• images 1.3.3 (success)
• inducereduce 1.1 (success)
• intpic 0.4.0 (success)
• io 4.9.3 (success)
• io_forhomalg 2023.02-04 (success)
• irredsol 1.4.4 (success)
• json 2.2.3 (success)
• jupyterkernel 1.5.1 (success)
• jupyterviz 1.5.6 (success)
• kan 1.37 (success)
• kbmag 1.5.11 (success)
• laguna 3.9.7 (success)
• liealgdb 2.2.1 (success)
• liepring 2.9.1 (success)
• liering 2.4.2 (success)
• linearalgebraforcap 2025.08-02 (success)
• lins 0.9 (success)
• localizeringforhomalg 2023.10-01 (success)
• loops 3.4.4 (success)
• lpres 1.1.1 (success)
• majoranaalgebras 1.5.2 (success)
• mapclass 1.4.6 (success)
• matgrp 0.72 (success)
• matricesforhomalg 2025.08-01 (success)
• modisom 3.0.0 (success)
• modulepresentationsforcap 2025.08-02 (success)
• modules 2024.12-01 (success)
• monoidalcategories 2025.08-02 (success)
• nconvex 2024.12-01 (success)
• nilmat 1.4.2 (success)
• nock 1.5 (success)
• normalizinterface 1.4.1 (success)
• nq 2.5.11 (success)
• numericalsgps 1.4.0 (success)
• openmath 11.5.3 (success)
• orb 5.0.1 (success)
• packagemanager 1.6.3 (success)
• patternclass 2.4.5 (success)
• permut 2.0.5 (success)
• polenta 1.3.11 (success)
• polycyclic 2.17 (success)
• polymaking 0.8.7 (success)
• primgrp 4.0.0 (success)
• profiling 2.6.2 (success)
• qdistrnd 0.9.5 (success)
• qpa 1.35 (success)
• quagroup 1.8.4 (success)
• radiroot 2.9 (success)
• rcwa 4.7.1 (success)
• rds 1.8 (success)
• recog 1.4.4 (success)
• repndecomp 1.3.0 (success)
• repsn 3.1.2 (success)
• resclasses 4.7.3 (success)
• ringsforhomalg 2024.11-02 (success)
• sco 2023.08-01 (success)
• scscp 2.4.4 (success)
• semigroups 5.5.4 (success)
• sglppow 2.4 (success)
• sgpviz 0.999.6 (success)
• simpcomp 2.1.14 (success)
• singular 2025.08.26 (success)
• sl2reps 1.1 (success)
• sla 1.6.2 (success)
• smallantimagmas 0.4.1 (success)
• smallgrp 1.5.4 (success)
• smallsemi 0.7.2 (success)
• sonata 2.9.6 (success)
• sophus 1.27 (success)
• sotgrps 1.3 (success)
• spinsym 1.5.2 (success)
• standardff 1.0 (success)
• symbcompcc 1.3.2 (success)
• thelma 1.3 (success)
• tomlib 1.2.11 (success)
• toolsforhomalg 2025.05-01 (success)
• toric 1.9.6 (success)
• transgrp 3.6.5 (success)
• typeset 1.2.3 (success)
• ugaly 4.1.3 (success)
• unipot 1.6 (success)
• unitlib 5.0.0 (success)
• utils 0.91 (success)
• uuid 0.7 (success)
• walrus 0.9991 (success)
• wedderga 4.11.1 (success)
• wpe 0.8 (success)
• xmod 2.95 (success)
• xmodalg 1.32 (success)
• yangbaxter 0.10.7 (success)
• zeromqinterface 0.17 (success)

➖ Packages that were skipped

3 package(s) skipped tests also on the previous version.

Click to show packages!

• browse 1.8.21 (skipped)
• itc 1.5.1 (skipped)
• xgap 4.32 (skipped)