tags: LaTeX xypic Hasse

写在前面

绘制下面的这个图​1​, 并加上标注, 思路很简单, 描点画图:


\documentclass[border=3pt]{standalone}
\usepackage{amssymb}
\usepackage[all,pdf]{xy}
% \xyoption{color}
\newcommand{\B}{\dir{*}}
\def\sst{\scriptscriptstyle}

\begin{document}
\begin{xy}\drop[*1.5]\xybox{
(0,0)="A"*{\B}*\cir{}*+!R{\sst a},
(5,0)="B"*{\B}*\cir{}*+!L{\sst b},
(10,0)="C"*{\B}*\cir{}*+!L{\sst c},
(0,4)="AB"*{\B}*\cir{}*+!R{\sst ab},
(10,4)="BC"*{\B}*\cir{}*+!CL{\sst bc},
(5,4)="AC"*{\B}*\cir{}*+!U{\sst ac},
(5,-4)="X"*{\B}*\cir{}*+!R{\sst \varnothing},
(5,8)="ABC"*{\B}*\cir{}*+!R{\sst abc},
(-5,8)="D"*{\B}*\cir{}*+!U{\sst d},
(0,12)="ABCD"*{\B}*\cir{}*+!R{\sst abcd},
(15,8)="E"*{\B}*\cir{}*+!L{\sst e},
(10,12)="ABCE"*{\B}*\cir{}*+!R{\sst abce},
(5,16)="ABCDE"*{\B}*\cir{}*+!R{\sst abcde},
(25,4)="F"*{\B}*\cir{}*+!L{\sst f},
(25,8)="BCF"*{\B}*\cir{}*+!L{\sst bcf},
(10,8)="ACF"*{\B}*\cir{}*+!U{\sst acf},
(20,12)="ABCF"*{\B}*\cir{}*+!R{\sst abcf},
(25,12)="BCEF"*{\B}*\cir{}*+!L{\sst bcef},
(20,16)="ABCEF"*{\B}*\cir{}*+!L{\sst abcef},
(15,16)="ABCDF"*{\B}*\cir{}*+!R{\sst abcdf},
(15,20)="ABCDEF"*{\B}*\cir{}*+!R{\sst abcdef},
"X";"A"**{}**@{-},
"X";"B"**{}**@{-},
"X";"C"**{}**@{-},
"A";"AC"**{}**@{-},
"C";"AC"**{}**@{-},
"B";"BC"**{}**@{-},
"C";"BC"**{}**@{-},
"A";"AB"**{}**@{-},
"B";"AB"**{}**@{-},
"AC";"ABC"**{}**@{-},
"BC";"ABC"**{}**@{-},
"AB";"ABC"**{}**@{-},
"D";"AB"**{}**@{-},
"D";"ABCD"**{}**@{-},
"ABC";"ABCD"**{}**@{-},
"E";"BC"**{}**@{-},
"E";"ABCE"**{}**@{-},
"ABC";"ABCE"**{}**@{-},
"ABCD";"ABCDE"**{}**@{-},
"ABCE";"ABCDE"**{}**@{-},
"F";"C"**{}**@{-},
"F";"BCF"**{}**@{-},
"BC";"BCF"**{}**@{-},
"AC";"ACF"**{}**@{-},
"F";"ACF"**{}**@{-},
"BC";"BCF"**{}**@{-},
"AC";"ACF"**{}**@{-},
"BCF";"ABCF"**{}**@{-},
"ACF";"ABCF"**{}**@{-},
"ABC";"ABCF"**{}**@{-},
"BCF";"BCEF"**{}**@{-},
"E";"BCEF"**{}**@{-},
"ABCE";"ABCEF"**{}**@{-},
"BCEF";"ABCEF"**{}**@{-},
"ABCD";"ABCDF"**{}**@{-},
"ABCF";"ABCDF"**{}**@{-},
"ABCF";"ABCEF"**{}**@{-},
"ABCDF";"ABCDEF"**{}**@{-},
"ABCDE";"ABCDEF"**{}**@{-},
"ABCEF";"ABCDEF"**{}**@{-},
}
\end{xy}
\end{document}




根据秩的不同加上一点颜色:

\documentclass[border=3pt]{standalone}
\usepackage{amssymb,xcolor}
\usepackage[all,pdf]{xy}
% \xyoption{crayon}
\newcommand{\B}{\dir{*}}
\def\sst{\scriptscriptstyle}

\begin{document}
\begin{xy}\drop[*1.5]\xybox{
(0,0)="A"*{\B}*\cir{}*+!R{\sst \color{red}a},
(5,0)="B"*{\B}*\cir{}*+!L{\sst \color{red}b},
(10,0)="C"*{\B}*\cir{}*+!L{\sst \color{red}c},
(0,4)="AB"*{\B}*\cir{}*+!R{\sst \color{blue}ab},
(10,4)="BC"*{\B}*\cir{}*+!CL{\sst \color{blue}bc},
(5,4)="AC"*{\B}*\cir{}*+!U{\sst \color{blue}ac},
(5,-4)="X"*{\B}*\cir{}*+!R{\sst \color{brown}\varnothing},
(5,8)="ABC"*{\B}*\cir{}*+!R{\sst \color{teal}abc},
(-5,8)="D"*{\B}*\cir{}*+!U{\sst \color{teal}d},
(0,12)="ABCD"*{\B}*\cir{}*+!R{\sst \color{purple}abcd},
(15,8)="E"*{\B}*\cir{}*+!L{\sst \color{teal}e},
(10,12)="ABCE"*{\B}*\cir{}*+!R{\sst \color{purple}abce},
(5,16)="ABCDE"*{\B}*\cir{}*+!R{\sst \color{cyan}abcde},
(25,4)="F"*{\B}*\cir{}*+!L{\sst \color{blue}f},
(25,8)="BCF"*{\B}*\cir{}*+!L{\sst \color{teal}bcf},
(10,8)="ACF"*{\B}*\cir{}*+!U{\sst \color{teal}acf},
(20,12)="ABCF"*{\B}*\cir{}*+!R{\sst \color{purple}abcf},
(25,12)="BCEF"*{\B}*\cir{}*+!L{\sst \color{purple}bcef},
(20,16)="ABCEF"*{\B}*\cir{}*+!L{\sst \color{cyan}abcef},
(15,16)="ABCDF"*{\B}*\cir{}*+!R{\sst \color{cyan}abcdf},
(15,20)="ABCDEF"*{\B}*\cir{}*+!R{\sst \color{magenta}abcdef},
"X";"A"**{}**@@{-},
"X";"B"**{}**@{-},
"X";"C"**{}**@{-},
"A";"AC"**{}**@{-},
"C";"AC"**{}**@{-},
"B";"BC"**{}**@{-},
"C";"BC"**{}**@{-},
"A";"AB"**{}**@{-},
"B";"AB"**{}**@{-},
"AC";"ABC"**{}**@{-},
"BC";"ABC"**{}**@{-},
"AB";"ABC"**{}**@{-},
"D";"AB"**{}**@{-},
"D";"ABCD"**{}**@{-},
"ABC";"ABCD"**{}**@{-},
"E";"BC"**{}**@{-},
"E";"ABCE"**{}**@{-},
"ABC";"ABCE"**{}**@{-},
"ABCD";"ABCDE"**{}**@{-},
"ABCE";"ABCDE"**{}**@{-},
"F";"C"**{}**@{-},
"F";"BCF"**{}**@{-},
"BC";"BCF"**{}**@{-},
"AC";"ACF"**{}**@{-},
"F";"ACF"**{}**@{-},
"BC";"BCF"**{}**@{-},
"AC";"ACF"**{}**@{-},
"BCF";"ABCF"**{}**@{-},
"ACF";"ABCF"**{}**@{-},
"ABC";"ABCF"**{}**@{-},
"BCF";"BCEF"**{}**@{-},
"E";"BCEF"**{}**@{-},
"ABCE";"ABCEF"**{}**@{-},
"BCEF";"ABCEF"**{}**@{-},
"ABCD";"ABCDF"**{}**@{-},
"ABCF";"ABCDF"**{}**@{-},
"ABCF";"ABCEF"**{}**@{-},
"ABCDF";"ABCDEF"**{}**@{-},
"ABCDE";"ABCDEF"**{}**@{-},
"ABCEF";"ABCDEF"**{}**@{-},
}
\end{xy}
\end{document}