System Class COMPLEX
型complexは、 型rationalに含まれるもの以外の 全ての数学的な複素数を含むものです。 複素数は、実部と虚部がそれぞれ実数の直交形式で表されます。 実部と虚部は、両方とも有理数か、 あるいは両方とも同じ浮動小数の型です。 虚部は浮動小数のゼロにすることができますが、 有理数のゼロにすることはできず、 そのような数はCommon Lispによって 常に複素数ではなく有理数として表現されます。
特定可能
complex [ typespec | * ]
typespec - 型realのサブタイプである型指定子
この型の全ての要素は、実部と虚部がそれぞれ (upgraded-complex-part-type typespec)の型である複素数です。 この型は、型typespecの数をcomplexに与えた結果によって 生じた複素数を含みます。
(complex type-specifier)は、 型type-specifierの数を 関数complexに与えた結果の 全ての複素数を参照し、 加えて同じ特定化された表現の その他の全ての複素数も含みます。
12.1.5.3. rational型の複素数の標準的な表現のルール, 2.3.2. トークンから数の構築, 22.1.3.1.4. 複素数の印字
複素数の入力構文は、実部をr、虚部をiとしたとき#c(r i)になります。 さらなる詳細は、2.4. 標準マクロ文字をご確認ください。
全ての浮動小数をnとしたとき、 数学的に同じ数としｔ絵表現される複素数は、 (COERCE n 'COMPLEX)として得ることができます。