代数 - field

環 ( crate::algebra::ring::Ring ) に割り算 ( std::ops::Div ) を加えて要請したものを体 (Field) と呼ぶ. ただし \(0\) ( AGroup::zero() ) の逆元は定義しないものとする.

実装

/// Algebra - Field ((+, 0), (*, 1), /)
use crate::algebra::ring::*;

pub trait Field: Ring + std::ops::Div {}

impl Field for i64 {}
impl Field for f64 {}