toysolver-0.3.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Copyright(c) Masahiro Sakai 2013
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

ToySolver.Data.AlgebraicNumber.Complex

Contents

Description

Algebraic Numbers

Synopsis

Rectangular form

data AComplex Source

Complex numbers are an algebraic type.

For a complex number z, abs z is a number with the magnitude of z, but oriented in the positive real direction, whereas signum z has the phase of z, but unit magnitude.

Constructors

!AReal :+ !AReal infix 6 

Properties

realPart :: AComplex -> AReal Source

Extracts the real part of a complex number.

imagPart :: AComplex -> AReal Source

Extracts the imaginary part of a complex number.

magnitude :: AComplex -> AReal Source

The nonnegative magnitude of a complex number.

minimalPolynomial :: AComplex -> UPolynomial Rational Source

The polynomial of which the algebraic number is root.

Operations

conjugate :: AComplex -> AComplex Source

The conjugate of a complex number.