summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2024-04-20 19:24:35 +0000
committerKarl Berry <karl@freefriends.org>2024-04-20 19:24:35 +0000
commitcc3dc47216aa3185f2c7ee6ce6aec4b496ff0c94 (patch)
tree6f31fffc583de6b17be8a24baa3a1d17a21ebf7a
parentda1d73cfef488019fc8d73cde2f4109871c1ec1f (diff)
profsio (20apr24)
git-svn-id: svn://tug.org/texlive/trunk@71014 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.pdfbin497255 -> 498503 bytes
-rw-r--r--Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.tex17
-rw-r--r--Master/texmf-dist/tex/latex/profsio/ProfSio.sty29
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
Binary files differ
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