用伪代码帮我描述一下分式化简，将一个给定的真分数化简为最简分数形式的算法

当我们想要简化一个真分数 (分子比分母小的分数) 到其最简形式时，可以按照以下步骤编写伪代码：

function simplifyFraction(input_fraction):
    // 分解输入分数的分子和分母成质因数分解
    factors_m = factorize(input_fraction.numerator)
    factors_d = factorize(input_fraction.denominator)

    // 找出两个列表公共的最大质因数（如果有的话）
    common_factors = findCommonFactors(factors_m, factors_d)

    // 删除公共质因数
    simplified_numerator = divide_by_common_factors(factors_m, common_factors)
    simplified_denominator = divide_by_common_factors(factors_d, common_factors)

    // 如果分子和分母都没有剩余因子，则已经是最简分数
    if simplified_numerator == 1 and simplified_denominator == 1:
        return Fraction(1, 1)  // 返回最简分数 1/1 或者表示为 {1}/{1}
    else:
        return Fraction(simplified_numerator, simplified_denominator)  // 返回已简化后的分数

// 辅助函数用于找出并移除两个数的公共质因数
function findCommonFactors(list1, list2):
    common_factors_list = []
    for factor in list1:
        if factor in list2:
            common_factors_list.append(factor)
            list2.remove(factor)  // 移除已找到的公共质因数
    return common_factors_list

// 辅助函数用于除以质因数
function divide_by_common_factors(numbers, common_factors):
    result = numbers.copy()
    for factor in common_factors:
        result = [number / factor for number in result]
    return result