define joins of POrder and Topological#1810

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

zhou31416:masterzhou31416/analysis:masterCopy head branch name to clipboard