Skip to content

Rename UniversalPolynomialRing to universal_polynomial_ring #2019

Rename UniversalPolynomialRing to universal_polynomial_ring

Rename UniversalPolynomialRing to universal_polynomial_ring #2019

Annotations

1 error and 1 warning

matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0

failed Feb 27, 2024 in 1h 8m 36s