Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

The big renaming #1260

Closed
wants to merge 2 commits into from
Closed

The big renaming #1260

wants to merge 2 commits into from

Commits on Feb 22, 2023

  1. Adapt to renaming of Nemo types

    @fingolfin
    fingolfin committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    acd3ff2 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2023

  1. Rename some CamelCase constructors to snake_case 

    FractionField -> fraction_field
LaurentSeriesField -> laurent_series_field
LaurentSeriesRing -> laurent_series_ring
MatrixSpace -> matrix_space
NumberField -> number_field
PolynomialRing -> polynomial_ring
PowerSeriesRing -> power_series_ring
ResidueField -> residue_field
ResidueRing -> residue_ring
    @fingolfin
    fingolfin committed Feb 23, 2023
    Configuration menu
    Copy the full SHA
    4910b66 View commit details
    Browse the repository at this point in the history