模組:Complex Number/doc

这是Module:Complex Number的文档页面

此模块文档被引用於約5,300個頁面。
為了避免造成大規模的影響，所有對此模块文档的編輯應先於沙盒或測試樣例上測試。
測試後無誤的版本可以一次性地加入此模块文档中，但是修改前請務必於討論頁發起討論。

模板引用數量會自動更新。

本模組為Lua定義了一套複數（如虚数、四元數）運算的系統，可提供其他模組呼叫使用，而若要直接在條目中使用可透過Module:Complex Number/Calculate‎來完成。

關於本模組創建動機詳見Module:TemplateParameters#設計緣由（亦可參考Template_talk:Root）。

模組內容

本模組有4套數學資料結構的定義以及對應的數學運算庫：

cmath: 複數的數學資料結構及運算的系統
qmath: 四元數的數學資料結構及運算的系統
math: 實數運算系統的擴充
bmath: 布林代數的數學資料結構及運算的系統

使用方法

初始化數學庫
- local 自訂函數庫名稱 = require("Module:Complex Number").函數庫名稱.init()
  例如：local cmath = require("Module:Complex Number").cmath.init()
初始化指定數學結構的數字
- local 變數名稱 = 自訂函數庫名稱.constructor("描述數字的字串")
  例如：local num1 = cmath.constructor("2+3i")

執行運算

例如：

local num1 = cmath.constructor("2+3i")
local num2 = cmath.constructor("4+5i")
print(num1 * num2)

輸出：-7+22i

或者使用函數庫內容：

local num1 = cmath.constructor("i")
print(cmath.sqrt(num1))

輸出：0.70710678118655+0.70710678118655i

若需要在模板中使用，請參閱{{複變運算}}

原理

複數可分為實部和虛部，此特性可以透過Lua的table功能（{real=..., imag=...,}）來實現，同時透過複寫Metatables來完成其各運算子（如+、-、*、/）來實現複變的基本運算：

p.ComplexNumberMeta = {
	__add = function (op1, op2) 
		return p.ComplexNumber(op1.real + op2.real, imag = op1.imag + op2.imag)
	end,
	--...
}
function p.ComplexNumber(real, imag)
	local complexNumber = {real = op1.real + op2.real, imag = op1.imag + op2.imag}
	setmetatable(complexNumber,p.ComplexNumberMeta)
	return complexNumber
end

如此一來，只要是設定過Metatables的含實部和虛部的table都可以直接進行複變數的運算。

剩下的部分就是完善數學函數庫math.xxx的各函數。

比較

函數庫		預設的`math`	`.cmath`	`.qmath`	`.math`	`.bmath`	`.tagmath` 位於Module:Complex Number/Calculate‎
說明		Lua預設提供的math程式庫	複數（ $a+bi$ ）專用程式庫	四元數（ $a+bi+cj+dk$ ）專用程式庫	預設`math`的擴充，定義了上方兩個程式庫中的功能	簡單的布林代數	會運算成`<math></math>`的程式庫
函式庫初始化方式		無須初始化	`cmath = require("Module:Complex Number").cmath.init();`	`qmath = require("Module:Complex Number").qmath.init();`	`math = require("Module:Complex Number").math.init();`	`bmath = require("Module:Complex Number").bmath.init();`	`tagmath = require("Module:Complex Number/Calculate").tagmath.init();`
數字建構/初始化方式		`tonumber("10");` `10`	`cmath.toComplexNumber("1+i");` `cmath.getComplexNumber(1,1);`	`qmath.toQuaternionNumber("i+j+k");` `qmath.getQuaternionNumber(0,1,1,1);`	`tonumber("10");` `10`	`bmath.toBoolean("yes");`	`tagmath.toTagMath("a");`
四則運算	加法 `a + b`				lua原生支援	邏輯或	輸出 $a+b$
	減法 `a - b`				lua原生支援		輸出 $a-b$
	乘法 `a * b`				lua原生支援	邏輯與	輸出 $a\times b$
	除法 `a / b`			只能除實數	lua原生支援	不存在	輸出 $a\div b$
	模除 `a % b`			以高斯符號定義	lua原生支援	不存在
一元運算	相反數 `-a`				lua原生支援	邏輯非	輸出 $-a$
一元運算	tostring				lua原生支援
e常數 `e`							輸出 $e$
圓周率 `pi`					lua原生支援		輸出 $\pi$
虛數單位 `i`							輸出 $i$
j單位 `j`							輸出 $j$
k單位 `k`							輸出 $k$
絕對值 `abs(a)`					lua原生支援		輸出 $\left\vert a\right\vert$
符号函数 `sgn(a)`							輸出 $\operatorname {sgn} a$
共轭复数 `conjugate(a)`					原式輸出。		輸出 ${\overline {a}}$
輻角 `arg(a)`							輸出 $\arg a$
平方根 `sqrt(a)`							輸出 ${\sqrt {a}}$
倒數 `inverse(a)`							輸出 ${a}^{-1}$
分數 `div(a,b)`							輸出 ${\frac {a}{b}}$
數字部件	實部 `re(a)`						輸出 $\operatorname {Re} {a}$
	虛部 `im(a)`				恆為0		輸出 $\operatorname {Im} {a}$
	純量部
	向量部
內積 `dot(a,b)`					與乘法相同		輸出 $a\cdot b$
冪 `a ^ b`			只能pow(a,b)	只能pow(a,b)	lua原生支援		只能pow(a,b)
指對數函數	指數 `pow(a,b)`				lua原生支援		輸出 $a^{b}$
	自然對數 `log(a)`				lua原生支援	不存在	輸出 $\ln a$
	自然指數 `exp(a)`				lua原生支援	不存在	輸出 $\exp a$
	cis `cis(a)`					不存在	輸出 $\operatorname {cis} a$
高斯符號	地板 `floor(a)`				lua原生支援	不存在	輸出 $\lfloor a\rfloor$
	天花板 `ceil(a)`				lua原生支援	不存在	輸出 $\lceil a\rceil$
	数值修约 `round(a)`					不存在	即将到来
三角函數	正弦 `sin(a)`				lua原生支援	不存在	輸出 $\sin a$
	餘弦 `cos(a)`				lua原生支援	不存在	輸出 $\cos a$
	正切 `tan(a)`				lua原生支援	不存在	輸出 $\tan a$
	餘切 `cot(a)`					不存在	輸出 $\cot a$
反三角函數	反正弦 `asin(a)`				lua原生支援	不存在	輸出 $\arcsin a$
	反餘弦 `acos(a)`				lua原生支援	不存在	輸出 $\arccos a$
	反正切 `atan(a)`				lua原生支援	不存在	輸出 $\arctan a$
	反餘切 `acot(a)`					不存在	輸出 $\operatorname {arccot} a$
雙曲函數	雙曲正弦 `sinh(a)`				lua原生支援	不存在	輸出 $\sinh a$
	雙曲餘弦 `cosh(a)`				lua原生支援	不存在	輸出 $\cosh a$
	雙曲正切 `tanh(a)`				lua原生支援	不存在	輸出 $\tanh a$
	雙曲餘切 `coth(a)`					不存在	輸出 $\coth a$
反雙曲函數	雙曲反正弦 `asinh(a)`					不存在	輸出 $\operatorname {arcsinh} a$
	雙曲反餘弦 `acosh(a)`					不存在	輸出 $\operatorname {arccosh} a$
	雙曲反正切 `atanh(a)`					不存在	輸出 $\operatorname {arctanh} a$
	雙曲反餘切 `acoth(a)`					不存在	輸出 $\operatorname {arccoth} a$

擴充函數

本模組僅為這些數學結構定義一些基本運算（見上表）。一些較複雜的運算可透過調用Module:Complex_Number/Functions來完成。本模組提供的3個部分（cmath、qmath、math）皆支援Module:Complex_Number/Functions。

使用方法

mathlib = require("Module:Complex Number/Functions")._init(mathlib, numberConstructer)

其中，mathlib為已初始化的數學函數庫（如cmath、qmath、math），numberConstructer為對應該數學函數庫數字結構的建構子函數。

所回傳的新mathlib將會包含Module:Complex_Number/Functions中已定義的所有擴充函數。

註：詳細使用條件參見Module:Complex_Number/Functions/doc#使用條件，說明了函數庫須具備那些條件方能使用此擴充功能。

其他函數庫

require("Module:Complex Number").cmath: 複變函數庫
require("Module:Complex Number").qmath: 四元數函數庫
require("Module:Complex Number").math: 實數函數庫擴充
require("Module:Complex Number").bmath: 布林代數函數庫
require("Module:Complex Number/Calculate").tagmath: 輸出為<math></math>的運算庫
require("Module:Complex Number/Dual Number").dumath: 二元數函數庫
require("Module:Complex Number/Dual Number").ducmath: 二元複數（英语：Applications of dual quaternions to 2D geometry）函數庫
require("Module:Complex Number/Octonion").omath: 八元數函數庫
require("Module:Complex Number/CayleyDickson").cdmath.init(math_lib): 將指定的函數庫math_lib套用凯莱-迪克森结构形成新的函數庫（無法自我嵌套）
require("Module:Complex Number/CayleyDickson").sdmath: 八元數套用凯莱-迪克森结构後的形成新的十六元數函數庫
require("Module:Complex Number/CayleyDickson").cdmathOctonion: 預先套用凯莱-迪克森结构的八元數後的函數庫（可作為十六元數使用）
require("Module:Complex Number/CayleyDickson").cdmathSedenion: 預先套用凯莱-迪克森结构的十六元數後的函數庫（可作為三十二元數使用）