add length for svector (oscar-system#833)

JohnAAbbott · Sep 26, 2024 · 77d0943 · 77d0943
1 parent 89c0757
commit 77d0943
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/src/module/vector.jl b/src/module/vector.jl
@@ -310,6 +310,9 @@ function Base.iterate(p::svector{spluralg{T}}, state) where T
 end
 
 Base.IteratorSize(::svector{spoly{T}}) where {T} = Base.SizeUnknown()
+
+length(p::svector) = Int(libSingular.pLength(p.ptr))
+
 ###############################################################################
 #
 #   Vector constructors

diff --git a/test/module/svector-test.jl b/test/module/svector-test.jl
@@ -29,6 +29,7 @@
    @test gen(M,1) == gens(M)[1]
    @test_throws ErrorException gen(M,0)
    @test_throws ErrorException gen(M,ngens(M)+1)
+   @test length(v2) == 5
 end
 
 @testset "svector.jet" begin