Class KR_subfield


Code: embedded/roothalf/KR_subfields.mpl

An instance of this class represents a subfield of the field $KR$ of functions on $EX^*$ generated by the functions $x_i$ and $r_i$

Field: stabiliser::list

The list of elements of the group $G_{64}$ that act as the identity on this subfield

Field: generating_sets::list

A list of generating sets for the subfield

Field: conversion_rules::table

In the $(i,j)$ slot this should have a list of equations expressing the elements of generating set $i$ in terms of generating set $j$. The $(i,i)$ slots can be left unset.

Method: check_stabiliser()
Method: check_conversion()
Method: check()