how can I define the prime sub-field of e in my example?
value property is already set the other way at
SetIsPrimeField( P, true );
<function>( <arguments> ) called from read-eval-loop
Entering break read-eval-print loop, you can 'quit;' to quit to outer loop,
or you can return to set it anyhow to continue