模組:Complex Number/doc

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

模組內容

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

cmath

複數的數學資料結構及運算的系統

qmath

四元數的數學資料結構及運算的系統

math

實數運算系統的擴充

bmath

布林代數的數學資料結構及運算的系統

使用方法

1. 初始化數學庫
   • local 自訂函數庫名稱 = require("Module:Complex Number").函數庫名稱.init()

     例如：local cmath = require("Module:Complex Number").cmath.init()

2. 初始化指定數學結構的數字
   • local 變數名稱 = 自訂函數庫名稱.constructor("描述數字的字串")

     例如：local num1 = cmath.constructor("2+3i")

3. 執行運算

   例如：

   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$

其他函數庫

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

二元複數函數庫

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

預先套用凯莱-迪克森结构的十六元數後的函數庫（可作為三十二元數使用）