Skip to content
Lint

Faster high-level Meataxe functions for irreducible modules (e.g. MTX.IsomorphismModules, MTX.Indecomposition, MTX.BasisModuleEndomorphisms, MTX.BasisModuleHomomorphisms) #3594

Sign in to view logs

Faster high-level Meataxe functions for irreducible modules (e.g. MTX.IsomorphismModules, MTX.Indecomposition, MTX.BasisModuleEndomorphisms, MTX.BasisModuleHomomorphisms)

Faster high-level Meataxe functions for irreducible modules (e.g. MTX.IsomorphismModules, MTX.Indecomposition, MTX.BasisModuleEndomorphisms, MTX.BasisModuleHomomorphisms) #3594

Triggered via pull request March 23, 2026 19:12
@fingolfinfingolfin
synchronize #6276
mh/meataxe-irred-faster
Status Success
Total duration 1m 2s
Artifacts –

lint.yml

on: pull_request
gaplint
50s
gaplint
Fit to window
Zoom out
Zoom in