Class PK_subfield

Code: projective/PK_subfields.mpl

An instance of this class represents a subfield of the field $PK$ of functions on $PX(a)$ generated by the functions $w$ and $z$

Field: stabiliser::list

The list of elements of the group $G_{16}$ 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()