Skip to content

Optimize map_coefficients, change_base_ring for some inputs #1178

Optimize map_coefficients, change_base_ring for some inputs

Optimize map_coefficients, change_base_ring for some inputs #1178

Triggered via pull request February 24, 2025 21:27
Status Success
Total duration 6m 10s
Artifacts

singular.yml

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