Skip to content

Optimize map_coefficients, change_base_ring for some inputs (#1994) #1183

Optimize map_coefficients, change_base_ring for some inputs (#1994)

Optimize map_coefficients, change_base_ring for some inputs (#1994) #1183

Triggered via push February 25, 2025 09:19
Status Success
Total duration 49m 50s
Artifacts

hecke.yml

on: push
generatematrix
43s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in