unibs-analisi2.sty

\ProvidesPackage{unibs-analisi2}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%         Mostly standard LaTeX packages          %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage[left = 2cm, right = 2cm, bottom = 3cm]{geometry}
\usepackage{babel}
\usepackage[babel,italian=quotes]{csquotes} % Change quotation marks to italian ones
\usepackage[toc,page]{appendix}
\usepackage{epigraph}
\usepackage{enumitem}
\usepackage{amsthm,amssymb}
\usepackage{imakeidx}
\makeindex % makeindex has to be here as it conflicts with tikz externalization and must be issued before tikz extern lib is loaded
\usepackage[makeroom]{cancel} % Used for cancelled math formulas
\usepackage{xcolor}
\usepackage{mathtools,thmtools}
\usepackage{shellesc} % Used to embed TikZ external with LuaLaTeX
\usepackage{tikz}
\usetikzlibrary{external,matrix,fit,quotes,babel,angles} % external requires --shell-escape LaTeX compiler switch
\tikzexternalize[prefix=build/]
\usepackage{pgfplots}
\pgfplotsset{compat=1.16}
\usepgfplotslibrary{fillbetween}
\usepackage{graphicx}
\graphicspath{{images/}}
\usepackage{float} % Used for precise placement of floating figures
\usepackage{subcaption} % Used to put multiple subfigures inside the same figure env
\captionsetup[subfigure]{justification=centering}
\usepackage{accents}
\usepackage{luatex85} % These bindings are needed for the changebar package
\usepackage[xcolor, outerbars]{changebar}
\usepackage[type={CC},modifier={by-nc-sa},version={4.0}]{doclicense}
\usepackage[stretch=10]{microtype} % Better impagination due to micro font shrinking and stretching
\usepackage[pdfencoding=auto]{hyperref} % Hyperref has to be the latest loaded package
\usepackage[capitalise]{cleveref} % Except for cleverref, which requires hyperref

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Content formatting and theorem numbering rules  %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\counterwithout{section}{chapter}

\newtheoremstyle{break}% Custom theorem style to put thesis on a new line after the title.
	{}%         Space above, empty = `usual value'
	{}%         Space below
	{}%         Body font
	{}%         Indent amount (empty = no indent, \parindent = para indent)
	{\bfseries}% Thm head font
	{}%        Punctuation after thm head
	{\newline}% Space after thm head: \newline = linebreak
	{}%         Thm head spec
\theoremstyle{break}
\newtheorem{theorem}{Teorema}[section]
\newtheorem{definition}[theorem]{Definizione}
\newtheorem{proposition}[theorem]{Proposizione}
\newtheorem{observation}[theorem]{Osservazione}
\newtheorem{corollary}[theorem]{Corollario}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{example}[theorem]{Esempio}
\newtheorem{exercise}[theorem]{Esercizio}
\numberwithin{equation}{theorem}
\numberwithin{figure}{section}
\newtheoremstyle{note}
	{ } % space above note
	{ } % space below note
	{\normalfont\small\addtolength{\leftskip}{1em}} % body font and position
	{ } % space to indent the head
	{\itshape\bfseries\color{orange}} % head font
	{.} % punctuation between head and body
	{ } % space after theorem head; " " = normal interword space
	{ } % Manually specify head
\theoremstyle{note}
\newtheorem*{note}{Nota}
% Trick the following paragraph into believing it follows a heading, thus not adding pars or indentation
% Thanks to cgnieder from https://tex.stackexchange.com/a/126487/206062
\AfterEndEnvironment{note}{\@afterindentfalse\@afterheading}

\newenvironment{solution}
	{
		\renewcommand\qedsymbol{$\blacksquare$}
		\begin{proof}[Soluzione]
	}{
		\end{proof}
	}

\definecolor{not_explained_section_color}{HTML}{007002}
\cbcolor{not_explained_section_color}
\setlength{\changebarsep}{15pt}
\setlength{\changebarwidth}{10pt}

% Automatic conversion of double quotes to `` " with csquotes package.
% No need for inner quotes since there are no uses in this document.
\MakeOuterQuote{"}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                    Commands                     %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\norm}[1] {\left\|#1\right\|}
\newcommand{\abs}[1] {\left|#1\right|}
\newcommand{\brackets}[1] {\left\{#1\right\}}

\newcommand{\R}{\mathbb{R}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\C}{\mathbb{C}}

\newcommand{\integrald}[1]{\,\mathrm{d}{#1}}

\newcommand{\cntclass}[1] {\mathbf{C^{#1}}} % Continuity classes formalism

\newcommand{\intervalopen}[2] {\left]#1,#2\right[}
\newcommand{\intervalclose}[2] {\left[#1,#2\right]}
\newcommand{\intervalclop}[2] {\left[#1,#2\right[}
\newcommand{\intervalopcl}[2] {\left]#1,#2\right]}
\newcommand{\trigonpol}[3] {\frac{a_0}{2}+\sum\limits_{#1=#2}^{#3}a_{#1}cos(#1x)+b_{#1}sin(#1x)}

\newcommand{\bydef}{\rightleftharpoons}

\newcommand{\rvect}[1]{\begin{bmatrix} #1 \end{bmatrix}}

\newcommand{\circdot}[1]{\accentset{\circ}{#1}}

\newcommand*{\uconvarrow}{\overset{\text{u}}{\to}}
\newcommand*{\pconvarrow}{\overset{\text{p}}{\to}}
% Thanks to Werner from https://tex.stackexchange.com/a/47091/206062
\newcommand{\notimplies}{\mathrel{{\ooalign{\hidewidth$\not\phantom{=}$\hidewidth\cr$\implies$}}}}

\DeclareMathOperator{\diam}{diam}
\DeclareMathOperator{\grad}{grad}
\DeclareMathOperator{\mat}{Mat}
\DeclareMathOperator{\dom}{Dom}
\DeclareMathOperator{\id}{Id}
\DeclareMathOperator{\rank}{rank}

% Append the following to an equation in align* blocks to allow tagging single eq.
\newcommand*{\tageq}{\refstepcounter{equation}\tag{\theequation}}

% Use the following to reference stuff with its name appended.
\makeatletter
	\newcommand{\fullref}{\@ifstar\fullrefStar\fullrefNoStar}
\makeatother
% Thanks to Oberdiek from https://tex.stackexchange.com/a/66096/206062
% Text only version
\newcommand*{\fullrefStar}[1]{%
	\autoref*{#1}%
	\if\vcenter\getrefbykeydefault{#1}{name}{}\vcenter
	\else
		~(\nameref*{#1})%
	\fi
}
% Text with link
\newcommand*{\fullrefNoStar}[1]{%
	\hyperref[{#1}]{%
		\autoref*{#1}%
		\if\vcenter\getrefbykeydefault{#1}{name}{}\vcenter
		\else
			~(\nameref*{#1})%
		\fi
	}%
}

% Same as the above command, but "Inverted"
% Will yield something like: Funzione Continua (Definizione 1.1)
\newcommand*{\reffull}[1]{%
	\hyperref[{#1}]{%
		\if\vcenter\getrefbykeydefault{#1}{name}{}\vcenter
		\else
			\nameref*{#1}%
		\fi
		~(\autoref*{#1})%
	}%
}

% This command is a helper to formally declare functions
\newcommand{\funcdef}[5]{%
	\begin{array}{ccccc}
		{#1}	&	:	&	{#2}	& \to		& {#3} \\
				&		&	{#4}	& \mapsto	& {#5} \\
	\end{array}
}

% Display text "Nota" as in note environment heading
\newcommand*{\notestyle}{{\itshape\bfseries Nota}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%              Translation settings               %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\addto{\captionsitalian}{\renewcommand{\appendixpagename}{Appendici}}
\addto{\captionsitalian}{\renewcommand{\appendixtocname}{Appendici}}
% Due to the above renews, autoref looks for
% \Appendiceautorefname instead of \Appendixautorefname
\newcommand*{\Appendiceautorefname}{Appendice}