Shortcut S[i1, i2, ...] for creating a vector

And implement test for it.

Author: albinahlback

src/AbstractAlgebra.jl

@@ -366,12 +366,16 @@ include("KnownProperties.jl")
 
 ###############################################################################
 #
-#   Syntax S[i] for all parents S as a shortcut for gen(S, i)
+#   getindex methods
 #
 ################################################################################
 
+# Syntax S[i] for all parents S as a shortcut for gen(S, i)
 getindex(S::Set, i::Int) = gen(S, i)
 
+# Syntax S[i1, i2, ...] for a vector
+getindex(S::Set, i...) = [S(ix) for ix in i]
+
 ###############################################################################
 #
 #   Load error objects
@@ -392,7 +396,6 @@ include("broadcasting.jl")
 
 include("Deprecations.jl")
 
-
 ###############################################################################
 #
 #   Set domain for ZZ, QQ
@@ -470,6 +473,7 @@ end
 #   Utils
 #
 ###############################################################################
+
 include("utils.jl")
 
 ###############################################################################

test/AbstractAlgebra-test.jl

@@ -1,3 +1,10 @@
+@testset "getindex" begin
+  Zxy, (x, y) = ZZ[:x, :y]
+  v = Zxy[x^3, 3 * x^2 * y + 1, -3, ZZ(12)]
+
+  @test v == Zxy([x^3, 3 * x^2 * y + 1, -3, ZZ(12)])
+end
+
 include("error-test.jl")
 include("AliasMacro-test.jl")
 include("Attributes-test.jl")