From e71528718ef6aa589ea102d8b101a5a709677d59 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Radek=20Hu=C5=A1ek?= <husek@iuuk.mff.cuni.cz>
Date: Thu, 20 Jul 2017 14:48:35 +0200
Subject: [PATCH] groupConnectivityNaive: add Zkn

---
 groupConnectivityNaive.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/groupConnectivityNaive.py b/groupConnectivityNaive.py
index 5bbd2fe..6cdb694 100644
--- a/groupConnectivityNaive.py
+++ b/groupConnectivityNaive.py
@@ -1,4 +1,9 @@
 from sage.graphs.graph import Graph, DiGraph
+from sage.rings.finite_rings.integer_mod_ring import Integers
+
+def Zkn(k, n):
+  Zk = Integers(k)
+  return Zk.cartesian_product( *([Zk] * (n - 1)) )
 
 def prettifyGraph(G_):
   """Convert graph into directed one and number its edges."""
-- 
GitLab