Skip to content

Optimize map_coefficients, change_base_ring for some inputs #1180

Optimize map_coefficients, change_base_ring for some inputs

Optimize map_coefficients, change_base_ring for some inputs #1180

Triggered via pull request February 24, 2025 22:35
Status Success
Total duration 6m 29s
Artifacts

singular.yml

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