+//! Provides the algebraic math trait and macro.

+/// Trait for Algebraic-ly math'd floats. Try to use [`algebraic::math`](`math`).

+pub trait Float: Copy {

+ fn add(self, other: Self) -> Self;

+ fn sub(self, other: Self) -> Self;

+ fn mul(self, other: Self) -> Self;

+ fn div(self, other: Self) -> Self;

+ fn rem(self, other: Self) -> Self;

+

+ fn eq(self, other: Self) -> bool;

+ fn lt(self, other: Self) -> bool;

+ fn le(self, other: Self) -> bool;

+ fn ne(self, other: Self) -> bool;

+ fn ge(self, other: Self) -> bool;

+ fn gt(self, other: Self) -> bool;

+

+ fn deref(&self) -> Self {

+ *self

+ }

+ fn neg(self) -> Self;

+}

+use std::intrinsics::*;

+macro_rules! imp {

+ ($this:ty) => {

+#[rustfmt::skip]

+impl Float for $this {

+ fn add(self, other: Self) -> Self { fadd_algebraic(self, other) }

+ fn sub(self, other: Self) -> Self { fsub_algebraic(self, other) }

+ fn mul(self, other: Self) -> Self { fmul_algebraic(self, other) }

+ fn div(self, other: Self) -> Self { fdiv_algebraic(self, other) }

+ fn rem(self, other: Self) -> Self { frem_algebraic(self, other) }

+

+ fn eq(self, other: Self) -> bool { self == other }

+ fn lt(self, other: Self) -> bool { self < other }

+ fn le(self, other: Self) -> bool { self <= other }

+ fn ne(self, other: Self) -> bool { self != other }

+ fn ge(self, other: Self) -> bool { self >= other }

+ fn gt(self, other: Self) -> bool { self > other }

+

+ fn deref(&self) -> Self { *self }

+ fn neg(self) -> Self { -self }

+}

+ };

+}

+imp!(f32);

+imp!(f64);

+

+/// Changes all the math to algebraic float math. See [`fadd_algebraic`].

+///

+/// This allows automatic vectorization of float math easier for the compiler, among other things.

+/// If you intend to create a function in this, first import [`lower::algebraic::Float`](crate::algebraic::Float), use [`lower::math`](crate::math).

+///

+/// This would lower `a + b + c + d` to `alge_add(alge_add(alge_add(a, b), c), d)` (which could be organized by the compiler into `(a + b) + (c + d)` if it chooses)

+#[macro_export]

+#[doc(hidden)]

+macro_rules! algebraic {

+ ($($x:tt)+) => {{

+ use $crate::algebraic::Float as _;

+ lower_macros::math! { $($x)+ }

+ }}

+}

+#[doc(inline)]

+pub use algebraic as math;