remove the last use of PrincipalIdealDomain #16286

Triggered via pull request November 4, 2024 18:32

fchapoton

synchronize #38922

Status Success

Total duration 37m 19s

Artifacts 2

doc-build.yml

on: pull_request

Produced during runtime

Name	Size
doc Expired	101 MB
sagemath~sage~MIREKK.dockerbuild Expired	118 KB