偏序关系中盖住关系的求取及格论中有补格的判定

//二元关系为整除，是正整数上的偏序集，该偏序集中任意两个元素的最小公倍数和最大公约数就是这两个元素的最小上界和最大下界因此它是格
#include
using namespace std;
int num=0;  //正整数
int n=0;
#define MA 50
int a[MA][MA]={0};          //关系矩阵
int b[MA]={0};              //存1到num中能整除num的数字
int gcd(int x,int y)    //辗转相除法求最大公约数
{
    int r;
    if(x";
        }
    cout<<"}"<>num;
        cal_b();
        cal_a();
        calcover();
        judge();
        cout<