-
Notifications
You must be signed in to change notification settings - Fork 63
/
Matrix.jl
74 lines (59 loc) · 1.94 KB
/
Matrix.jl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
###############################################################################
#
# Matrix.jl : Additional AbstractAlgebra functionality for Julia Matrices
#
###############################################################################
number_of_rows(A::Matrix{T}) where {T} = size(A)[1]
number_of_columns(A::Matrix{T}) where {T} = size(A)[2]
function is_zero_row(M::Matrix, i::Int)
for j = 1:ncols(M)
if !iszero(M[i, j])
return false
end
end
return true
end
# TODO: add `is_zero_column(M::Matrix{T}, i::Int) where {T<:Integer}` and specialized functions in Nemo
zero_matrix(::Type{Int}, r, c) = zeros(Int, r, c)
###############################################################################
#
# Conversion from MatrixElem
#
###############################################################################
"""
Matrix(A::MatrixElem{T}) where {T<:NCRingElement}
Matrix{U}(A::MatrixElem{T}) where {U<:NCRingElement, T<:NCRingElement}
Convert `A` to a Julia `Matrix{U}` of the same dimensions with the same elements.
If `U` is omitted then `eltype(M)` is used in its place.
# Examples
```jldoctest; setup = :(using AbstractAlgebra)
julia> A = ZZ[1 2 3; 4 5 6]
[1 2 3]
[4 5 6]
julia> Matrix(A)
2×3 Matrix{BigInt}:
1 2 3
4 5 6
julia> Matrix{Int}(A)
2×3 Matrix{Int64}:
1 2 3
4 5 6
```
"""
Matrix(M::MatrixElem{T}) where {T<:NCRingElement} = Matrix{eltype(M)}(M)
Matrix{U}(M::MatrixElem{T}) where {U<:NCRingElement, T<:NCRingElement} = U[M[i, j] for i = 1:nrows(M), j = 1:ncols(M)]
"""
Array(A::MatrixElem{T}) where T <: NCRingElement
Convert `A` to a Julia `Matrix` of the same dimensions with the same elements.
# Examples
```jldoctest; setup = :(using AbstractAlgebra)
julia> R, x = ZZ["x"]; A = R[x^0 x^1; x^2 x^3]
[ 1 x]
[x^2 x^3]
julia> Array(A)
2×2 Matrix{AbstractAlgebra.Generic.Poly{BigInt}}:
1 x
x^2 x^3
```
"""
Array(M::MatrixElem{T}) where {T<:NCRingElement} = Matrix(M)