From 2928df0a4b4be30cde2b11bdcf2698875d5b9536 Mon Sep 17 00:00:00 2001 From: Jaron Kent-Dobias Date: Tue, 20 Mar 2018 19:06:50 -0400 Subject: new system --- lib/dihinf.h | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 lib/dihinf.h (limited to 'lib/dihinf.h') 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 +#include + +#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); + -- cgit v1.2.3-70-g09d2