Finite fields are not subtypes of AbstractAlgebra.FinField

[rfourquet]

This prevents using Singular finite fields in methods expecting a finite field (e.g. rand defined in Nemo).

Currently, there is

abstract type Field <: AbstractAlgebra.Field end

Should we have

abstract type FinField <: AbstractAlgebra.FinField end
const SingularField = Union{Field,FinField} # or SField, or ...

and then use SingularField instead of Field when appropriate?

[wbhart]

You'll find this problem everywhere in Singular due to the lack of multiple inheritance. If you can come up with something better that still passes the tests, go for it.