Use LoadKernelExtension and IsKernelExtensionAvailable in more packages

[fingolfin]

These function have been available since GAP 4.12.0 and I think we should use them in more (ideally all) packages with kernel extension. So far only edim and browse do so.

Here is a list of affected distributed packages. The goal would be to either submit an issue or a PR to each of these over time.

• cddinterface: Resolve https://github.com/gap-system/gap/issues/5761 homalg-project/CddInterface#43, done in v2024.08.27
• crypting: Resolve https://github.com/gap-system/gap/issues/5761 gap-packages/crypting#24, done in v0.10.5
• curlinterface: Resolve https://github.com/gap-system/gap/issues/5761 gap-packages/curlInterface#52, done in v2.4.0
• cvec: Update kernel module checking gap-packages/cvec#45
• datastructures: Resolve https://github.com/gap-system/gap/issues/5761 gap-packages/datastructures#153
• deepthought: Resolve https://github.com/gap-system/gap/issues/5761 gap-packages/DeepThought#21
• digraphs: Load kernel ext digraphs/Digraphs#668, done in v1.9.0
• ferret: Update kernel module checking gap-packages/ferret#61
• float: Update kernel module checking gap-packages/float#94
• gauss: Add LoadKernelExtension support homalg-project/homalg_project#614
• hap: Implement LoadKernelExtension gap-packages/hap#123
• io: Resolve https://github.com/gap-system/gap/issues/5761 gap-packages/io#125, done in v4.9.0
• json: Add LoadKernelExtension gap-packages/json#33
• normalizinterface: Require GAP >= 4.12.1; Use LoadKernelExtension/IsKernelExtensionAvailable gap-packages/NormalizInterface#117
• orb: Add LoadKernelExtension support gap-packages/orb#69
• profiling: Update kernel module checking gap-packages/profiling#118
• semigroups: Better kernel module checking semigroups/Semigroups#1032
• zeromqinterface: https://github.com/gap-packages/ZeroMQInterface/pulls

[james-d-mitchell]

Some of us at GAPDays are going to work on this today.

[Joseph-Edwards]

I'm going to make a start on semigroups

[limakzi]

I will take json.

[Joseph-Edwards]

Working on cvec now.

[limakzi]

Working on orb.
gap-packages/orb#69

[Joseph-Edwards]

Working on ferret.

[fingolfin]

Thanks for the efforts, folks. A general comment: I think it is fine to just change all these packages to require GAP >= 4.12. After all: not many people will update a single package; most just update all of GAP at once. (This might change in the future if PackageManager gets more widely used but I don't think we are there yet, so we don't need to worry about it.

If you do it that way, then also update .github/workflows/CI.yml to not test against older (now unsupported) GAP versions.

[limakzi]

@fingolfin Lets take it as definition of done, if so.
I'm fully OK with that. By the way, working on gauss. ;)

Pull-request: homalg-project/homalg_project#614.

[Joseph-Edwards]

Doing float now

[limakzi]

gap-packages/hap#123

[fingolfin]

Just to say: it might be a bit premature to mark a package as "fixed" in the list at the top of this issue right after the corresponding PR was merged: in my eyes it is only truly "fixed" if there also is a release of that package with the changes.