The Big Renaming - oscar-system/Oscar.jl GitHub Wiki
What was renamed?
Renaming in AbstractAlgebra 0.28
| OLD |
NEW |
| PolynomialRing |
polynomial_ring |
| PowerSeriesRing |
power_series_ring |
| LaurentSeriesRing |
laurent_series_ring |
| LaurentSeriesField |
laurent_series_field |
| FractionField |
fraction_field |
| NumberField |
number_field |
|
|
| PolyElem |
PolyRingElem |
| NCPolyElem |
NCPolyRingElem |
| MPolyElem |
MPolyRingElem |
| UnivPolyElem |
UniversalPolyRingElem |
| LaurentPolyElem |
LaurentPolyRingElem |
| LaurentMPolyElem |
LaurentMPolyRingElem |
|
|
| UnivPolyRing |
UniversalPolyRing |
|
|
| ResF |
ResidueFieldElem |
| ResField |
ResidueField |
| Res |
ResidueRingElem |
| ResRing |
ResidueRing |
|
|
| Rat |
RationalFunctionFieldElem |
|
|
| AbsSeriesRing |
AbsPowerSeriesRing |
| AbsSeriesElem |
AbsPowerSeriesRingElem |
| RelSeriesRing |
RelPowerSeriesRing |
| RelSeriesElem |
RelPowerSeriesRingElem |
|
|
| FreeAssociativeAlgebra |
free_associative_algebra |
Renaming in Nemo 0.33
WARNING: FqPolyRing is both an old and a new type name :-(
| OLD |
NEW |
| fmpz |
ZZRingElem |
| fmpz_mat |
ZZMatrix |
| fmpz_mpoly |
ZZMPolyRingElem |
| fmpz_poly |
ZZPolyRingElem |
|
|
| fmpq |
QQFieldElem |
| fmpq_mat |
QQMatrix |
| fmpq_mpoly |
QQMPolyRingElem |
| fmpq_poly |
QQPolyRingElem |
|
|
| fmpz_mod |
ZZModRingElem |
| fmpz_mod_mat |
ZZModMatrix |
| fmpz_mod_poly |
ZZModPolyRingElem |
|
|
| nmod |
zzModRingElem |
| nmod_mat |
zzModMatrix |
| nmod_mpoly |
zzModMPolyRingElem |
| nmod_poly |
zzModPolyRingElem |
|
|
| fq_default |
FqFieldElem |
| fq_default_mat |
FqMatrix |
| fq_default_mpoly |
FqMPolyRingElem |
| fq_default_poly |
FqPolyRingElem |
|
|
| gfp_fmpz_elem |
FpFieldElem |
| gfp_fmpz_mat |
FpMatrix |
| gfp_fmpz_mpoly |
FpMPolyRingElem |
| gfp_fmpz_poly |
FpPolyRingElem |
|
|
| gfp_elem |
fpFieldElem |
| gfp_mat |
fpMatrix |
| gfp_mpoly |
fpMPolyRingElem |
| gfp_poly |
fpPolyRingElem |
|
|
| fq |
FqPolyRepFieldElem |
| fq_mat |
FqPolyRepMatrix |
| fq_poly |
FqPolyRepPolyRingElem |
|
|
| fq_nmod |
fqPolyRepFieldElem |
| fq_nmod_mat |
fqPolyRepMatrix |
| fq_nmod_mpoly |
fqPolyRepMPolyRingElem |
| fq_nmod_poly |
fqPolyRepPolyRingElem |
|
|
| FlintIntegerRing |
ZZRing |
| FmpzMatSpace |
ZZMatrixSpace |
| FmpzMPolyRing |
ZZMPolyRing |
| FmpzPolyRing |
ZZPolyRing |
|
|
| FlintRationalField |
QQField |
| FmpqMatSpace |
QQMatrixSpace |
| FmpqMPolyRing |
QQMPolyRing |
| FmpqPolyRing |
QQPolyRing |
|
|
| FmpzModRing |
ZZModRing |
| FmpzModMatSpace |
ZZModMatrixSpace |
| FmpzModPolyRing |
ZZModPolyRing |
|
|
| NmodRing |
zzModRing |
| NmodMatSpace |
zzModMatrixSpace |
| NmodMPolyRing |
zzModMPolyRing |
| NmodPolyRing |
zzModPolyRing |
|
|
| FqDefaultFiniteField |
FqField |
| FqDefaultMatSpace |
FqMatrixSpace |
| FqDefaultMPolyRing |
FqMPolyRing |
| FqDefaultPolyRing |
FqPolyRing |
|
|
| GaloisFmpzField |
FpField |
| GaloisFmpzMatSpace |
FpMatrixSpace |
| GFPFmpzMPolyRing |
FpMPolyRing |
| GFPFmpzPolyRing |
FpPolyRing |
|
|
| GaloisField |
fpField |
| GFPMatSpace |
fpMatrixSpace |
| GFPMPolyRing |
fpMPolyRing |
| GFPPolyRing |
fpPolyRing |
|
|
| FqFiniteField |
FqPolyRepField |
| FqMatSpace |
FqPolyRepMatrixSpace |
| FqPolyRing |
FqPolyRepPolyRing |
|
|
| FqNmodFiniteField |
fqPolyRepField |
| FqNmodMatSpace |
fqPolyRepMatrixSpace |
| FqNmodMPolyRing |
fqPolyRepMPolyRing |
| FqNmodPolyRing |
fqPolyRepPolyRing |
|
|
| fmpq_abs_series |
QQAbsPowerSeriesRingElem |
| fmpq_rel_series |
QQRelPowerSeriesRingElem |
| FmpqAbsSeriesRing |
QQAbsPowerSeriesRing |
| FmpqRelSeriesRing |
QQRelPowerSeriesRing |
|
|
| fmpz_abs_series |
ZZAbsPowerSeriesRingElem |
| fmpz_rel_series |
ZZRelPowerSeriesRingElem |
| FmpzAbsSeriesRing |
ZZAbsPowerSeriesRing |
| FmpzRelSeriesRing |
ZZRelPowerSeriesRing |
|
|
| fmpz_laurent_series |
ZZLaurentSeriesRingElem |
| FmpzLaurentSeriesRing |
ZZLaurentSeriesRing |
|
|
| fmpz_mod_abs_series |
ZZModAbsPowerSeriesRingElem |
| fmpz_mod_rel_series |
ZZModRelPowerSeriesRingElem |
| FmpzModAbsSeriesRing |
ZZModAbsPowerSeriesRing |
| FmpzModRelSeriesRing |
ZZModRelPowerSeriesRing |
|
|
| fq_default_abs_series |
FqAbsPowerSeriesRingElem |
| fq_default_rel_series |
FqRelPowerSeriesRingElem |
| FqDefaultAbsSeriesRing |
FqAbsPowerSeriesRing |
| FqDefaultRelSeriesRing |
FqRelPowerSeriesRing |
|
|
| fq_abs_series |
FqPolyRepAbsPowerSeriesRingElem |
| fq_rel_series |
FqPolyRepRelPowerSeriesRingElem |
| FqAbsSeriesRing |
FqPolyRepAbsPowerSeriesRing |
| FqRelSeriesRing |
FqPolyRepRelPowerSeriesRing |
|
|
| fq_nmod_abs_series |
fqPolyRepAbsPowerSeriesRingElem |
| fq_nmod_rel_series |
fqPolyRepRelPowerSeriesRingElem |
| FqNmodAbsSeriesRing |
fqPolyRepAbsPowerSeriesRing |
| FqNmodRelSeriesRing |
fqPolyRepRelPowerSeriesRing |
|
|
| gfp_abs_series |
fpAbsPowerSeriesRingElem |
| gfp_rel_series |
fpRelPowerSeriesRingElem |
| GFPAbsSeriesRing |
fpAbsPowerSeriesRing |
| GFPRelSeriesRing |
fpRelPowerSeriesRing |
|
|
| gfp_fmpz_abs_series |
FpAbsPowerSeriesRingElem |
| gfp_fmpz_rel_series |
FpRelPowerSeriesRingElem |
| GFPFmpzAbsSeriesRing |
FpAbsPowerSeriesRing |
| GFPFmpzRelSeriesRing |
FpRelPowerSeriesRing |
|
|
| nmod_abs_series |
zzModAbsPowerSeriesRingElem |
| nmod_rel_series |
zzModRelPowerSeriesRingElem |
| NmodAbsSeriesRing |
zzModAbsPowerSeriesRing |
| NmodRelSeriesRing |
zzModRelPowerSeriesRing |
Renaming in Hecke 0.18
| OLD |
NEW |
| AbsSpace |
AbstractSpace |
| AbsSpaceMor |
AbstractSpaceMor |
| AbsLat |
AbstractLat |
| TorQuadMod |
TorQuadModule |
| TorQuadModElem |
TorQuadModuleElem |
| TorQuadModMor |
TorQuadModuleMor |
| LatticeDB |
LatDB |
| NfLattice |
NfLat |
| genera |
Zgenera |
| GenusHerm |
HermGenus |
| LocalGenusHerm |
HermLocalGenus |
| GenusQuad |
QuadGenus |
| LocalGenusQuad |
QuadLocalGenus |
| genera_hermitian |
hermitian_genera |
| local_genera_hermitian |
hermitian_local_genera |
| genera_quadratic |
quadratic_genera |
| local_genera_quadratic |
quadratic_local_genera |
Renaming in Oscar 0.12
| OLD |
NEW |
| MPolyElem_dec |
MPolyDecRingElem |
| MPolyRing_dec |
MPolyDecRing |
| MPolyLocalizedRingElem |
MPolyLocRingElem |
| MPolyLocalizedRing |
MPolyLocRing |
| MPolyQuoElem |
MPolyQuoRingElem |
| MPolyQuo |
MPolyQuoRing |
| MPolyQuoLocalizedRingElem |
MPolyQuoLocRingElem |
| MPolyQuoLocalizedRing |
MPolyQuoLocRing |
| SubQuoElem |
SubquoModuleElem |
| SubQuo |
SubquoModule |
| SubQuoElem_dec |
SubquoDecModuleElem |
| SubQuo_dec |
SubquoDecModule |
Renaming script
The following shell script can be used to help convert a package to the new names. Beware: some manual tweaking is likely needed afterwards.
#!/bin/sh
#
# some settings that avoid weirdness in sed when it tries to
# adapt to your locale (e.g. if your system uses German as system language)
export LANG=C
export LC_CTYPE=C
export LC_ALL=C
# Files to modify (default uses all files known to git,
# but obviously you can modify it)
FILES=$(git ls-files)
# on macOS, you may need to change the following
SED_I="sed -i"
#SED_I="gsed -i"
#SED_I="sed -i ''"
# AbstractAlgebra constructors
$SED_I \
-e "s;\bMatrixSpace\b;matrix_space;g" \
-e "s;\bPolynomialRing\b;polynomial_ring;g" \
-e "s;\bPowerSeriesRing\b;power_series_ring;g" \
-e "s;\bLaurentSeriesRing\b;laurent_series_ring;g" \
-e "s;\bLaurentSeriesField\b;laurent_series_field;g" \
-e "s;\bFractionField\b;fraction_field;g" \
-e "s;\bResidueRing\b;residue_ring;g" \
-e "s;\bResidueField\b;residue_field;g" \
-e "s;\bNumberField\b;number_field;g" \
$FILES
# AbstractAlgbera types
#$SED_I "s;PolyElem;PolyRingElem;g"
$SED_I \
-e "s;\bUnivPolyRingElem\b;UniversalPolyRingElem;g" \
-e "s;\bUnivPolyRing\b;UniversalPolyRing;g" \
-e "s;\bResF\b;ResidueFieldElem;g" \
-e "s;\bResField\b;ResidueField;g" \
-e "s;\bRes\b;ResidueRingElem;g" \
-e "s;\bResRing\b;ResidueRing;g" \
-e "s;\bRat\b;RationalFunctionFieldElem;g" \
$FILES
$SED_I \
-e "s;\bAbsSeriesRing\b;AbsPowerSeriesRing;g" \
-e "s;\bAbsSeriesElem\b;AbsPowerSeriesRingElem;g" \
-e "s;\bRelSeriesRing\b;RelPowerSeriesRing;g" \
-e "s;\bRelSeriesElem\b;RelPowerSeriesRingElem;g" \
-e "s;\bFreeAssociativeAlgebra\b;free_associative_algebra;g" \
$FILES
# Nemo types
$SED_I \
-e "s;\bfmpz\b;ZZRingElem;g" \
-e "s;\bfmpz_mat\b;ZZMatrix;g" \
-e "s;\bfmpz_mpoly\b;ZZMPolyRingElem;g" \
-e "s;\bfmpz_poly\b;ZZPolyRingElem;g" \
-e "s;\bfmpq\b;QQFieldElem;g" \
-e "s;\bfmpq_mat\b;QQMatrix;g" \
-e "s;\bfmpq_mpoly\b;QQMPolyRingElem;g" \
-e "s;\bfmpq_poly\b;QQPolyRingElem;g" \
-e "s;\bfmpz_mod\b;ZZModRingElem;g" \
-e "s;\bfmpz_mod_mat\b;ZZModMatrix;g" \
-e "s;\bfmpz_mod_poly\b;ZZModPolyRingElem;g" \
-e "s;\bnmod\b;zzModRingElem;g" \
-e "s;\bnmod_mat\b;zzModMatrix;g" \
-e "s;\bnmod_mpoly\b;zzModMPolyRingElem;g" \
-e "s;\bnmod_poly\b;zzModPolyRingElem;g" \
-e "s;\bfq_default\b;FqFieldElem;g" \
-e "s;\bfq_default_mat\b;FqMatrix;g" \
-e "s;\bfq_default_mpoly\b;FqMPolyRingElem;g" \
-e "s;\bfq_default_poly\b;FqPolyRingElem;g" \
-e "s;\bgfp_fmpz_elem\b;FpFieldElem;g" \
-e "s;\bgfp_fmpz_mat\b;FpMatrix;g" \
-e "s;\bgfp_fmpz_mpoly\b;FpMPolyRingElem;g" \
-e "s;\bgfp_fmpz_poly\b;FpPolyRingElem;g" \
-e "s;\bgfp_elem\b;fpFieldElem;g" \
-e "s;\bgfp_mat\b;fpMatrix;g" \
-e "s;\bgfp_mpoly\b;fpMPolyRingElem;g" \
-e "s;\bgfp_poly\b;fpPolyRingElem;g" \
-e "s;\bfq\b;FqPolyRepFieldElem;g" \
-e "s;\bfq_mat\b;FqPolyRepMatrix;g" \
-e "s;\bfq_poly\b;FqPolyRepPolyRingElem;g" \
-e "s;\bfq_nmod\b;fqPolyRepFieldElem;g" \
-e "s;\bfq_nmod_mat\b;fqPolyRepMatrix;g" \
-e "s;\bfq_nmod_mpoly\b;fqPolyRepMPolyRingElem;g" \
-e "s;\bfq_nmod_poly\b;fqPolyRepPolyRingElem;g" \
-e "s;\bFlintIntegerRing\b;ZZRing;g" \
-e "s;\bFmpzMatSpace\b;ZZMatrixSpace;g" \
-e "s;\bFmpzMPolyRing\b;ZZMPolyRing;g" \
-e "s;\bFmpzPolyRing\b;ZZPolyRing;g" \
-e "s;\bFlintRationalField\b;QQField;g" \
-e "s;\bFmpqMatSpace\b;QQMatrixSpace;g" \
-e "s;\bFmpqMPolyRing\b;QQMPolyRing;g" \
-e "s;\bFmpqPolyRing\b;QQPolyRing;g" \
-e "s;\bFmpzModRing\b;ZZModRing;g" \
-e "s;\bFmpzModMatSpace\b;ZZModMatrixSpace;g" \
-e "s;\bFmpzModPolyRing\b;ZZModPolyRing;g" \
-e "s;\bNmodRing\b;zzModRing;g" \
-e "s;\bNmodMatSpace\b;zzModMatrixSpace;g" \
-e "s;\bNmodMPolyRing\b;zzModMPolyRing;g" \
-e "s;\bNmodPolyRing\b;zzModPolyRing;g" \
-e "s;\bFqDefaultFiniteField\b;FqField;g" \
-e "s;\bFqDefaultMatSpace\b;FqMatrixSpace;g" \
-e "s;\bFqDefaultMPolyRing\b;FqMPolyRing;g" \
-e "s;\bFqDefaultPolyRing\b;FqPolyRing;g" \
-e "s;\bGaloisFmpzField\b;FpField;g" \
-e "s;\bGaloisFmpzMatSpace\b;FpMatrixSpace;g" \
-e "s;\bGFPFmpzMPolyRing\b;FpMPolyRing;g" \
-e "s;\bGFPFmpzPolyRing\b;FpPolyRing;g" \
-e "s;\bGaloisField\b;fpField;g" \
-e "s;\bGFPMatSpace\b;fpMatrixSpace;g" \
-e "s;\bGFPMPolyRing\b;fpMPolyRing;g" \
-e "s;\bGFPPolyRing\b;fpPolyRing;g" \
-e "s;\bFqFiniteField\b;FqPolyRepField;g" \
-e "s;\bFqMatSpace\b;FqPolyRepMatrixSpace;g" \
-e "s;\bFqNmodFiniteField\b;fqPolyRepField;g" \
-e "s;\bFqNmodMatSpace\b;fqPolyRepMatrixSpace;g" \
-e "s;\bFqNmodMPolyRing\b;fqPolyRepMPolyRing;g" \
-e "s;\bFqNmodPolyRing\b;fqPolyRepPolyRing;g" \
$FILES
# HACK: deactivated renaming of `FqPolyRing` for now... unfortunately we have a clash there
#-e "s;\bFqPolyRing\b;FqPolyRepPolyRing;g" \
# More Nemo types
$SED_I \
-e "s;\bfmpq_abs_series\b;QQAbsPowerSeriesRingElem;g" \
-e "s;\bfmpq_rel_series\b;QQRelPowerSeriesRingElem;g" \
-e "s;\bFmpqAbsSeriesRing\b;QQAbsPowerSeriesRing;g" \
-e "s;\bFmpqRelSeriesRing\b;QQRelPowerSeriesRing;g" \
-e "s;\bfmpz_abs_series\b;ZZAbsPowerSeriesRingElem;g" \
-e "s;\bfmpz_rel_series\b;ZZRelPowerSeriesRingElem;g" \
-e "s;\bFmpzAbsSeriesRing\b;ZZAbsPowerSeriesRing;g" \
-e "s;\bFmpzRelSeriesRing\b;ZZRelPowerSeriesRing;g" \
-e "s;\bfmpz_laurent_series\b;ZZLaurentSeriesRingElem;g" \
-e "s;\bFmpzLaurentSeriesRing\b;ZZLaurentSeriesRing;g" \
-e "s;\bfmpz_mod_abs_series\b;ZZModAbsPowerSeriesRingElem;g" \
-e "s;\bfmpz_mod_rel_series\b;ZZModRelPowerSeriesRingElem;g" \
-e "s;\bFmpzModAbsSeriesRing\b;ZZModAbsPowerSeriesRing;g" \
-e "s;\bFmpzModRelSeriesRing\b;ZZModRelPowerSeriesRing;g" \
-e "s;\bfq_default_abs_series\b;FqAbsPowerSeriesRingElem;g" \
-e "s;\bfq_default_rel_series\b;FqRelPowerSeriesRingElem;g" \
-e "s;\bFqDefaultAbsSeriesRing\b;FqAbsPowerSeriesRing;g" \
-e "s;\bFqDefaultRelSeriesRing\b;FqRelPowerSeriesRing;g" \
-e "s;\bfq_abs_series\b;FqPolyRepAbsPowerSeriesRingElem;g" \
-e "s;\bfq_rel_series\b;FqPolyRepRelPowerSeriesRingElem;g" \
-e "s;\bFqAbsSeriesRing\b;FqPolyRepAbsPowerSeriesRing;g" \
-e "s;\bFqRelSeriesRing\b;FqPolyRepRelPowerSeriesRing;g" \
-e "s;\bfq_nmod_abs_series\b;fqPolyRepAbsPowerSeriesRingElem;g" \
-e "s;\bfq_nmod_rel_series\b;fqPolyRepRelPowerSeriesRingElem;g" \
-e "s;\bFqNmodAbsSeriesRing\b;fqPolyRepAbsPowerSeriesRing;g" \
-e "s;\bFqNmodRelSeriesRing\b;fqPolyRepRelPowerSeriesRing;g" \
-e "s;\bgfp_abs_series\b;fpAbsPowerSeriesRingElem;g" \
-e "s;\bgfp_rel_series\b;fpRelPowerSeriesRingElem;g" \
-e "s;\bGFPAbsSeriesRing\b;fpAbsPowerSeriesRing;g" \
-e "s;\bGFPRelSeriesRing\b;fpRelPowerSeriesRing;g" \
-e "s;\bgfp_fmpz_abs_series\b;FpAbsPowerSeriesRingElem;g" \
-e "s;\bgfp_fmpz_rel_series\b;FpRelPowerSeriesRingElem;g" \
-e "s;\bGFPFmpzAbsSeriesRing\b;FpAbsPowerSeriesRing;g" \
-e "s;\bGFPFmpzRelSeriesRing\b;FpRelPowerSeriesRing;g" \
-e "s;\bnmod_abs_series\b;zzModAbsPowerSeriesRingElem;g" \
-e "s;\bnmod_rel_series\b;zzModRelPowerSeriesRingElem;g" \
-e "s;\bNmodAbsSeriesRing\b;zzModAbsPowerSeriesRing;g" \
-e "s;\bNmodRelSeriesRing\b;zzModRelPowerSeriesRing;g" \
$FILES
# Hecke renaming
$SED_I \
-e "s;\bAbsSpace\b;AbstractSpace;g" \
-e "s;\bAbsSpaceMor\b;AbstractSpaceMor;g" \
-e "s;\bAbsLat\b;AbstractLat;g" \
-e "s;\bTorQuadMod\b;TorQuadModule;g" \
-e "s;\bTorQuadModElem\b;TorQuadModuleElem;g" \
-e "s;\bTorQuadModMor\b;TorQuadModuleMor;g" \
-e "s;\bLatticeDB\b;LatDB;g" \
-e "s;\bNfLattice\b;NfLat;g" \
-e "s;\bgenera\b;Zgenera;g" \
-e "s;\bGenusHerm\b;HermGenus;g" \
-e "s;\bLocalGenusHerm\b;HermLocalGenus;g" \
-e "s;\bGenusQuad\b;QuadGenus;g" \
-e "s;\bLocalGenusQuad\b;QuadLocalGenus;g" \
-e "s;\bgenera_hermitian\b;hermitian_genera;g" \
-e "s;\blocal_genera_hermitian\b;hermitian_local_genera;g" \
-e "s;\bgenera_quadratic\b;quadratic_genera;g" \
-e "s;\blocal_genera_quadratic\b;quadratic_local_genera;g" \
$FILES
# Oscar types
$SED_I \
-e "s;\bMPolyElem\b;MPolyRingElem;g" \
-e "s;\bMPolyRing\b;MPolyRing;g" \
-e "s;\bMPolyElem_dec\b;MPolyDecRingElem;g" \
-e "s;\bMPolyRing_dec\b;MPolyDecRing;g" \
-e "s;\bMPolyLocalizedRingElem\b;MPolyLocRingElem;g" \
-e "s;\bMPolyLocalizedRing\b;MPolyLocRing;g" \
-e "s;\bMPolyQuoElem\b;MPolyQuoRingElem;g" \
-e "s;\bMPolyQuo\b;MPolyQuoRing;g" \
-e "s;\bMPolyQuoLocalizedRingElem\b;MPolyQuoLocRingElem;g" \
-e "s;\bMPolyQuoLocalizedRing\b;MPolyQuoLocRing;g" \
-e "s;\bSubQuoElem\b;SubquoModuleElem;g" \
-e "s;\bSubQuo\b;SubquoModule;g" \
-e "s;\bSubQuoElem_dec\b;SubquoDecModuleElem;g" \
-e "s;\bSubQuo_dec\b;SubquoDecModule;g" \
$FILES
echo DONE