profsio (20apr24)

git-svn-id: svn://tug.org/texlive/trunk@71014 c570f23f-e606-0410-a88d-b1316a301751

3 files changed, 34 insertions, 12 deletions

diff --git a/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.pdf b/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.pdf
index 6f566407d82..7481152d915 100644
--- a/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.pdf
+++ b/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.pdf
diff --git a/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.tex b/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.tex
index 65cdcac39ec..a8212b8c569 100644
--- a/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.tex
+++ b/Master/texmf-dist/doc/latex/profsio/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/Master/texmf-dist/tex/latex/profsio/ProfSio.sty b/Master/texmf-dist/tex/latex/profsio/ProfSio.sty
index ec2106caf24..2d3b5d6a17c 100644
--- a/Master/texmf-dist/tex/latex/profsio/ProfSio.sty
+++ b/Master/texmf-dist/tex/latex/profsio/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