Skip to content

Make matrix(R::Ring, arr::AbstractMatrix) more useful #917

Make matrix(R::Ring, arr::AbstractMatrix) more useful

Make matrix(R::Ring, arr::AbstractMatrix) more useful #917

Triggered via pull request October 30, 2024 14:17
Status Success
Total duration 12m 45s
Artifacts

nemo.yml

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