StrafesNET/fixed_wide_vectors
3
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Divide trait wip

Browse Source
This commit is contained in:
Quaternions 2024-09-11 12:59:33 -07:00
parent 44ac6fe4be
commit fcf320c3a8
3 changed files with 23 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
linear_ops/src/macros/matrix.rs
View File

@ -136,6 +136,13 @@ macro_rules! impl_matrix {
#[macro_export(local_inner_macros)]
macro_rules! impl_matrix_deferred_division {
() => {
impl<const X:usize,const Y:usize,T:ratio_ops::ratio::Divide<U,Output=V>,U:Copy,V> ratio_ops::ratio::Divide<U> for Matrix<X,Y,T>{
type Output=Matrix<X,Y,V>;
#[inline]
fn divide(self,rhs:U)->Self::Output{
self.map(|t|t.divide(rhs))
}
}
impl<const X:usize,const Y:usize,T,U> core::ops::Div<U> for Matrix<X,Y,T>{
type Output=ratio_ops::ratio::Ratio<Matrix<X,Y,T>,U>;
#[inline]

7
linear_ops/src/macros/vector.rs
View File

@ -170,6 +170,13 @@ macro_rules! impl_vector {
#[macro_export(local_inner_macros)]
macro_rules! impl_vector_deferred_division {
() => {
impl<const N:usize,T:ratio_ops::ratio::Divide<U,Output=V>,U:Copy,V> ratio_ops::ratio::Divide<U> for Vector<N,T>{
type Output=Vector<N,V>;
#[inline]
fn divide(self,rhs:U)->Self::Output{
self.map(|t|t.divide(rhs))
}
}
impl<const N:usize,T,U> core::ops::Div<U> for Vector<N,T>{
type Output=ratio_ops::ratio::Ratio<Vector<N,T>,U>;
#[inline]

12
ratio_ops/src/ratio.rs
View File

@ -10,13 +10,19 @@ impl<Num,Den> Ratio<Num,Den>{
}
}
/// The actual divide implementation, Div is replaced with a Ratio constructor
pub trait Divide<Rhs=Self>{
type Output;
fn divide(self,rhs:Rhs)->Self::Output;
}
impl<Num,Den> Ratio<Num,Den>
where
Num:core::ops::Div<Den>,
Num:Divide<Den>,
{
#[inline]
pub fn divide(num:Num,den:Den)-><Num as core::ops::Div<Den>>::Output{
num/den
pub fn divide(self)-><Num as Divide<Den>>::Output{
self.num.divide(self.den)
}
}