试仿照三元组的抽象数据类型分别写出抽象数据类型复数和有理数的定义

复数和有理数都是数学中常见的抽象数据类型，我们可以将它们设计成抽象数据类型的结构如下：

**抽象数据类型 (ADT) - 复数**

1. 数据域 (Data Domain): {a + bi | a, b ∈ ℝ, i是虚数单位}
2. 操作集 (Operations):
   - 构造函数 (Constructor): 复数(a, b)
       创建一个新的复数，实部为a，虚部为b。
   - 获取实部 (Get Real Part): real(complex z)
       返回复数z的实部。
   - 获取虚部 (Get Imaginary Part): imag(complex z)
       返回复数z的虚部。
   - 加法 (Addition): add(complex z1, complex z2)
       返回两个复数z1和z2的和。
   - 减法 (Subtraction): subtract(complex z1, complex z2)
       返回两个复数z1减去z2的结果。
   - 数学运算 (Multiplication and Division): apply_operation(complex z1, complex z2, operation)
       根据操作（如乘法*或除法/），对复数z1和z2执行相应的数学运算。

**抽象数据类型 (ADT) - 有理数**

1. 数据域 (Data Domain): {p/q | p, q ∈ ℤ, q ≠ 0}
2. 操作集 (Operations):
   - 构造函数 (Constructor): 理数(p, q)
       创建一个新的有理数，分子为p，分母为q。
   - 获取分子 (Get Numerator): numerator(rational r)
       返回有理数r的分子。
   - 获取分母 (Get Denominator): denominator(rational r)
       返回有理数r的分母。
   - 加法 (Addition): add(rational r1, rational r2)
       返回两个有理数r1和r2的和。
   - 减法 (Subtraction): subtract(rational r1, rational r2)
       返回两个有理数r1减去r2的结果。
   - 乘法 (Multiplication): multiply(rational r1, rational r2)
       返回两个有理数r1和r2的乘积。
   - 分数形式简化 (Simplification): simplify(rational r)
       将有理数r转换为其最简分数形式。