Copyright	(c) Masahiro Sakai 2013
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	provisional
Portability	portable
Safe Haskell	None
Language	Haskell2010

ToySolver.Data.AlgebraicNumber.Complex

Contents

Rectangular form
Properties
Operations

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

Instances

Eq AComplex
Fractional AComplex
Num AComplex
Show AComplex

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.