Frink ideal (source code)

= Frink ideal
{wiki=Frink_ideal}