Replace ErrorConstrDimMismatch by version from AA (#1527)

The code there is identical.

Also stop exporting error_dim_negative and ErrorConstrDimMismatch.

src/Nemo.jl

@@ -67,12 +67,10 @@ export GF
 
 import AbstractAlgebra: Set, Module, Ring, Group, Field, promote_rule
 
-import AbstractAlgebra: pretty, Lowercase, LowercaseOff, Indent, Dedent
+import AbstractAlgebra: pretty, Lowercase, LowercaseOff, Indent, Dedent, ErrorConstrDimMismatch
 
 export flint_cleanup, flint_set_num_threads
 
-export error_dim_negative, ErrorConstrDimMismatch
-
 export PadicField, QadicField, NGFiniteField
 
 export QQBar

src/error.jl

@@ -4,43 +4,5 @@
 #
 ###############################################################################
 
-mutable struct ErrorConstrDimMismatch <: Exception
-  expect_r::Int
-  expect_c::Int
-  get_r::Int
-  get_c::Int
-  get_l::Int
-
-  function ErrorConstrDimMismatch(er::Int, ec::Int, gr::Int, gc::Int)
-    e = new(er, ec, gr, gc, -1)
-    return e
-  end
-
-  function ErrorConstrDimMismatch(er::Int, ec::Int, gl::Int)
-    e = new(er, ec, -1, -1, gl)
-    return e
-  end
-
-  function ErrorConstrDimMismatch(er::Int, ec::Int, a::Matrix{T}) where {T}
-    gr, gc = size(a)
-    return ErrorConstrDimMismatch(er, ec, gr, gc)
-  end
-
-  function ErrorConstrDimMismatch(er::Int, ec::Int, a::Vector{T}) where {T}
-    gl = length(a)
-    return ErrorConstrDimMismatch(er, ec, gl)
-  end
-end
-
-function Base.showerror(io::IO, e::ErrorConstrDimMismatch)
-  if e.get_l == -1
-    print(io, "Expected dimension $(e.expect_r) x $(e.expect_c), ")
-    print(io, "got $(e.get_r) x $(e.get_c)")
-  else
-    print(io, "Expected an array of length $(e.expect_r * e.expect_c), ")
-    print(io, "got $(e.get_l)")
-  end
-end
-
 const error_dim_negative = ErrorException("Dimensions must be non-negative")