X-Git-Url: https://melusine.eu.org/syracuse/G/git/?p=mp-gdd.git;a=blobdiff_plain;f=doc%2Fmp-gdd-doc.tex;h=1116a145ad9db9fdf6ae0c40806f07a0e2528a41;hp=b9ac1d499f8ba6edebca6830811a04f2957c770e;hb=6639f7110576d52cbf6516ef3036bd769bb4cb46;hpb=768f786570d4fce5be81aae1de022fbda87b70c0 diff --git a/doc/mp-gdd-doc.tex b/doc/mp-gdd-doc.tex index b9ac1d4..1116a14 100644 --- a/doc/mp-gdd-doc.tex +++ b/doc/mp-gdd-doc.tex @@ -3,10 +3,51 @@ \usepackage[charter]{mathdesign} \usepackage[margin=2.5cm]{geometry} \usepackage{xspace} +\usepackage{xcolor} \usepackage{multicol} +\usepackage{listings} +\usepackage{showexpl} % examples \usepackage{mflogo} \usepackage[frenchb]{babel} + +\definecolor{hellgelb}{rgb}{1,1,0.85} +\definecolor{colKeys}{rgb}{0,0,1} +\definecolor{colIdentifier}{rgb}{0,0,0} +\definecolor{colComments}{rgb}{1,0,0} +\definecolor{colString}{rgb}{0,0.5,0} + + +\lstset{% + language=metapost,% + float=hbp,% + basicstyle=\ttfamily\small, % + identifierstyle=\color{colIdentifier}, % + keywordstyle=\color{colKeys}, % + stringstyle=\color{colString}, % + commentstyle=\color{colComments}, % + columns=flexible, % + tabsize=4, % + frame=single, % + extendedchars=true, % + showspaces=false, % + showstringspaces=false, % + % numbers=left, + % numbersep=0.8em, + % numberstyle=\tiny, % + breaklines=true, % + breakautoindent=true, + captionpos=b, + xleftmargin=1em +} +\lstset{explpreset={pos=t,wide=false,rframe={},preset=\centering}} +\lstdefinestyle{syntax}{backgroundcolor=\color{blue!15},numbers=none,xleftmargin=0pt,xrightmargin=0pt, + frame=single} +\lstdefinestyle{code}{backgroundcolor=\color{red!15},%numbers=left, + xleftmargin=0pt,xrightmargin=0pt, + frame=single} + + \newcommand\mpgdd{\texttt{mpgdd}\xspace} \newcommand\fichier[1]{\texttt{#1}} \newcommand\variable[1]{\texttt{#1}} @@ -21,18 +62,19 @@ ensemble se compose de plusieurs fichiers : \begin{enumerate} -\item \fichier{gdd.mp} : c'est le fichier principale, il contient +\item \fichier{gdd.mp} : c'est le fichier principal, il contient les structures et fonctions générales. \item \fichier{gdd-arc.mp} : contient tout ce qui concerne les arcs de cercles. \item \fichier{gdd-c2d.mp} : - contient tout ce qui concerne les courbes du second degré. + contient tout ce qui concerne les courbes du second degré. \item \fichier{gdd-fct.mp} : contient quelques fonctions mathématiques usuelles. \item \fichier{gdd-lbl.mp} : contient les fonctions relatives aux labels. \item \fichier{gdd-plt.mp} : - contient des fonctions facilitant la représentation de fonctions mathématiques. + contient des fonctions facilitant la représentation de fonctions + mathématiques. \item \fichier{gdd-rep.mp} contient différents outils pour le tracé de figure dans un repère. \item \fichier{gdd-tra.mp} @@ -40,7 +82,6 @@ ensemble se compose de plusieurs fichiers : emprunté à Anthony \bsc{Phan}). \end{enumerate} - Nous allons, dans la suite, décrire plus en détails chacune de ces fonctions. Il est à noté aussi que certaines fonctions s'appuient sur l'extension \fichier{graph.mp} présent dans toutes les bonnes @@ -48,11 +89,11 @@ distributions \TeX. \section{Principe général de fonctionnement} -\mpgdd utilise des tables comme stucture principale. +\mpgdd utilise des tables comme structure principale. Chaque objet est numéroté via le compteur \variable{gddO}, son type\footnote{Les types son propres à \mpgdd et seront décrit plus tard.} est stocké dans la table \variable{gddT[]} à la place -\variable{gddT[gddO]}. Les propriétés des objets sont définis dans, là +\variable{gddT[gddO]}. Les propriétés des objets sont définies dans, là encore, des tables de type \typeMP{numeric} qui sont \variable{gddA[]}, \variable{gddB[]},\dots,\variable{gddF[]}. @@ -69,6 +110,28 @@ toutes ces tables n'est pas chose courante. \section{Les types} +On peut, avec \mpgdd, construire plusieurs types +d'objets. Rappelons le, tout est \emph{objet} dont le nombre est +enregistré dans la variable \variable{gddO}. Le type d'objet, lui, est +stocké dans la table \variable{gddT[]}, et les tables \variable{gddA[]} +à \variable{gddF[]} contiennent les propriétés des objets. + +Nous allons ici décrire chaque type de l'extension \mpgdd ainsi que +leurs propriétés respectives. + +\paragraph{Le type \typeGDD{point}} Ce type correspond au point de +l'espace euclidien. Pour être plus clair voici la fonction principale +pour créer un tel objet : +% +\begin{lstlisting} +vardef Point(expr a,b) = + gddT[incr gddO] = "point"; + gddA[gddO] = a; gddB[gddO] = b; gddO +enddef; +\end{lstlisting} + +\LTXinputExample[graphic=../exemples/cercles/cercles1-1.pdf,pos=r]{../exemples/cercles/cercles1.mp} + \section{Fonctions générales} \subsection{Relatives aux \typeGDD{Point}s}