zkstd 0.0.22

#[macro_export]
macro_rules! ext_field_ring_operation {
    ($extension_field:ident, $sub_field:ident, $limbs_length:ident) => {
        ext_field_group_operation!($extension_field, $sub_field, $limbs_length);

        impl Ring for $extension_field {
            const MULTIPLICATIVE_IDENTITY: $extension_field = $extension_field::one();

            fn one() -> Self {
                Self::MULTIPLICATIVE_IDENTITY
            }
        }

        impl Default for $extension_field {
            fn default() -> Self {
                $extension_field::one()
            }
        }

        impl PartialOrd for $extension_field {
            fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
                Some(self.cmp(other))
            }

            fn lt(&self, other: &Self) -> bool {
                for (a, b) in self.0.iter().rev().zip(other.0.iter().rev()) {
                    if a != b {
                        return a < b;
                    }
                }
                false
            }

            fn le(&self, other: &Self) -> bool {
                for (a, b) in self.0.iter().rev().zip(other.0.iter().rev()) {
                    if a != b {
                        return a < b;
                    }
                }
                true
            }

            fn gt(&self, other: &Self) -> bool {
                for (a, b) in self.0.iter().rev().zip(other.0.iter().rev()) {
                    if a != b {
                        return a > b;
                    }
                }
                false
            }

            fn ge(&self, other: &Self) -> bool {
                for (a, b) in self.0.iter().rev().zip(other.0.iter().rev()) {
                    if a != b {
                        return a > b;
                    }
                }
                true
            }
        }

        impl Ord for $extension_field {
            fn cmp(&self, other: &Self) -> Ordering {
                for (a, b) in self.0.iter().rev().zip(other.0.iter().rev()) {
                    if a < b {
                        return Ordering::Less;
                    } else if a > b {
                        return Ordering::Greater;
                    }
                }
                Ordering::Equal
            }
        }
    };
}

pub use ext_field_ring_operation;