openvm_algebra_guest

Trait DivUnsafe

Source 
pub trait DivUnsafe<Rhs = Self>: Sized {
    type Output;

    // Required method
    fn div_unsafe(self, other: Rhs) -> Self::Output;
}
Expand description

Division operation that is undefined behavior when the denominator is not invertible.

Required Associated Types§

Source

type Output

Output type of div_unsafe.

Required Methods§

Source

fn div_unsafe(self, other: Rhs) -> Self::Output

Undefined behavior when denominator is not invertible.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl<'a, F: Field> DivUnsafe for &'a F

Source§

type Output = F

Source§

fn div_unsafe(self, other: &'a F) -> Self::Output

Implementors§

Source§

impl<'a, F: Field> DivUnsafe<&'a F> for F

Source§

type Output = F

impl<'a> DivUnsafe<&'a P256Coord> for &P256Coord

impl<'a> DivUnsafe<&'a P256Coord> for P256Coord

impl<'a> DivUnsafe<&'a P256Scalar> for &P256Scalar

impl<'a> DivUnsafe<&'a P256Scalar> for P256Scalar

impl DivUnsafe for Fp12

impl DivUnsafe for Fp12

impl<'a> DivUnsafe for &'a Fp12

impl<'a> DivUnsafe for &'a Fp12

impl<'a> DivUnsafe<&'a Bls12_381Fp> for &Bls12_381Fp

impl<'a> DivUnsafe<&'a Bn254Fp> for &Bn254Fp

impl<'a> DivUnsafe<&'a Bn254Fp> for Bn254Fp

impl<'a> DivUnsafe<&'a Bn254Fp2> for &Bn254Fp2

impl<'a> DivUnsafe<&'a Bn254Fp2> for Bn254Fp2

impl<'a> DivUnsafe<&'a Bn254Scalar> for &Bn254Scalar