用python定义函数用于求两个整数的最大公约数和最小公倍数，并编写主程序，提示用户从键盘上输入两个正整数，通过调用你定义的函数完成计算，并返回结果。

在Python中，我们可以定义一个函数来计算两个整数的最大公约数（GCD）和最小公倍数（LCM）。首先，我们需要导入`math`库中的`gcd`函数，因为Python标准库中并没有直接提供计算GCD的函数，但我们可以通过`math`库间接获取。然后，我们使用公式`lcm(a, b) = abs(a * b) // gcd(a, b)`来计算LCM。以下是函数的定义以及主程序：

import math

def compute_gcd_lcm(num1, num2):
    def gcd(a, b):
        while b != 0:
            a, b = b, a % b
        return a

    lcm = abs(num1 * num2) // gcd(num1, num2)
    return gcd(num1, num2), lcm

# 主程序
def main():
    try:
        num1 = int(input("请输入第一个正整数："))
        num2 = int(input("请输入第二个正整数："))
        
        if num1 <= 0 or num2 <= 0:
            print("请输入正整数!")
        else:
            result_gcd, result_lcm = compute_gcd_lcm(num1, num2)
            print(f"最大公约数 (GCD): {result_gcd}")
            print(f"最小公倍数 (LCM): {result_lcm}")

    except ValueError:
        print("输入错误，请确保输入的是整数.")

if __name__ == "__main__":
    main()

在这个程序中，用户可以输入两个正整数，然后会得到它们的最大公约数和最小公倍数。如果用户输入非正整数，程序会给出相应的错误提示。