1use crate::{EucRing, EucRingOps}; 2 3// Fields 4 5pub trait FieldOps<T = Self>: 6 EucRingOps<T> 7{} 8 9pub trait Field: 10 EucRing + 11 FieldOps 12where 13 for<'a> &'a Self: FieldOps<Self> 14{}