macro_rules! projective_ring_operation {
    ($projective:ident, $field:ident, $g:ident, $e:ident) => { ... };
}