From 601d4a5611fa4573089313561d976d9b1acb882a Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 16 Dec 2024 23:40:17 +0100 Subject: [PATCH] Remove redundant methods for zero, similar, zero_matrix --- src/arb/ComplexMat.jl | 27 ------------------------- src/arb/RealMat.jl | 27 ------------------------- src/arb/acb_mat.jl | 27 ------------------------- src/arb/arb_mat.jl | 27 ------------------------- src/flint/fmpq_mat.jl | 40 ------------------------------------- src/flint/fmpz_mat.jl | 27 ------------------------- src/flint/fmpz_mod_mat.jl | 25 ----------------------- src/flint/fq_default_mat.jl | 14 ------------- src/flint/fq_mat.jl | 14 ------------- src/flint/fq_nmod_mat.jl | 14 ------------- src/flint/gfp_fmpz_mat.jl | 25 ----------------------- src/flint/gfp_mat.jl | 27 ------------------------- src/flint/nmod_mat.jl | 13 ------------ 13 files changed, 307 deletions(-) diff --git a/src/arb/ComplexMat.jl b/src/arb/ComplexMat.jl index 4c662bad37..e5ac3be950 100644 --- a/src/arb/ComplexMat.jl +++ b/src/arb/ComplexMat.jl @@ -4,19 +4,6 @@ # ############################################################################### -############################################################################### -# -# Similar & zero -# -############################################################################### - -function similar(::ComplexMatrix, R::ComplexField, r::Int, c::Int) - z = ComplexMatrix(r, c) - return z -end - -zero(m::ComplexMatrix, R::ComplexField, r::Int, c::Int) = similar(m, R, r, c) - ############################################################################### # # Basic manipulation @@ -813,20 +800,6 @@ function matrix(R::ComplexField, r::Int, c::Int, arr::AbstractVector{Rational{T} return matrix(R, r, c, arr_fmpz) end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::ComplexField, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - z = ComplexMatrix(r, c) - return z -end - ############################################################################### # # Identity matrix diff --git a/src/arb/RealMat.jl b/src/arb/RealMat.jl index ad469b8a95..427e9d45a3 100644 --- a/src/arb/RealMat.jl +++ b/src/arb/RealMat.jl @@ -4,19 +4,6 @@ # ############################################################################### -############################################################################### -# -# Similar & zero -# -############################################################################### - -function similar(::RealMatrix, R::RealField, r::Int, c::Int) - z = RealMatrix(r, c) - return z -end - -zero(m::RealMatrix, R::RealField, r::Int, c::Int) = similar(m, R, r, c) - ############################################################################### # # Basic manipulation @@ -707,20 +694,6 @@ function matrix(R::RealField, r::Int, c::Int, arr::AbstractVector{Rational{T}}) return matrix(R, r, c, arr_fmpz) end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::RealField, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - z = RealMatrix(r, c) - return z -end - ############################################################################### # # Identity matrix diff --git a/src/arb/acb_mat.jl b/src/arb/acb_mat.jl index 94ae3b8ef5..aee116071c 100644 --- a/src/arb/acb_mat.jl +++ b/src/arb/acb_mat.jl @@ -4,19 +4,6 @@ # ############################################################################### -############################################################################### -# -# Similar & zero -# -############################################################################### - -function similar(::AcbMatrix, R::AcbField, r::Int, c::Int) - z = AcbMatrix(R, undef, r, c) - return z -end - -zero(m::AcbMatrix, R::AcbField, r::Int, c::Int) = similar(m, R, r, c) - ############################################################################### # # Basic manipulation @@ -822,20 +809,6 @@ function matrix(R::AcbField, r::Int, c::Int, arr::AbstractVector{Rational{T}}) w return matrix(R, r, c, arr_fmpz) end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::AcbField, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - z = AcbMatrix(R, undef, r, c) - return z -end - ############################################################################### # # Identity matrix diff --git a/src/arb/arb_mat.jl b/src/arb/arb_mat.jl index f6b4cb1d45..43dae59a2a 100644 --- a/src/arb/arb_mat.jl +++ b/src/arb/arb_mat.jl @@ -4,19 +4,6 @@ # ############################################################################### -############################################################################### -# -# Similar & zero -# -############################################################################### - -function similar(::ArbMatrix, R::ArbField, r::Int, c::Int) - z = ArbMatrix(R, undef, r, c) - return z -end - -zero(m::ArbMatrix, R::ArbField, r::Int, c::Int) = similar(m, R, r, c) - ############################################################################### # # Basic manipulation @@ -720,20 +707,6 @@ function matrix(R::ArbField, r::Int, c::Int, arr::AbstractVector{Rational{T}}) w return matrix(R, r, c, arr_fmpz) end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::ArbField, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - z = ArbMatrix(R, undef, r, c) - return z -end - ############################################################################### # # Identity matrix diff --git a/src/flint/fmpq_mat.jl b/src/flint/fmpq_mat.jl index dc1c543f87..a74c2bead3 100644 --- a/src/flint/fmpq_mat.jl +++ b/src/flint/fmpq_mat.jl @@ -16,19 +16,6 @@ dense_matrix_type(::Type{QQFieldElem}) = QQMatrix is_zero_initialized(::Type{QQMatrix}) = true -############################################################################### -# -# Similar & zero -# -############################################################################### - -function similar(::QQMatrix, R::QQField, r::Int, c::Int) - z = QQMatrix(r, c) - return z -end - -zero(m::QQMatrix, R::QQField, r::Int, c::Int) = similar(m, R, r, c) - ############################################################################### # # Windows - handle with care!!! @@ -868,33 +855,6 @@ function QQMatrix(x::ZZMatrix) return z end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::QQField, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - z = QQMatrix(r, c) - return z -end - -############################################################################### -# -# Identity matrix -# -############################################################################### - -function identity_matrix(R::QQField, n::Int) - if n < 0 - error("dimension must not be negative") - end - return one!(QQMatrix(n, n)) -end - ################################################################################ # # Entry pointers diff --git a/src/flint/fmpz_mat.jl b/src/flint/fmpz_mat.jl index d33663debf..7974f0c4d4 100644 --- a/src/flint/fmpz_mat.jl +++ b/src/flint/fmpz_mat.jl @@ -16,19 +16,6 @@ dense_matrix_type(::Type{ZZRingElem}) = ZZMatrix is_zero_initialized(::Type{ZZMatrix}) = true -############################################################################### -# -# similar & zero -# -############################################################################### - -function similar(::ZZMatrix, R::ZZRing, r::Int, c::Int) - z = ZZMatrix(r, c) - return z -end - -zero(m::ZZMatrix, R::ZZRing, r::Int, c::Int) = similar(m, R, r, c) - ############################################################################### # # View and sub @@ -2033,20 +2020,6 @@ function ZZMatrix(r::Int, c::Int, d::IntegerUnion) return z end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::ZZRing, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - z = ZZMatrix(r, c) - return z -end - ############################################################################### # # Identity matrix diff --git a/src/flint/fmpz_mod_mat.jl b/src/flint/fmpz_mod_mat.jl index 54cd7abc34..cdab80d2e0 100644 --- a/src/flint/fmpz_mod_mat.jl +++ b/src/flint/fmpz_mod_mat.jl @@ -14,17 +14,6 @@ dense_matrix_type(::Type{ZZModRingElem}) = ZZModMatrix is_zero_initialized(::Type{ZZModMatrix}) = true -############################################################################### -# -# Similar -# -############################################################################### - -function similar(::MatElem, R::ZZModRing, r::Int, c::Int) - z = ZZModMatrix(R, undef, r, c) - return z -end - ################################################################################ # # Manipulation @@ -722,20 +711,6 @@ function matrix(R::ZZModRing, r::Int, c::Int, arr::AbstractVector{<: Union{ZZMod return z end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::ZZModRing, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - z = ZZModMatrix(R, undef, r, c) - return z -end - ################################################################################ # # Kernel diff --git a/src/flint/fq_default_mat.jl b/src/flint/fq_default_mat.jl index 226a2eecef..66017db95b 100644 --- a/src/flint/fq_default_mat.jl +++ b/src/flint/fq_default_mat.jl @@ -655,20 +655,6 @@ function matrix(R::FqField, r::Int, c::Int, arr::AbstractVector{<: Union{FqField return z end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::FqField, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - z = FqMatrix(r, c, R) - return z -end - ################################################################################ # # Entry pointers diff --git a/src/flint/fq_mat.jl b/src/flint/fq_mat.jl index 86c73de64c..dbf90fe00b 100644 --- a/src/flint/fq_mat.jl +++ b/src/flint/fq_mat.jl @@ -639,20 +639,6 @@ function matrix(R::FqPolyRepField, r::Int, c::Int, arr::AbstractVector{<: Union{ return z end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::FqPolyRepField, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - z = FqPolyRepMatrix(r, c, R) - return z -end - ################################################################################ # # Kernel diff --git a/src/flint/fq_nmod_mat.jl b/src/flint/fq_nmod_mat.jl index e8e160b768..2af4724cbd 100644 --- a/src/flint/fq_nmod_mat.jl +++ b/src/flint/fq_nmod_mat.jl @@ -628,20 +628,6 @@ function matrix(R::fqPolyRepField, r::Int, c::Int, arr::AbstractVector{<: Union{ return z end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::fqPolyRepField, r::Int, c::Int) - if c < 0 || r < 0 - error("dimensions must not be negative") - end - z = fqPolyRepMatrix(r, c, R) - return z -end - ################################################################################ # # Kernel diff --git a/src/flint/gfp_fmpz_mat.jl b/src/flint/gfp_fmpz_mat.jl index ddd660f370..e6410d6f4c 100644 --- a/src/flint/gfp_fmpz_mat.jl +++ b/src/flint/gfp_fmpz_mat.jl @@ -14,17 +14,6 @@ dense_matrix_type(::Type{FpFieldElem}) = FpMatrix is_zero_initialized(::Type{FpMatrix}) = true -############################################################################### -# -# Similar -# -############################################################################### - -function similar(::MatElem, R::FpField, r::Int, c::Int) - z = FpMatrix(R, undef, r, c) - return z -end - ################################################################################ # # Manipulation @@ -301,20 +290,6 @@ function matrix(R::FpField, r::Int, c::Int, arr::AbstractVector{<: Union{FpField return z end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::FpField, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - z = FpMatrix(R, undef, r, c) - return z -end - ################################################################################ # # Kernel diff --git a/src/flint/gfp_mat.jl b/src/flint/gfp_mat.jl index 1ce0447e59..b5cb623cdc 100644 --- a/src/flint/gfp_mat.jl +++ b/src/flint/gfp_mat.jl @@ -14,19 +14,6 @@ dense_matrix_type(::Type{fpFieldElem}) = fpMatrix is_zero_initialized(::Type{fpMatrix}) = true -############################################################################### -# -# Similar & zero -# -############################################################################### - -function similar(::fpMatrix, R::fpField, r::Int, c::Int) - z = fpMatrix(R, undef, r, c) - return z -end - -zero(m::fpMatrix, R::fpField, r::Int, c::Int) = similar(m, R, r, c) - ################################################################################ # # Manipulation @@ -369,20 +356,6 @@ function matrix(R::fpField, r::Int, c::Int, arr::AbstractVector{<: Union{fpField return z end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::fpField, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - z = fpMatrix(R, undef, r, c) - return z -end - ################################################################################ # # Kernel diff --git a/src/flint/nmod_mat.jl b/src/flint/nmod_mat.jl index 09f81b9917..0a94655e74 100644 --- a/src/flint/nmod_mat.jl +++ b/src/flint/nmod_mat.jl @@ -790,19 +790,6 @@ function matrix(R::zzModRing, r::Int, c::Int, arr::AbstractVector{<: Union{zzMod return z end -############################################################################### -# -# Zero matrix -# -############################################################################### - -function zero_matrix(R::zzModRing, r::Int, c::Int) - if r < 0 || c < 0 - error("dimensions must not be negative") - end - return zzModMatrix(R, undef, r, c) -end - ################################################################################ # # Kernel