Documentation

DerivedAlgGeo.Analysis.Complex

Complex analysis #

The semi-closed and closed upper half-planes, the oriented planar determinant, and the argument bounds for binary and nonempty finite sums in those half-planes.