add convenience method for direct product

2022-09-21 17:57:38 +02:00 · 2022-09-21 17:57:38 +02:00 · 4fcdd30bf9
parent 765f9841cf
commit 4fcdd30bf9
1 changed files with 4 additions and 0 deletions
--- a/src/constructions/direct_product.jl
+++ b/src/constructions/direct_product.jl
@ -100,3 +100,7 @@ Base.show(io::IO, G::DirectProduct) =
    print(io, "Direct product of $(G.first) and $(G.last)")
 Base.show(io::IO, g::DirectProductElement) =
    print(io, "( $(join(g.elts, ",")) )")
+
+# Convenience methods
+Base.first(g::DirectProductElement) = first(g.elts)
+Base.last(g::DirectProductElement) = last(g.elts)