From 3617595995cb2684b6a938dcbb288f658b3f9501 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Sun, 21 Apr 2024 03:01:15 +0000 Subject: CTAN sync 202404210301 --- .../pgf/contrib/profsio/doc/ProfSio-doc-fr.pdf | Bin 497255 -> 498503 bytes .../pgf/contrib/profsio/doc/ProfSio-doc-fr.tex | 17 +++++++++--- graphics/pgf/contrib/profsio/tex/ProfSio.sty | 29 +++++++++++++++------ 3 files changed, 34 insertions(+), 12 deletions(-) (limited to 'graphics/pgf') diff --git a/graphics/pgf/contrib/profsio/doc/ProfSio-doc-fr.pdf b/graphics/pgf/contrib/profsio/doc/ProfSio-doc-fr.pdf index 6f566407d8..7481152d91 100644 Binary files a/graphics/pgf/contrib/profsio/doc/ProfSio-doc-fr.pdf and b/graphics/pgf/contrib/profsio/doc/ProfSio-doc-fr.pdf differ diff --git a/graphics/pgf/contrib/profsio/doc/ProfSio-doc-fr.tex b/graphics/pgf/contrib/profsio/doc/ProfSio-doc-fr.tex index 65cdcac39e..a8212b8c56 100644 --- a/graphics/pgf/contrib/profsio/doc/ProfSio-doc-fr.tex +++ b/graphics/pgf/contrib/profsio/doc/ProfSio-doc-fr.tex @@ -5,8 +5,8 @@ \documentclass[french,a4paper,11pt]{article} \usepackage[margin=2cm,includefoot]{geometry} -\def\TPversion{0.2.4} -\def\TPdate{02 avril 2024} +\def\TPversion{0.2.6} +\def\TPdate{20 avril 2024} %\usepackage[utf8]{inputenc} %\usepackage[T1]{fontenc} \usepackage{amsmath,amssymb} @@ -84,7 +84,7 @@ morekeywords={\MPMPlaceTache,\MPMPlaceNotice,\MPMPlaceDuree,GrapheMPM,TableKarnaugh,\KarnaughCasesResult,\KarnaughBlocRegroup,\KarnaughBlocRegroupAuto,\MPMPlaceTaches,\MPMPlaceDurees,GrapheTikz,\GrphPlaceSommets,\GrphTraceAretes,\tikzset,\DiagrammeSagittal,\draw,\DiagrammeSagittalCompo,\TableVerite,\SimplificationKarnaugh,\SimplificationBooleenne,\KarnaughCasesAuto,\MatriceAdjacence,\PuissanceMatrice,\NbCheminsLongueur,\FermetureTransitive,\ResolSystemeMatrices,\PresentProdMat,\OpeBinDecHex,\ExprBool},% keywordstyle={\color{green!50!black}},% classoffset=3,% - morekeywords={CouleurDurees,CouleurFleches,LargeurCases,Epaisseur,Police,CouleurDates,CouleurBords,NoirBlanc,Grille,DecalHorizDeb,DecalVertDeb,DecalHorizFin,DecalVertFin,Coude,SensCoude,Unite,Variables,Swap,Aide,CouleurCases,Decalage,Couleur,Type,Legende,PosVarLaterale,CouleurLegende,CouleurSommets,TypeSommets,Unite,CouleurFT,DimensionSommets,PositionFleches,EchelleFleches,TypeFleche,Droit,Milieu,AngleGauche,AngleDroite,Boucle,GrphStyleArc,GrphStyleSommet,Poids,GrphStylepoids,DistElem,DistEns,LargEns,NomAppli,CouleurE,CouleurAppli,CouleurF,CouleursFleches,TypeFleche,Epaisseur,Labels,Ensembles,PosLabels,PoliceLabels,Offset,NomApplis,CouleursAppli,VF,LargeursColonnes,CouleurEnonce,CodeAvant,CodeApres,StyleAlternatif,PoliceTT,Espace,Couleurs,Contraire,Enonce,Bordure,Sommets,Num,PoliceBordure,De,Vers,Formule,Brut,NomMatrice,Longueur,Complet,NomsMatrices,NomInverse,NomSysteme,Inconnues,OptionNiceMatrix,Base,AffRetenues,AffEgal,SymbDecal,LimiteCapac,CouleurRetenue,Interm,Enonce,Decalages,Couleurs,Dense,Dernier,MathE,MathF,MathG,CouleurPlus},% + morekeywords={CouleurDurees,CouleurFleches,LargeurCases,Epaisseur,Police,CouleurDates,CouleurBords,NoirBlanc,Grille,DecalHorizDeb,DecalVertDeb,DecalHorizFin,DecalVertFin,Coude,SensCoude,Unite,Variables,Swap,Aide,CouleurCases,Decalage,Couleur,Type,Legende,PosVarLaterale,CouleurLegende,CouleurSommets,TypeSommets,Unite,CouleurFT,DimensionSommets,PositionFleches,EchelleFleches,TypeFleche,Droit,Milieu,AngleGauche,AngleDroite,Boucle,GrphStyleArc,GrphStyleSommet,Poids,GrphStylepoids,DistElem,DistEns,LargEns,NomAppli,CouleurE,CouleurAppli,CouleurF,CouleursFleches,TypeFleche,Epaisseur,Labels,Ensembles,PosLabels,PoliceLabels,Offset,NomApplis,CouleursAppli,VF,LargeursColonnes,CouleurEnonce,CodeAvant,CodeApres,StyleAlternatif,PoliceTT,Espace,Couleurs,Contraire,Enonce,Bordure,Sommets,Num,PoliceBordure,De,Vers,Formule,Brut,NomMatrice,Longueur,Complet,NomsMatrices,NomInverse,NomSysteme,Inconnues,OptionNiceMatrix,Base,AffRetenues,AffEgal,SymbDecal,LimiteCapac,CouleurRetenue,Interm,Enonce,Decalages,Couleurs,Dense,Dernier,MathE,MathF,MathG,CouleurPlus,Vide,HauteurVide},% keywordstyle={\color{orange}} },% #1 @@ -255,6 +255,10 @@ \section{Historique} +\verb|v0.2.6|~:~~~~Correction dans des simplifications de Karnaugh + +\verb|v0.2.5|~:~~~~Clé \textsf{[Vide]} pour les tables vérité, pour ne pas remplir + \verb|v0.2.4|~:~~~~Écriture (formatée) d'une expression booléenne + tables (+,×) dans une base donnée \verb| |~:~~~~Ajout de clés pour les diagrammes sagittaux et pour les tables de Karnaugh @@ -263,7 +267,7 @@ \verb| |~:~~~~Commande pour créer les blocs automatiquement avec Karnaugh -\verb|v0.2.2|~:~~~~Ajout d'une clé \textsf{Enonce} pour l'énoncé des systèmes 3×3 +\verb|v0.2.2|~:~~~~Ajout d'une clé \textsf{[Enonce]} pour l'énoncé des systèmes 3×3 \verb|v0.2.1|~:~~~~Opérations posées (en binaire, hexadécimal et décimal) @@ -1904,6 +1908,8 @@ En ce qui concerne la création du tableau, les \Cle{clés} sont : \begin{itemize} \item \Cle{VF} := pour préciser Vrai/Faux ; \hfill~défaut : \Cle{V/F} \item \Cle{Swap} := booléen pour commencer par FFF au lieu de VVV ; \hfill~défaut : \Cle{false} + \item \Cle{Vide} := booléen pour laisser le tableau non rempli ; \hfill~défaut : \Cle{false} + \item \Cle{HauteurVide} := hauteur des lignes si \Cle{Vide=true} ; \hfill~défaut : \Cle{vide} \item \Cle{LargeursColonnes} := largeur des colonnes, \Cle{auto} ou \Cle{largeurG} ou \Cle{LargeurVar/LargeurCalc} ; \hfill~défaut : \Cle{auto} @@ -1985,6 +1991,9 @@ Le tableau suivant présente les connecteurs logiques issues du package \package \end{DemoCode} \begin{DemoCode}[] +\TableVerite[Vide]% + {P,Q}{$P$,$Q$}{lognot*P,P*logand*Q}{$\lnot P$,$P \land Q$} +~~~~ \TableVerite% [CodeAvant={\columncolor{red!15}{1}\columncolor{teal!15}{4}}]% {P,Q}{$P$,$Q$}{lognot*P,P*logand*Q}{$\lnot P$,$P \land Q$} diff --git a/graphics/pgf/contrib/profsio/tex/ProfSio.sty b/graphics/pgf/contrib/profsio/tex/ProfSio.sty index ec2106caf2..2d3b5d6a17 100644 --- a/graphics/pgf/contrib/profsio/tex/ProfSio.sty +++ b/graphics/pgf/contrib/profsio/tex/ProfSio.sty @@ -3,7 +3,9 @@ % : Luatruthtable from Chetan Shirore and Dr. Ajit Kumar https://ctan.org/pkg/luatruthtable \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{ProfSio}[2024/04/02 0.2.4 Pour les enseignants de Maths en BTS SIO] +\ProvidesPackage{ProfSio}[2024/04/20 0.2.6 Pour les enseignants de Maths en BTS SIO] +%0.2.6 Correction dans les simplifications de Karnaugh +%0.2.5 Ajout de clés pour les tables de vérité, [Vide], pour ne pas le remplir %0.2.4 Ajout d'une commande pour afficher (sans simplifier) une expression booléenne + tables en base donnée + Possibilité math dans diag sagitt %0.2.3 Ajout d'une clé [Dense] pour condenser la résolution matricielle de système + commande \KarnaughBlocRegroupAuto pour créer les blocs automatiquement %0.2.2 Ajout d'une clé [enonce] pour la résolution matricielle de système (aff/naff la ligne d'énoncé) @@ -1508,7 +1510,8 @@ end LargeursColonnes=\def\TTABLElargeurs{#1},% CouleurEnonce=\def\TTABLEcoul{#1},% CodeAvant=\def\TTABLEcodebefore{#1},% - CodeApres=\def\TTABLEcodeafter{#1} + CodeApres=\def\TTABLEcodeafter{#1},% + HauteurVide=\def\TTABLEheightempty{#1},% } \setKVdefault[tableverite]{% @@ -1517,7 +1520,9 @@ end CouleurEnonce={}, CodeAvant={},% CodeApres={},% - Swap=false + Swap=false,% + Vide=false,% + HauteurVide={} } \NewDocumentCommand\TableVerite{ O{} D<>{} m m m m }{% @@ -1530,10 +1535,12 @@ end \setKV[tableverite]{#1}% \setsepchar{,}% \readlist*\TableVeriteVariables{#4}% + \xdef\TableVeriteNbLignes{\xinteval{2^(\TableVeriteVariableslen)}}% \readlist*\TableVeriteEnonce{#5}% \readlist*\TableVeriteCalculs{#6}% \StrCut{\TTABLEtruefalse}{/}{\TTTrue}{\TTFalse}% \xdef\TTNbCol{\fpeval{\TableVeriteVariableslen+\TableVeriteEnoncelen}}%\TTNbCol% + \xdef\TTNbColMu{\fpeval{\TableVeriteVariableslen+\TableVeriteEnoncelen-1}}%\TTNbCol% \IfStrEq{\TTABLElargeurs}{auto}% {% \begin{NiceTabular}[cell-space-limits=3pt,#2]{|*{\TTNbCol}{c|}}% @@ -1554,12 +1561,18 @@ end \Body \hline {\TableVeriteVariables[1]}\xintifboolexpr{\TableVeriteVariableslen==1}{}{\xintFor*##1in{\xintSeq{2}{\TableVeriteVariableslen}}\do{&\TableVeriteVariables[##1]}}&\TableVeriteCalculs[1]\xintifboolexpr{\TableVeriteCalculslen==1}{}{\xintFor*##1in{\xintSeq{2}{\TableVeriteCalculslen}}\do{&\TableVeriteCalculs[##1]}} \\ \hline - \ifboolKV[tableverite]{Swap}% + \ifboolKV[tableverite]{Vide}% {% - \GenTruthTable[trtext=\TTTrue,fltext=\TTFalse]{#3}{#5} \\ \hline + \xintFor*##1in{\xintSeq{1}{\TableVeriteNbLignes}}\do{\IfStrEq{\TTABLEheightempty}{}{}{\rule{0cm}{\TTABLEheightempty-6pt}}\xintFor*##2in{\xintSeq{2}{\TTNbCol}}\do{&}\\ \hline} }% {% - \GenTruthTable*[trtext=\TTTrue,fltext=\TTFalse]{#3}{#5} \\ \hline + \ifboolKV[tableverite]{Swap}% + {% + \GenTruthTable[trtext=\TTTrue,fltext=\TTFalse]{#3}{#5} \\ \hline + }% + {% + \GenTruthTable*[trtext=\TTTrue,fltext=\TTFalse]{#3}{#5} \\ \hline + }% }% \CodeAfter \IfStrEq{\TTABLEcodeafter}{}{}{\TTABLEcodeafter}% @@ -2024,7 +2037,7 @@ end \IfSubStr{\knghbintransf}{(BB)}{\xdef\knghbinres{\inteval{\knghbinres+11001100}}}{}% \IfSubStr{\knghbintransf}{(CC)}{\xdef\knghbinres{\inteval{\knghbinres+01100110}}}{}% \IfSubStr{\knghbintransf}{(AA*)}{\xdef\knghbinres{\inteval{\knghbinres+00001111}}}{}% - \IfSubStr{\knghbintransf}{(BB*}{\xdef\knghbinres{\inteval{\knghbinres+00110011}}}{}% + \IfSubStr{\knghbintransf}{(BB*)}{\xdef\knghbinres{\inteval{\knghbinres+00110011}}}{}% \IfSubStr{\knghbintransf}{(CC*)}{\xdef\knghbinres{\inteval{\knghbinres+10011001}}}{}% %calculs pour 2 lettres \IfSubStr{\knghbintransf}{(AABB)}{\xdef\knghbinres{\inteval{\knghbinres+11000000}}}{}% @@ -2816,7 +2829,7 @@ end %===ÉCRITURES CHEMINS \NewDocumentCommand\EcritureChemin{ O{\,--\,} m }{% - \StrSubstitute{#2}{/}{#1}% + \StrSubstitute{#2}{/}{#1}\relax% } \endinput \ No newline at end of file -- cgit v1.2.3