Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::numbers::PartialMulComplex< R > Struct Template Referenceexport

Partial multiplication transform for Complex<R>. More...

Public Types

using value_type = Complex<R>
using logic_species = Kleene

Public Member Functions

TernaryResult< Complex< R > > operator() (std::pair< const Complex< R > &, const Complex< R > & > p) const noexcept

Detailed Description

template<typename R>
requires IsComplexScalar<R>
struct dedekind::numbers::PartialMulComplex< R >

Partial multiplication transform for Complex<R>.

Complex multiplication (a+bi)(c+di) = (ac-bd) + (ad+bc)i inherits the partiality of R's arithmetic.


The documentation for this struct was generated from the following file: