X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/b676f2dfbaa1aac981210c603bb6407d357a0340..a8257bb17a1098f69625387a467170cac4b9f483:/doc/tutorial.rst diff --git a/doc/tutorial.rst b/doc/tutorial.rst index 977b697..9b55a03 100644 --- a/doc/tutorial.rst +++ b/doc/tutorial.rst @@ -5,9 +5,11 @@ Tutorial ======== This section a short introduction to some of LinPy's features. -For a comprehensive description of its functionalities, please consult the :ref:`reference` section. +For a comprehensive description of its functionalities, please consult the :ref:`reference`. +.. _tutorial_polyhedra: + Polyhedra --------- @@ -57,6 +59,8 @@ True False +.. _tutorial_domains: + Domains ------- @@ -79,6 +83,8 @@ Or(And(Eq(x, 0), Ge(y, 0), Ge(-y + 2, 0)), And(Eq(y, 0), Ge(x - 1, 0), Ge(-x + 2 Or(Ge(-x - 1, 0), Ge(x - 3, 0), And(Ge(x, 0), Ge(-x + 2, 0), Ge(-y - 1, 0)), And(Ge(x, 0), Ge(-x + 2, 0), Ge(y - 3, 0))) +.. _tutorial_plot: + Plotting --------