1 files changed, 53 insertions, 0 deletions
diff --git a/examples/src/models/ising/z2.hpp b/examples/src/models/ising/z2.hpp
new file mode 100644
index 0000000..19b6c05
--- /dev/null
+++ b/examples/src/models/ising/z2.hpp
@@ -0,0 +1,53 @@
+
+#pragma once
+
+#include <wolff/types.h>
+#include "ising.hpp"
+
+/* The minimum definition for a group type R_t to act on a spin type X_t is
+ * given by the following.
+ *
+ * void init(R_t *p);
+ * void free_spin(R_t r);
+ * R_t copy(R_t r);
+ * X_t act(R_t r, X_t x);
+ * R_t act(R_t r, R_t r);
+ * X_t act_inverse(R_t r, X_t x);
+ * R_t act_inverse(R_t r, R_t r);
+ *
+ */
+
+class z2_t {
+  public:
+  bool x;
+
+  z2_t() : x(false) {}
+
+  z2_t(bool x) : x(x) {}
+
+  ising_t act(const ising_t& s) const {
+    if (x) {
+      return ising_t(!s.x);
+    } else {
+      return ising_t(s.x);
+    }
+  }
+
+  z2_t act(const z2_t& r) const {
+    if (x) {
+      return z2_t(!r.x);
+    } else {
+      return z2_t(r.x);
+    }
+  }
+
+  ising_t act_inverse(const ising_t& s) const {
+    return this->act(s);
+  }
+
+  z2_t act_inverse(const z2_t& r) const {
+    return this->act(r);
+  }
+};
+
+