Skip to content

Optimize map_coefficients, change_base_ring for some inputs #1174

Optimize map_coefficients, change_base_ring for some inputs

Optimize map_coefficients, change_base_ring for some inputs #1174

Triggered via pull request February 23, 2025 21:29
Status Success
Total duration 6m 21s
Artifacts

singular.yml

on: pull_request
generatematrix
46s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in