From f2589a34b008b4ba156226bb5c5f1527a13fdc55 Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Mon, 9 Mar 2026 18:49:05 +0100
Subject: [PATCH] add 'copy' for 'SingleEntryVector'

---
 src/Arrays/Arrays.jl            | 2 +-
 src/Arrays/SingleEntryVector.jl | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/Arrays/Arrays.jl b/src/Arrays/Arrays.jl
index 5fe42a5..e29113a 100644
--- a/src/Arrays/Arrays.jl
+++ b/src/Arrays/Arrays.jl
@@ -19,7 +19,7 @@ activate_assertions(Arrays)  # activate assertions by default
 
 using ReachabilityBase.Comparison: _geq, isapproxzero, _isapprox, _in
 
-import Base: rationalize
+import Base: copy, rationalize
 import LinearAlgebra: norm, rank
 
 export abs_sum,
diff --git a/src/Arrays/SingleEntryVector.jl b/src/Arrays/SingleEntryVector.jl
index ca25c2f..5cdbaab 100644
--- a/src/Arrays/SingleEntryVector.jl
+++ b/src/Arrays/SingleEntryVector.jl
@@ -126,6 +126,10 @@ end
     return a.v * @view(B[a.i, :])
 end
 
+function copy(e::SingleEntryVector)
+    return SingleEntryVector(e.i, e.n, e.v)
+end
+
 # vector-vector multiplication
 @inline function At_mul_B(a::SingleEntryVector, b::SingleEntryVector)
     if length(a) != length(b)