new system

1 files changed, 17 insertions, 0 deletions

diff --git a/lib/dihinf.h b/lib/dihinf.h
new file mode 100644
index 0000000..2bc7dc2
--- /dev/null
+++ b/lib/dihinf.h
@@ -0,0 +1,17 @@
+
+#include <stdbool.h>
+#include <stdlib.h>
+
+#include "types.h"
+
+typedef struct {
+  h_t i;
+  bool r;
+} dihinf_t;
+
+dihinf_t *dihinf_compose(h_t gti, const dihinf_t *g2);
+
+h_t dihinf_act(h_t gi, h_t s);
+
+h_t dihinf_inverse_act(const dihinf_t *g, h_t s);
+