src/Divers.mp

   1 vardef CommandeVide(expr commande)=
   2   save $;
   3   picture $,texto,TEXT;
   4   texto=image(
   5       label.lrt(LATEX("\Large "&if numeric commande:decimal(commande) else: commande fi&""),if unknown _coinprec: (0,0) else:_coinprec fi);
   6   );
   7 TEXT=image(
   8     draw texto;
   9   path cadre;
  10   cadre=(llcorner texto+(-eb,0))--(llcorner texto+(0,-eb))--
  11     (llcorner texto+(0.375cm,0)+(-eb,-eb))--
  12     (llcorner texto+(0.375cm,0)+(0,-2eb))--
  13     (llcorner texto+(0.625cm,0)+(0,-2eb))--
  14     (llcorner texto+(0.625cm,0)+(eb,-eb))--
  15     (lrcorner texto+(0,-eb))--(lrcorner texto+(eb,0))--(urcorner texto+(eb,0))--(urcorner texto+(0,eb))--
  16     (ulcorner texto+(0.625cm,0)+(eb,eb))--
  17     (ulcorner texto+(0.625cm,0))--
  18     (ulcorner texto+(0.375cm,0))--
  19     (ulcorner texto+(0.375cm,0)+(-eb,eb))--
  20     (ulcorner texto+(0,eb))--(ulcorner texto+(-eb,0))--cycle;
  21   fill cadre withcolor white;
  22   draw cadre;
  23   );
  24 $=TEXT shifted (if unknown _coinprec:(0,0) else :_coinprec fi - ulcorner TEXT);
  25 _coinprec:=llcorner $;
  26 _coinprec:=_coinprec+(0,eb);
  27 $
  28 enddef;
  29
  30 vardef LigneVide(expr commande)=
  31   save $;
  32   picture $,texto,TEXT;
  33   texto=image(
  34       label.lrt(LATEX("\Large "&if numeric commande:decimal(commande) else: commande fi&""),if unknown _coinprec: (0,0) else:_coinprec fi);
  35   );
  36 TEXT=image(
  37     path cadre;
  38   cadre=(llcorner texto+(-eb,0))--(llcorner texto+(0,-eb))--
  39     (llcorner texto+(0.375cm,0)+(-eb,-eb))--
  40     (llcorner texto+(0.375cm,0)+(0,-2eb))--
  41     (llcorner texto+(0.625cm,0)+(0,-2eb))--
  42     (llcorner texto+(0.625cm,0)+(eb,-eb))--
  43     (lrcorner texto+(0,-eb))--(lrcorner texto+(eb,0))--(urcorner texto+(eb,0))--(urcorner texto+(0,eb))--
  44     (ulcorner texto+(0.625cm,0)+(eb,eb))--
  45     (ulcorner texto+(0.625cm,0))--
  46     (ulcorner texto+(0.375cm,0))--
  47     (ulcorner texto+(0.375cm,0)+(-eb,eb))--
  48     (ulcorner texto+(0,eb))--(ulcorner texto+(-eb,0))--cycle;
  49   fill cadre withcolor white;
  50   );
  51 $=TEXT shifted (if unknown _coinprec:(0,0) else :_coinprec fi - ulcorner TEXT);
  52 _coinprec:=llcorner $;
  53 _coinprec:=_coinprec+(0,eb);
  54 $
  55 enddef;