diff options
Diffstat (limited to 'lib/dihinf.h')
-rw-r--r-- | lib/dihinf.h | 17 |
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); + |