prelude.sty

\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{prelude}[2020/10/06 AlgoXY Prelude LaTeX package]

\usepackage[hyphens]{url}
\urlstyle{rm}
\RequirePackage{ifpdf}
\RequirePackage{ifxetex}

\RequirePackage[bookmarksnumbered,
             colorlinks,
         linkcolor=blue,
             hyperindex,
       plainpages=false,
      pdfstartview=FitH]{hyperref}

\usepackage{fontspec}
\usepackage{graphicx, color}
\usepackage{adjustbox}
\usepackage{wrapfig}
\usepackage{caption}
\usepackage{subcaption}  % subfig is deprecated
\usepackage{enumerate}
\usepackage{multicol}
\usepackage{pdfpages}    % to include pdf
\usepackage{xcolor}      % for colored table
\usepackage{hhline}
\usepackage[super, square]{natbib}
\usepackage{tikz}
\usetikzlibrary{patterns,matrix,positioning,shapes,arrows}

\usepackage{amsmath, amsthm, amssymb, amsbsy, nccmath} % for math
\usepackage{textgreek, upgreek}
\usepackage{gensymb}
\usepackage{mathtools}
\usepackage{extarrows}
\usepackage{polynom}
\usepackage[lastexercise, answerdelayed]{exercise} % for exercise
\usepackage{stmaryrd} % for banana brackets
\usepackage{pict2e}   % for customize lens brackets
\usepackage[normalem]{ulem}
\usepackage{suffix}   % for starred command
\usepackage{import} % for nested input
\usepackage{standalone}
\usepackage{tocloft}

\usepackage{verbatim}
\usepackage{fancyvrb}
\usepackage{listings}
\usepackage{algorithm} %to remove rules change to \usepackage[plain]{algorithm}
\usepackage[noend]{algpseudocode} %for pseudo code, include algorithmicsx automatically
\usepackage{appendix}
\usepackage{makeidx} % for index support
\usepackage{titlesec}
\usepackage{epigraph}
\usepackage{ifplatform} % for platform detection
\usepackage{textcomp}
\usepackage{mdframed}
\usepackage{sourcecodepro}
\usepackage{cleveref}

\titleformat{\paragraph}
{\normalfont\normalsize\bfseries}{\theparagraph}{1em}{}
\titlespacing*{\paragraph}
              {0pt}{3.25ex plus 1ex minus .2ex}{1.5ex plus .2ex}

\newcommand\doubleplus{\ensuremath{\mathbin{+\mkern-10mu+}}}
%\newcommand\doubleplus{+\kern-1.3ex+\kern0.8ex}
%\newcommand\mdoubleplus{\ensuremath{\mathbin{+\mkern-10mu+}}}

\newcommand\cons{\ensuremath{\mathbin{\!:\!}}}

% for literate Haskell code
\lstdefinestyle{Haskell}{
  language=Haskell,
  flexiblecolumns=false,
  numberstyle=\ttfamily\tiny,
  emphstyle={\bf},
  escapeinside={*'}{'*},
  stringstyle=\mdseries\rmfamily,
  keywordstyle=\bfseries\ttfamily, %rmfamily
  basicstyle=\footnotesize\ttfamily, %sffamily
  commentstyle = \footnotesize\rmfamily,
  showstringspaces=false,
  morecomment=[l]--,
  literate={+}{{$+$}}1 {/}{{$/$}}1 {*}{{$*$}}1 {=}{{$=$}}1
           {++}{{$\doubleplus$}}2 {/=}{{$\neq$}}2
           {>}{{$>$}}1 {<}{{$<$}}1 {\\}{{$\lambda$}}1
           {`}{{\texttt{`}}}1
           {\\\\}{{\char`\\\char`\\}}1
           {->}{{$\rightarrow$}}2 {>=}{{$\geq$}}2 {<-}{{$\leftarrow$}}2
           {<=}{{$\leq$}}2 {=>}{{$\Rightarrow$}}2
           %{\ .}{{$\circ$}}2
           {\ .\ }{{$\circ$}}2
           {>>}{{>>}}2 {>>=}{{>>=}}2
           {|}{{$\mid$}}1
}

% A virtual programming language, named after Nicolas Bourbaki, a collective
% pseudonym of a group of mathematicians, including André Weil, Henri Cartan,
% Jean Dieudonné, etc.
% https://en.wikipedia.org/wiki/Nicolas_Bourbaki
% The name emphasises its virtual, ideal, and humor

\lstdefinelanguage{Bourbaki}{
  morekeywords={abstract, case, catch, class, struct,
    and, or, not, data, void, to, loop, in, then, repeat, until,
    do, else, false, for, if, new, null, return, break,
    throw, true, try, type, val, var, while, yield },
  otherkeywords={=>,<-,<\%,<:,>:,\#,@},
  literate={+}{{$+$}}1 {/}{{$/$}}1 {*}{{$*$}}1 {=}{{$=$}}1
           {>}{{$>$}}1 {<}{{$<$}}1 {\\}{{$\lambda$}}1
           {\\\\}{{\char`\\\char`\\}}1
           {!=}{{$\neq$}}2
           {->}{{$\rightarrow$}}2 {>=}{{$\geq$}}2 {<-}{{$\leftarrow$}}2
           {<=}{{$\leq$}}2 {=>}{{$\Rightarrow$}}2
           %{\ .}{{$\circ$}}2
           {\ .\ }{{$\circ$}}2
           {|}{{$\mid$}}1,
  sensitive = true,
  morecomment=[l]{//},
  morecomment=[n]{/*}{*/},
  morestring=[b]",
  morestring=[b]'
}

\lstloadlanguages{C, C++, Java, Lisp, Haskell, Python, Bourbaki}

\lstset{
  basicstyle = \footnotesize\ttfamily,
  commentstyle = \normalsize\rmfamily,
  texcl = true,
  showstringspaces = false,
  upquote = true,
  flexiblecolumns = false
}

\lstnewenvironment{Haskell}[1][]
{\lstset{
    language = Haskell,
    style=Haskell,
    #1}}{}

\lstnewenvironment{Bourbaki}[1][]
{\lstset{
    language = Bourbaki,
    #1}}{}

\newcommand{\inlineHaskell}{\lstinline[language=Haskell, basicstyle=\ttfamily]}

\newcommand{\arrowto}[2][]{\xlongrightarrow[#1]{\displaystyle #2}}
\newcommand{\lbb}{\llparenthesis} % left banana bracket
\newcommand{\rbb}{\rrparenthesis} % right banana bracket

\newcommand{\nil}{\varnothing} % short for \varnothing

\newcommand{\lbparen}{%
  \mathopen{%
    \sbox0{$()$}%
    \setlength{\unitlength}{\dimexpr\ht0+\dp0}%
    \raisebox{-\dp0}{%
      \begin{picture}(.32,1)
      \linethickness{\fontdimen8\textfont3}
      \roundcap
      \put(0,0){\raisebox{\depth}{$($}}
      \polyline(0.32,0)(0,0)(0,1)(0.32,1)
      \end{picture}%
    }%
  }%
}

\newcommand{\rbparen}{%
  \mathclose{%
    \sbox0{$()$}%
    \setlength{\unitlength}{\dimexpr\ht0+\dp0}%
    \raisebox{-\dp0}{%
      \begin{picture}(.32,1)
      \linethickness{\fontdimen8\textfont3}
      \roundcap
      \put(-0.08,0){\raisebox{\depth}{$)$}}
      \polyline(0,0)(0.32,0)(0.32,1)(0,1)
      \end{picture}%
    }%
  }%
}

\newcommand{\llb}{\lbparen} % left lens bracket
\newcommand{\rlb}{\rbparen} % right lens bracket

% =================================================================

\def\BibTeX{{\rm B\kern-.05em{\sc i\kern-.025em b}\kern-.08em
    T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}

%
% mathematics
%
\newcommand{\be}{\begin{equation}}
\newcommand{\ee}{\end{equation}}

% numbered equation array
\newcommand{\bea}[1]{\begin{equation} \begin{array}{#1}}
\newcommand{\eea}{\end{array} \end{equation}}

% equation array not numbered
\WithSuffix\newcommand{\bea}*[1]{\[ \begin{array}{#1}}
\WithSuffix\newcommand{\eea}*{\end{array} \]}

% begin/end reasoning
\newcommand{\bre}{\[ \begin{array}{rcll}}
\newcommand{\ere}{\end{array} \]}

% begin/end long reasoning
\newcommand{\blre}{\[ \begin{array}{cll}}
\newcommand{\elre}{\end{array} \]}

% common functions
\DeclareMathOperator{\gcm}{gcm}
\DeclareMathOperator{\fold}{fold}

\newcommand{\btab}[1]{\vspace{5mm} \begin{center} \begin{tabular}{#1}}
\newcommand{\etab}{\end{tabular} \end{center} \vspace{5mm}}

\makeatletter
\newcommand{\verbatimfont}[1]{\renewcommand{\verbatim@font}{\ttfamily#1}}
\makeatother

\setcounter{tocdepth}{4}
\setcounter{secnumdepth}{4}
\renewcommand{\thesubsubsection}{} % \arabic{subsubsection}, \Alph{subsubsection}, {}
\setlength{\cftsubsubsecindent}{30pt} % indent for \subsubsection

\renewcommand{\theQuestion}{\theExercise.\arabic{Question}} % for question reference
\renewcommand{\QuestionNB}{\theExercise.\arabic{Question}.\ } % for question presentation
\crefname{Exercise}{Exercise}{Exercises}
\crefalias{Question}{Exercise}

% For Chinese Language support
\DeclareOption{cn}{

  % detect and select Chinese font
  % ------------------------------
  % fc-list :lang=zh    % list all Chinese fonts
  % fc-list :mono       % list all mono fonts
  % fc-cache            % refresh cache to load new installed fonts

  \IfFontExistsTF{Noto Serif CJK SC}{ % prefer Noto CJK for all platforms
    \message{Apply CN font: Noto CJK}
    \setCJKmainfont{Noto Serif CJK SC} % Noto Serif CJK SC (思源宋体)
    \setCJKsansfont{Noto Sans CJK SC}  % Noto Sans CJK SC(思源黑体)
    \setCJKmonofont{Noto Sans Mono CJK SC}
  }{ % else
    \ifwindows{
      \message{Apply CN font for Windows: SimSun, SimHei}
      \setCJKmainfont{SimSun} % you can replace with other font, e.g. Microsoft YaHei
      \setCJKsansfont{SimHei}
    }\else{
      % ifplatform need --shell-escape being turned on to detect Mac OS X
      \IfFontExistsTF{STSong}{
        \message{Apply CN font for Mac OS X: STSong, STHeiti, STFangsong}
        %
        % Mac OS X specific:
        % Some system fonts, e.g. STKaiti were moved to
        %    /System/Library/AssetsV2/com_apple_MobileAsset_Font7 (or Font6 in Catalina)
        % as of Monterey, we need add the path into local TeXLive configuration:
        % sudo tlmgr conf texmf OSFONTDIR /System/Library/AssetsV2/com_apple_MobileAsset_Font7
        %
        \setCJKmainfont[BoldFont=STHeiti, ItalicFont=STKaiti]{STSong} % or DengXian, Ping Fang SC
        \setCJKsansfont{STHeiti}
        \setCJKmonofont{STFangsong}
      }{ % else
        \message{Apply CN font: default}
      } % end if exits STSong
    }\fi % end if windows
  } % end if exits noto cjk

  %%   \XeTeXlinebreaklocale "zh"  % to solve the line breaking issue
  %%   \XeTeXlinebreakskip = 0pt plus 1pt minus 0.1pt

  % Simplified way to customize Chinese. Or \usepackage[chinese, english]{babel}
  % However, it need install the additional texlive-lang-chinese.

  \newtheorem{axiom}{公理}[section]
  \newtheorem{theorem}{定理}[section]
  \newtheorem{lemma}[theorem]{引理}
  \newtheorem{proposition}[theorem]{命题}
  \newtheorem{corollary}[theorem]{推论}
  \newtheorem{definition}{定义}[section]
  \newtheorem{example}{例}[section]

  \renewcommand\ExerciseName{练习}
  \renewcommand\AnswerName{答案}
  \crefname{Exercise}{练习}{练习}
  \crefname{equation}{式}{式}
  \crefname{figure}{图}{图}
  \crefname{table}{表}{表}
  \crefname{theorem}{定理}{定理}
  \crefname{lemma}{引理}{引理}
  \crefname{section}{章节}{章节}
}

\DeclareOption{en}{
  \newtheorem{axiom}{Axiom}[section]
  \newtheorem{theorem}{Theorem}[section]
  \newtheorem{lemma}[theorem]{Lemma}
  \newtheorem{proposition}[theorem]{Proposition}
  \newtheorem{corollary}[theorem]{Corollary}
  \newtheorem{definition}{Definition}[section]
  \newtheorem{example}{Example}[section]
}

\DeclareOption*{\PackageWarning{prelude}{Unknown ‘\CurrentOption’}}
\ProcessOptions\relax