More things we should perhaps rename

[fingolfin]

Types:

• SeriesElem -> SeriesRingElem or PowerSeriesRingElem
• SeriesRing -> PowerSeriesRing
• MSeriesElem -> MSeriesRingElem or ...
• AbsMSeriesElem -> ...
• SparsePolynomialRing -> sparse_polynomial_ring (but retain the type Generic.SparsePolynomialRing)
• PuiseuxSeriesRing -> puiseux_series_ring
• PuiseuxSeriesField -> puiseux_series_field
• LaurentPolynomialRing -> laurent_polynomial_ring
• FunctionField -> function_field
• RationalFunctionField -> rational_function_field
• FactoredFractionField ->
• ResElem -> ResRingElem
• FracElem -> FracFieldElem

Functions:

• abs_series -> abs_power_series or absolute_power_series
• abs_series_type -> ...
• rel_series -> ...
• rel_series_type -> ...
• gens -> generators
• ngens -> number_of_generators
• rels -> relators

[thofma]

Do we need to rename abs_series_type? The *_type functions are more internal in nature.

[fingolfin]

We don't need to, I just want us to make a conscious decision either way.

[fingolfin]

Another one: MatrixAlgebra -> matrix_algebra ... or maybe full_matrix_algebra? Because that's what it is, while to me "matrix algebra" might also refer to any subalgebra thereof.

[thofma]

Since we have proper matrix algebras in Hecke, I will probably change everything so that the AA one will not be visible downstream anymore.

[fingolfin]

Great!

[lgoettgens]

I think we once discussed about renaming Ring and NCRing to CommRing and Ring, but don't remember the result of that. If we actually want to go on with that, we should before Oscar 1.0.