feat: ComplexRepresentation extended with complex operations

This commit is contained in:
Mateusz Pusz
2024-11-12 14:20:19 +01:00
parent 5ddbd62ea4
commit e4044f0e4b

View File

@@ -118,12 +118,11 @@ concept ComplexRepresentation = Complex<T> && WeaklyRegular<T> && requires(T a,
{ a - b } -> Complex;
{ a* b } -> Complex;
{ a / b } -> Complex;
// TBD
// { re(a) } -> Scalar;
// { im(a) } -> Scalar;
// { mod(a) } -> Scalar;
// { arg(a) } -> Scalar;
// { conj(a) } -> Complex;
{ real(a) } -> Scalar;
{ imag(a) } -> Scalar;
{ abs(a) } -> Scalar;
{ arg(a) } -> Scalar;
{ conj(a) } -> Complex;
};
// TODO how to check for a complex(Scalar, Scalar) -> Complex?