Require non-zero coefficient ring in power series ring #817

Sign in to view logs

Triggered via pull request October 11, 2024 08:43

lgoettgens

opened #1860

lgoettgens:lg/req-is-not-trivial-power-series

Status Success

Total duration 14m 15s

Artifacts –

nemo.yml

on: pull_request

Matrix: test-oscar