Compare commits
2 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
2b23ebf562
|
|||
|
15c3bf45ff
|
13
.gitignore
vendored
13
.gitignore
vendored
@ -1,16 +1,3 @@
|
||||
__pycache__/
|
||||
*.tar
|
||||
*.class
|
||||
*.toc
|
||||
*.synctex.gz
|
||||
*.snm
|
||||
*.out
|
||||
*.aux
|
||||
*.fbd_latexmk
|
||||
*.fls
|
||||
*.log
|
||||
*.nav
|
||||
*.fdb_latexmk
|
||||
a.out
|
||||
*.o
|
||||
ex[0-9]
|
||||
|
||||
3
.gitmodules
vendored
3
.gitmodules
vendored
@ -1,3 +0,0 @@
|
||||
[submodule "bac2/latex/beamer-umons"]
|
||||
path = bac2/latex/beamer-umons
|
||||
url = git@github.com:Chris00/beamer-umons
|
||||
9
bac1/q2/algo/.idea/algo.iml
generated
9
bac1/q2/algo/.idea/algo.iml
generated
@ -1,9 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<module type="JAVA_MODULE" version="4">
|
||||
<component name="NewModuleRootManager" inherit-compiler-output="true">
|
||||
<exclude-output />
|
||||
<content url="file://$MODULE_DIR$" />
|
||||
<orderEntry type="inheritedJdk" />
|
||||
<orderEntry type="sourceFolder" forTests="false" />
|
||||
</component>
|
||||
</module>
|
||||
7
bac1/q2/algo/.idea/misc.xml
generated
7
bac1/q2/algo/.idea/misc.xml
generated
@ -1,7 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<project version="4">
|
||||
<component name="MarkdownSettingsMigration">
|
||||
<option name="stateVersion" value="1" />
|
||||
</component>
|
||||
<component name="ProjectRootManager" version="2" project-jdk-name="20" project-jdk-type="JavaSDK" />
|
||||
</project>
|
||||
8
bac1/q2/algo/.idea/modules.xml
generated
8
bac1/q2/algo/.idea/modules.xml
generated
@ -1,8 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<project version="4">
|
||||
<component name="ProjectModuleManager">
|
||||
<modules>
|
||||
<module fileurl="file://$PROJECT_DIR$/.idea/algo.iml" filepath="$PROJECT_DIR$/.idea/algo.iml" />
|
||||
</modules>
|
||||
</component>
|
||||
</project>
|
||||
6
bac1/q2/algo/.idea/vcs.xml
generated
6
bac1/q2/algo/.idea/vcs.xml
generated
@ -1,6 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<project version="4">
|
||||
<component name="VcsDirectoryMappings">
|
||||
<mapping directory="$PROJECT_DIR$/../.." vcs="Git" />
|
||||
</component>
|
||||
</project>
|
||||
9
bac1/q2/algo/hashmap/.idea/misc.xml
generated
9
bac1/q2/algo/hashmap/.idea/misc.xml
generated
@ -1,9 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<project version="4">
|
||||
<component name="MarkdownSettingsMigration">
|
||||
<option name="stateVersion" value="1" />
|
||||
</component>
|
||||
<component name="ProjectRootManager" version="2" languageLevel="JDK_X" default="true" project-jdk-name="20" project-jdk-type="JavaSDK">
|
||||
<output url="file://$PROJECT_DIR$/out" />
|
||||
</component>
|
||||
</project>
|
||||
8
bac1/q2/algo/hashmap/.idea/modules.xml
generated
8
bac1/q2/algo/hashmap/.idea/modules.xml
generated
@ -1,8 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<project version="4">
|
||||
<component name="ProjectModuleManager">
|
||||
<modules>
|
||||
<module fileurl="file://$PROJECT_DIR$/hashmap.iml" filepath="$PROJECT_DIR$/hashmap.iml" />
|
||||
</modules>
|
||||
</component>
|
||||
</project>
|
||||
@ -1,36 +0,0 @@
|
||||
import java.util.Iterator;
|
||||
import java.util.LinkedList;
|
||||
|
||||
public class HashMap {
|
||||
LinkedList<HashEntry>[] tab;
|
||||
Iterator iter;
|
||||
|
||||
class HashEntry{
|
||||
public Object key, value;
|
||||
}
|
||||
|
||||
class MyHashMapIterator implements Iterator{
|
||||
int i;
|
||||
|
||||
public MyHashMapIterator(){
|
||||
while(i<tab.length){
|
||||
if(tab[i] == null)
|
||||
continue;
|
||||
return;
|
||||
}
|
||||
}
|
||||
|
||||
@Override
|
||||
public boolean hasNext() {
|
||||
if(i >= tab.length)
|
||||
return false;
|
||||
}
|
||||
|
||||
@Override
|
||||
public Object next() {
|
||||
}
|
||||
}
|
||||
public static void main(String[] args) {
|
||||
|
||||
}
|
||||
}
|
||||
@ -1,11 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<module type="GENERAL_MODULE" version="4">
|
||||
<component name="NewModuleRootManager" inherit-compiler-output="true">
|
||||
<exclude-output />
|
||||
<content url="file://$MODULE_DIR$">
|
||||
<sourceFolder url="file://$MODULE_DIR$" isTestSource="false" />
|
||||
</content>
|
||||
<orderEntry type="inheritedJdk" />
|
||||
<orderEntry type="sourceFolder" forTests="false" />
|
||||
</component>
|
||||
</module>
|
||||
8
bac1/q2/algo/tp2/recursif/.idea/.gitignore
generated
vendored
8
bac1/q2/algo/tp2/recursif/.idea/.gitignore
generated
vendored
@ -1,8 +0,0 @@
|
||||
# Default ignored files
|
||||
/shelf/
|
||||
/workspace.xml
|
||||
# Editor-based HTTP Client requests
|
||||
/httpRequests/
|
||||
# Datasource local storage ignored files
|
||||
/dataSources/
|
||||
/dataSources.local.xml
|
||||
8
bac1/q2/algo/tp7/spirale/.idea/.gitignore
generated
vendored
8
bac1/q2/algo/tp7/spirale/.idea/.gitignore
generated
vendored
@ -1,8 +0,0 @@
|
||||
# Default ignored files
|
||||
/shelf/
|
||||
/workspace.xml
|
||||
# Editor-based HTTP Client requests
|
||||
/httpRequests/
|
||||
# Datasource local storage ignored files
|
||||
/dataSources/
|
||||
/dataSources.local.xml
|
||||
6
bac1/q2/algo/tp7/spirale/.idea/vcs.xml
generated
6
bac1/q2/algo/tp7/spirale/.idea/vcs.xml
generated
@ -1,6 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<project version="4">
|
||||
<component name="VcsDirectoryMappings">
|
||||
<mapping directory="$PROJECT_DIR$/../../.." vcs="Git" />
|
||||
</component>
|
||||
</project>
|
||||
@ -1,5 +0,0 @@
|
||||
# TP3
|
||||
|
||||
1) Car c'est un exposant de 2.
|
||||
La memoire fonctionnant en binaire, pour chaques bits ajoutes, nous obtenons une capacites deux fois plus grande
|
||||
|
||||
Binary file not shown.
Submodule bac2/latex/beamer-umons deleted from 4eda91b637
@ -1,49 +0,0 @@
|
||||
% Copyright 2009 by C. Troestler <Christophe.Troestler@umons.ac.be>
|
||||
% This file is under GNU GPL v3 or later.
|
||||
|
||||
\mode<presentation>
|
||||
|
||||
\definecolor{umons-red}{RGB}{168, 0, 57}
|
||||
\definecolor{umons-turquoise}{RGB}{0, 171, 204}
|
||||
\definecolor{umons-gray}{RGB}{150, 150, 150}
|
||||
|
||||
\setbeamercolor{alerted text}{fg=umons-red}
|
||||
|
||||
\setbeamercolor*{palette primary}{fg=black, bg=umons-turquoise}
|
||||
\setbeamercolor*{palette secondary}{fg=black, bg=umons-turquoise}
|
||||
\setbeamercolor*{palette tertiary}{fg=umons-gray!30, bg=umons-red!80!black}
|
||||
\setbeamercolor*{palette quaternary}{fg=black, bg=umons-gray!15}
|
||||
|
||||
\setbeamercolor*{upper separation line head left}{parent=palette tertiary}
|
||||
\setbeamercolor*{upper separation line head right}{parent=palette primary}
|
||||
\setbeamercolor{title}{fg=umons-red}
|
||||
%\setbeamercolor*{titlelike}{fg=umons-red}
|
||||
\setbeamercolor{frametitle}{fg=umons-red, bg=white}
|
||||
\setbeamercolor{frametitle right}{bg=yellow!60!orange}
|
||||
\setbeamercolor{structure}{fg=umons-turquoise}
|
||||
|
||||
\setbeamercolor{block title}{fg=umons-turquoise, bg=umons-gray!30}
|
||||
\setbeamercolor{block body}{fg=black, bg=umons-gray!15}
|
||||
\setbeamercolor{block title example}{fg=black, bg=umons-gray!30}
|
||||
\setbeamercolor{block body example}{fg=black, bg=umons-gray!15}
|
||||
\setbeamercolor{block title alerted}{fg=white, bg=umons-red}
|
||||
\setbeamercolor{block body alerted}{fg=black, bg=umons-red!10}
|
||||
|
||||
\setbeamercolor{itemize subitem}{fg=umons-gray}
|
||||
|
||||
|
||||
\setbeamercolor*{separation line}{}
|
||||
\setbeamercolor*{fine separation line}{}
|
||||
|
||||
\setbeamercolor*{sidebar}{fg=umons-red,bg=orange!75!white}
|
||||
|
||||
\setbeamercolor*{sidebar}{fg=umons-red,bg=orange!75!white}
|
||||
|
||||
\setbeamercolor*{palette sidebar primary}{fg=umons-red!10!black}
|
||||
\setbeamercolor*{palette sidebar secondary}{fg=white}
|
||||
\setbeamercolor*{palette sidebar tertiary}{fg=umons-red!50!black}
|
||||
\setbeamercolor*{palette sidebar quaternary}{fg=yellow!10!orange}
|
||||
|
||||
|
||||
\mode
|
||||
<all>
|
||||
@ -1,91 +0,0 @@
|
||||
% Based on the "infolines" outer theme.
|
||||
|
||||
\newif\ifbeamer@UMONS@navigation
|
||||
\beamer@UMONS@navigationfalse
|
||||
|
||||
\DeclareOptionBeamer{navigation}[true]{%
|
||||
\csname beamer@UMONS@navigation#1\endcsname}
|
||||
|
||||
\newif\ifbeamer@UMONS@nosubsection
|
||||
\beamer@UMONS@nosubsectionfalse
|
||||
\DeclareOptionBeamer{no-subsection}[true]{%
|
||||
\csname beamer@UMONS@nosubsection#1\endcsname}
|
||||
|
||||
\newif\ifbeamer@UMONS@nototalframenumber
|
||||
\beamer@UMONS@nototalframenumberfalse
|
||||
|
||||
\DeclareOptionBeamer{no-totalframenumber}[true]{%
|
||||
\csname beamer@UMONS@nototalframenumber#1\endcsname}
|
||||
|
||||
\ProcessOptionsBeamer
|
||||
|
||||
|
||||
\mode<presentation>
|
||||
|
||||
\setbeamercolor*{author in head/foot}{parent=palette tertiary}
|
||||
\setbeamercolor*{title in head/foot}{parent=palette secondary}
|
||||
\setbeamercolor*{date in head/foot}{parent=palette primary}
|
||||
|
||||
\setbeamercolor*{section in head/foot}{parent=palette quaternary}
|
||||
\setbeamercolor*{subsection in head/foot}{parent=palette primary}
|
||||
|
||||
\defbeamertemplate*{footline}{UMONS theme}
|
||||
{
|
||||
\leavevmode%
|
||||
\hbox{%
|
||||
% Left box (author and institute)
|
||||
\begin{beamercolorbox}[wd=.25\paperwidth,ht=2.25ex,dp=1ex,center]{%
|
||||
author in head/foot}%
|
||||
\usebeamerfont{author in head/foot}%
|
||||
\insertshortauthor
|
||||
\beamer@ifempty{\insertshortinstitute}{}{~~\insertshortinstitute}%
|
||||
\end{beamercolorbox}%
|
||||
% Central box (presentation title)
|
||||
\begin{beamercolorbox}[wd=.52\paperwidth,ht=2.25ex,dp=1ex,center]{%
|
||||
title in head/foot}%
|
||||
\usebeamerfont{title in head/foot}\insertshorttitle
|
||||
\end{beamercolorbox}%
|
||||
% Right box (date and pages)
|
||||
\begin{beamercolorbox}[wd=.23\paperwidth,ht=2.25ex,dp=1ex,right]{%
|
||||
date in head/foot}%
|
||||
\usebeamerfont{date in head/foot}\insertshortdate{}\hspace*{2em}
|
||||
\insertframenumber
|
||||
\ifbeamer@UMONS@nototalframenumber\else ~/~\inserttotalframenumber\fi
|
||||
\hspace*{2ex}
|
||||
\end{beamercolorbox}}%
|
||||
\vskip0pt%
|
||||
}
|
||||
|
||||
\defbeamertemplate*{headline}{UMONS theme}
|
||||
{
|
||||
\leavevmode%
|
||||
\hbox{%
|
||||
\begin{beamercolorbox}[wd=.25\paperwidth,ht=1ex,dp=0ex]{%
|
||||
upper separation line head left}%
|
||||
\end{beamercolorbox}%
|
||||
\begin{beamercolorbox}[wd=.75\paperwidth,ht=1ex,dp=0ex]{%
|
||||
upper separation line head right}%
|
||||
\end{beamercolorbox}}%
|
||||
\vskip0pt
|
||||
\ifbeamer@UMONS@navigation
|
||||
\begin{beamercolorbox}[colsep=1.5pt]{upper separation line head}
|
||||
\end{beamercolorbox}%
|
||||
% Box for section titles and possibly subtitles (for fast navigation)
|
||||
\begin{beamercolorbox}{section in head/foot}
|
||||
\ifbeamer@UMONS@nosubsection
|
||||
\insertsectionnavigationhorizontal{\paperwidth}{%
|
||||
\vspace*{2pt}}{\vspace*{2pt}}%
|
||||
\else
|
||||
\vspace*{2pt}\insertnavigation{\paperwidth}\vspace*{2pt}%
|
||||
\fi
|
||||
\end{beamercolorbox}%
|
||||
\begin{beamercolorbox}[colsep=1.5pt]{lower separation line head}
|
||||
\end{beamercolorbox}%
|
||||
\fi
|
||||
}
|
||||
|
||||
\setbeamertemplate{mini frames}[box]
|
||||
\setbeamersize{text margin left=1em,text margin right=1em}
|
||||
|
||||
\mode
|
||||
<all>
|
||||
@ -1,30 +0,0 @@
|
||||
% Copyright 2009 by C. Troestler <Christophe.Troestler@umons.ac.be>
|
||||
% This file is under GNU GPL v3 or later.
|
||||
|
||||
\mode<presentation>
|
||||
|
||||
% Display a navigation bar
|
||||
\def\beamer@themeUMONS@navigation{false}
|
||||
\DeclareOptionBeamer{navigation}[true]{%
|
||||
\def\beamer@themeUMONS@navigation{#1}}
|
||||
|
||||
% Do not display "boxes" to go to subsections in the navigation bar.
|
||||
\def\beamer@themeUMONS@nosubsection{false}
|
||||
\DeclareOptionBeamer{no-subsection}[true]{%
|
||||
\def\beamer@themeUMONS@nosubsection{#1}}
|
||||
|
||||
% Do not display the total number of pages.
|
||||
\def\beamer@themeUMONS@nototalframenumber{false}
|
||||
\DeclareOptionBeamer{no-totalframenumber}[true]{%
|
||||
\def\beamer@themeUMONS@nototalframenumber{#1}}
|
||||
|
||||
\ProcessOptionsBeamer
|
||||
|
||||
\useinnertheme{rectangles}
|
||||
\usecolortheme{UMONS}
|
||||
\useoutertheme[navigation=\beamer@themeUMONS@navigation,
|
||||
no-subsection=\beamer@themeUMONS@nosubsection,
|
||||
no-totalframenumber=\beamer@themeUMONS@nototalframenumber]{UMONS}
|
||||
|
||||
|
||||
\mode<all>
|
||||
@ -1,5 +0,0 @@
|
||||
\relax
|
||||
\providecommand\babel@aux[2]{}
|
||||
\@nameuse{bbl@beforestart}
|
||||
\babel@aux{nil}{}
|
||||
\gdef \@abspage@last{1}
|
||||
@ -1,213 +0,0 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.9.19) 19 SEP 2023 14:28
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
%&-line parsing enabled.
|
||||
**ex1.tex
|
||||
(./ex1.tex
|
||||
LaTeX2e <2022-11-01> patch level 1
|
||||
L3 programming layer <2023-02-22>
|
||||
(/usr/share/texmf-dist/tex/latex/base/article.cls
|
||||
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
|
||||
(/usr/share/texmf-dist/tex/latex/base/size10.clo
|
||||
File: size10.clo 2022/07/02 v1.4n Standard LaTeX file (size option)
|
||||
)
|
||||
\c@part=\count185
|
||||
\c@section=\count186
|
||||
\c@subsection=\count187
|
||||
\c@subsubsection=\count188
|
||||
\c@paragraph=\count189
|
||||
\c@subparagraph=\count190
|
||||
\c@figure=\count191
|
||||
\c@table=\count192
|
||||
\abovecaptionskip=\skip48
|
||||
\belowcaptionskip=\skip49
|
||||
\bibindent=\dimen140
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/inputenc.sty
|
||||
Package: inputenc 2021/02/14 v1.3d Input encoding file
|
||||
\inpenc@prehook=\toks16
|
||||
\inpenc@posthook=\toks17
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/fontenc.sty
|
||||
Package: fontenc 2021/04/29 v2.0v Standard LaTeX package
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/generic/babel/babel.sty
|
||||
Package: babel 2023/02/13 3.86 The Babel package
|
||||
\babel@savecnt=\count193
|
||||
\U@D=\dimen141
|
||||
\l@unhyphenated=\language3
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel/txtbabel.def)
|
||||
\bbl@readstream=\read2
|
||||
\bbl@dirlevel=\count194
|
||||
|
||||
|
||||
! Package babel Error: Unknown option 'french'. Either you misspelled it
|
||||
(babel) or the language definition file french.ldf was not found
|
||||
.
|
||||
|
||||
See the babel package documentation for explanation.
|
||||
Type H <return> for immediate help.
|
||||
...
|
||||
|
||||
l.4373 \ProcessOptions*
|
||||
|
||||
?
|
||||
! Interruption.
|
||||
\GenericError ...
|
||||
\endgroup
|
||||
l.4373 \ProcessOptions*
|
||||
|
||||
?
|
||||
Package babel Info: You haven't specified a language as a class or package
|
||||
(babel) option. I'll load 'nil'. Reported on input line 4422.
|
||||
(/usr/share/texmf-dist/tex/generic/babel/nil.ldf
|
||||
Language: nil 2023/02/13 3.86 Nil language
|
||||
\l@nil=\language4
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
Package: amsmath 2022/04/08 v2.17n AMS math features
|
||||
\@mathmargin=\skip50
|
||||
|
||||
For additional information on amsmath, use the `?' option.
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
|
||||
Package: amstext 2021/08/26 v2.01 AMS text
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
|
||||
File: amsgen.sty 1999/11/30 v2.0 generic functions
|
||||
\@emptytoks=\toks18
|
||||
\ex@=\dimen142
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
||||
\pmbraise@=\dimen143
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
Package: amsopn 2022/04/08 v2.04 operator names
|
||||
)
|
||||
\inf@bad=\count195
|
||||
LaTeX Info: Redefining \frac on input line 234.
|
||||
\uproot@=\count196
|
||||
\leftroot@=\count197
|
||||
LaTeX Info: Redefining \overline on input line 399.
|
||||
LaTeX Info: Redefining \colon on input line 410.
|
||||
\classnum@=\count198
|
||||
\DOTSCASE@=\count199
|
||||
LaTeX Info: Redefining \ldots on input line 496.
|
||||
LaTeX Info: Redefining \dots on input line 499.
|
||||
LaTeX Info: Redefining \cdots on input line 620.
|
||||
\Mathstrutbox@=\box51
|
||||
\strutbox@=\box52
|
||||
LaTeX Info: Redefining \big on input line 722.
|
||||
LaTeX Info: Redefining \Big on input line 723.
|
||||
LaTeX Info: Redefining \bigg on input line 724.
|
||||
LaTeX Info: Redefining \Bigg on input line 725.
|
||||
\big@size=\dimen144
|
||||
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
|
||||
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
|
||||
\macc@depth=\count266
|
||||
LaTeX Info: Redefining \bmod on input line 905.
|
||||
LaTeX Info: Redefining \pmod on input line 910.
|
||||
LaTeX Info: Redefining \smash on input line 940.
|
||||
LaTeX Info: Redefining \relbar on input line 970.
|
||||
LaTeX Info: Redefining \Relbar on input line 971.
|
||||
\c@MaxMatrixCols=\count267
|
||||
\dotsspace@=\muskip16
|
||||
\c@parentequation=\count268
|
||||
\dspbrk@lvl=\count269
|
||||
\tag@help=\toks19
|
||||
\row@=\count270
|
||||
\column@=\count271
|
||||
\maxfields@=\count272
|
||||
\andhelp@=\toks20
|
||||
\eqnshift@=\dimen145
|
||||
\alignsep@=\dimen146
|
||||
\tagshift@=\dimen147
|
||||
\tagwidth@=\dimen148
|
||||
\totwidth@=\dimen149
|
||||
\lineht@=\dimen150
|
||||
\@envbody=\toks21
|
||||
\multlinegap=\skip51
|
||||
\multlinetaggap=\skip52
|
||||
\mathdisplay@stack=\toks22
|
||||
LaTeX Info: Redefining \[ on input line 2953.
|
||||
LaTeX Info: Redefining \] on input line 2954.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
||||
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
|
||||
\symAMSa=\mathgroup4
|
||||
\symAMSb=\mathgroup5
|
||||
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
|
||||
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
||||
Package: amssymb 2013/01/14 v3.01 AMS font symbols
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
|
||||
Package: amsthm 2020/05/29 v2.20.6
|
||||
\thm@style=\toks23
|
||||
\thm@bodyfont=\toks24
|
||||
\thm@headfont=\toks25
|
||||
\thm@notefont=\toks26
|
||||
\thm@headpunct=\toks27
|
||||
\thm@preskip=\skip53
|
||||
\thm@postskip=\skip54
|
||||
\thm@headsep=\skip55
|
||||
\dth@everypar=\toks28
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
||||
File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX)
|
||||
\l__color_backend_stack_int=\count273
|
||||
\l__pdf_internal_box=\box53
|
||||
) (./ex1.aux)
|
||||
\openout1 = `ex1.aux'.
|
||||
|
||||
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Trying to load font information for U+msa on input line 11.
|
||||
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
|
||||
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
|
||||
)
|
||||
LaTeX Font Info: Trying to load font information for U+msb on input line 11.
|
||||
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
|
||||
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
|
||||
) [1
|
||||
|
||||
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (./ex1.aux) )
|
||||
Here is how much of TeX's memory you used:
|
||||
2979 strings out of 477985
|
||||
44102 string characters out of 5840058
|
||||
1850388 words of memory out of 5000000
|
||||
23199 multiletter control sequences out of 15000+600000
|
||||
516283 words of font info for 43 fonts, out of 8000000 for 9000
|
||||
14 hyphenation exceptions out of 8191
|
||||
56i,5n,62p,199b,111s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</home/tonit
|
||||
ch/.texlive/texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1000.600pk></usr/share/te
|
||||
xmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts
|
||||
/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texmf-dist/fonts/type1/public/a
|
||||
msfonts/cm/cmsy10.pfb>
|
||||
Output written on ex1.pdf (1 page, 31974 bytes).
|
||||
PDF statistics:
|
||||
47 PDF objects out of 1000 (max. 8388607)
|
||||
17 compressed objects within 1 object stream
|
||||
0 named destinations out of 1000 (max. 500000)
|
||||
1 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
Binary file not shown.
@ -1,16 +0,0 @@
|
||||
\documentclass{article}
|
||||
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[french]{babel}
|
||||
\usepackage{amsmath, amsfonts, amssymb, amsthm}
|
||||
|
||||
\begin{document}
|
||||
|
||||
Il faut bien distinguer les trois epsilons, \`a savoir,
|
||||
\[
|
||||
\varepsilon > 0, \epsilon \text{ et } x \in A.
|
||||
\]
|
||||
|
||||
\end{document}
|
||||
|
||||
@ -1,5 +0,0 @@
|
||||
\relax
|
||||
\providecommand\babel@aux[2]{}
|
||||
\@nameuse{bbl@beforestart}
|
||||
\babel@aux{nil}{}
|
||||
\gdef \@abspage@last{1}
|
||||
@ -1,208 +0,0 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.9.19) 19 SEP 2023 14:33
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
%&-line parsing enabled.
|
||||
**ex2.tex
|
||||
(./ex2.tex
|
||||
LaTeX2e <2022-11-01> patch level 1
|
||||
L3 programming layer <2023-02-22>
|
||||
(/usr/share/texmf-dist/tex/latex/base/article.cls
|
||||
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
|
||||
(/usr/share/texmf-dist/tex/latex/base/size10.clo
|
||||
File: size10.clo 2022/07/02 v1.4n Standard LaTeX file (size option)
|
||||
)
|
||||
\c@part=\count185
|
||||
\c@section=\count186
|
||||
\c@subsection=\count187
|
||||
\c@subsubsection=\count188
|
||||
\c@paragraph=\count189
|
||||
\c@subparagraph=\count190
|
||||
\c@figure=\count191
|
||||
\c@table=\count192
|
||||
\abovecaptionskip=\skip48
|
||||
\belowcaptionskip=\skip49
|
||||
\bibindent=\dimen140
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/inputenc.sty
|
||||
Package: inputenc 2021/02/14 v1.3d Input encoding file
|
||||
\inpenc@prehook=\toks16
|
||||
\inpenc@posthook=\toks17
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/fontenc.sty
|
||||
Package: fontenc 2021/04/29 v2.0v Standard LaTeX package
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/generic/babel/babel.sty
|
||||
Package: babel 2023/02/13 3.86 The Babel package
|
||||
\babel@savecnt=\count193
|
||||
\U@D=\dimen141
|
||||
\l@unhyphenated=\language3
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel/txtbabel.def)
|
||||
\bbl@readstream=\read2
|
||||
\bbl@dirlevel=\count194
|
||||
|
||||
|
||||
! Package babel Error: Unknown option 'french'. Either you misspelled it
|
||||
(babel) or the language definition file french.ldf was not found
|
||||
.
|
||||
|
||||
See the babel package documentation for explanation.
|
||||
Type H <return> for immediate help.
|
||||
...
|
||||
|
||||
l.4373 \ProcessOptions*
|
||||
|
||||
?
|
||||
Package babel Info: You haven't specified a language as a class or package
|
||||
(babel) option. I'll load 'nil'. Reported on input line 4422.
|
||||
(/usr/share/texmf-dist/tex/generic/babel/nil.ldf
|
||||
Language: nil 2023/02/13 3.86 Nil language
|
||||
\l@nil=\language4
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
Package: amsmath 2022/04/08 v2.17n AMS math features
|
||||
\@mathmargin=\skip50
|
||||
|
||||
For additional information on amsmath, use the `?' option.
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
|
||||
Package: amstext 2021/08/26 v2.01 AMS text
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
|
||||
File: amsgen.sty 1999/11/30 v2.0 generic functions
|
||||
\@emptytoks=\toks18
|
||||
\ex@=\dimen142
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
||||
\pmbraise@=\dimen143
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
Package: amsopn 2022/04/08 v2.04 operator names
|
||||
)
|
||||
\inf@bad=\count195
|
||||
LaTeX Info: Redefining \frac on input line 234.
|
||||
\uproot@=\count196
|
||||
\leftroot@=\count197
|
||||
LaTeX Info: Redefining \overline on input line 399.
|
||||
LaTeX Info: Redefining \colon on input line 410.
|
||||
\classnum@=\count198
|
||||
\DOTSCASE@=\count199
|
||||
LaTeX Info: Redefining \ldots on input line 496.
|
||||
LaTeX Info: Redefining \dots on input line 499.
|
||||
LaTeX Info: Redefining \cdots on input line 620.
|
||||
\Mathstrutbox@=\box51
|
||||
\strutbox@=\box52
|
||||
LaTeX Info: Redefining \big on input line 722.
|
||||
LaTeX Info: Redefining \Big on input line 723.
|
||||
LaTeX Info: Redefining \bigg on input line 724.
|
||||
LaTeX Info: Redefining \Bigg on input line 725.
|
||||
\big@size=\dimen144
|
||||
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
|
||||
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
|
||||
\macc@depth=\count266
|
||||
LaTeX Info: Redefining \bmod on input line 905.
|
||||
LaTeX Info: Redefining \pmod on input line 910.
|
||||
LaTeX Info: Redefining \smash on input line 940.
|
||||
LaTeX Info: Redefining \relbar on input line 970.
|
||||
LaTeX Info: Redefining \Relbar on input line 971.
|
||||
\c@MaxMatrixCols=\count267
|
||||
\dotsspace@=\muskip16
|
||||
\c@parentequation=\count268
|
||||
\dspbrk@lvl=\count269
|
||||
\tag@help=\toks19
|
||||
\row@=\count270
|
||||
\column@=\count271
|
||||
\maxfields@=\count272
|
||||
\andhelp@=\toks20
|
||||
\eqnshift@=\dimen145
|
||||
\alignsep@=\dimen146
|
||||
\tagshift@=\dimen147
|
||||
\tagwidth@=\dimen148
|
||||
\totwidth@=\dimen149
|
||||
\lineht@=\dimen150
|
||||
\@envbody=\toks21
|
||||
\multlinegap=\skip51
|
||||
\multlinetaggap=\skip52
|
||||
\mathdisplay@stack=\toks22
|
||||
LaTeX Info: Redefining \[ on input line 2953.
|
||||
LaTeX Info: Redefining \] on input line 2954.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
||||
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
|
||||
\symAMSa=\mathgroup4
|
||||
\symAMSb=\mathgroup5
|
||||
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
|
||||
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
||||
Package: amssymb 2013/01/14 v3.01 AMS font symbols
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
|
||||
Package: amsthm 2020/05/29 v2.20.6
|
||||
\thm@style=\toks23
|
||||
\thm@bodyfont=\toks24
|
||||
\thm@headfont=\toks25
|
||||
\thm@notefont=\toks26
|
||||
\thm@headpunct=\toks27
|
||||
\thm@preskip=\skip53
|
||||
\thm@postskip=\skip54
|
||||
\thm@headsep=\skip55
|
||||
\dth@everypar=\toks28
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
||||
File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX)
|
||||
\l__color_backend_stack_int=\count273
|
||||
\l__pdf_internal_box=\box53
|
||||
)
|
||||
No file ex2.aux.
|
||||
\openout1 = `ex2.aux'.
|
||||
|
||||
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Trying to load font information for U+msa on input line 10.
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
|
||||
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
|
||||
)
|
||||
LaTeX Font Info: Trying to load font information for U+msb on input line 10.
|
||||
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
|
||||
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
|
||||
) [1
|
||||
|
||||
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fonts
|
||||
/enc/dvips/cm-super/cm-super-t1.enc}] (./ex2.aux) )
|
||||
Here is how much of TeX's memory you used:
|
||||
2974 strings out of 477985
|
||||
44061 string characters out of 5840058
|
||||
1850388 words of memory out of 5000000
|
||||
23197 multiletter control sequences out of 15000+600000
|
||||
514749 words of font info for 41 fonts, out of 8000000 for 9000
|
||||
14 hyphenation exceptions out of 8191
|
||||
56i,5n,62p,199b,111s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/share/texmf-dist/fonts
|
||||
/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/
|
||||
amsfonts/cm/cmr10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cms
|
||||
y10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb><
|
||||
/usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb>
|
||||
Output written on ex2.pdf (1 page, 46560 bytes).
|
||||
PDF statistics:
|
||||
34 PDF objects out of 1000 (max. 8388607)
|
||||
20 compressed objects within 1 object stream
|
||||
0 named destinations out of 1000 (max. 500000)
|
||||
1 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
Binary file not shown.
@ -1,16 +0,0 @@
|
||||
\documentclass{article}
|
||||
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[french]{babel}
|
||||
\usepackage{amsmath, amsfonts, amssymb, amsthm}
|
||||
|
||||
\begin{document}
|
||||
|
||||
Une fonction $f : [0,1] \to \mathbb{R}$ est continue si
|
||||
|
||||
\[
|
||||
\forall x \in [0,1], \forall \varepsilon > 0, \exists \delta > 0, \forall y \in [0,1] : \vert y - x \vert < \delta \implies \vert f(y) - f(x) \vert < \varepsilon
|
||||
\]
|
||||
|
||||
\end{document}
|
||||
@ -1,5 +0,0 @@
|
||||
\relax
|
||||
\providecommand\babel@aux[2]{}
|
||||
\@nameuse{bbl@beforestart}
|
||||
\babel@aux{nil}{}
|
||||
\gdef \@abspage@last{1}
|
||||
@ -1,211 +0,0 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.9.19) 19 SEP 2023 14:40
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
%&-line parsing enabled.
|
||||
**ex3.tex
|
||||
(./ex3.tex
|
||||
LaTeX2e <2022-11-01> patch level 1
|
||||
L3 programming layer <2023-02-22>
|
||||
(/usr/share/texmf-dist/tex/latex/base/article.cls
|
||||
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
|
||||
(/usr/share/texmf-dist/tex/latex/base/size10.clo
|
||||
File: size10.clo 2022/07/02 v1.4n Standard LaTeX file (size option)
|
||||
)
|
||||
\c@part=\count185
|
||||
\c@section=\count186
|
||||
\c@subsection=\count187
|
||||
\c@subsubsection=\count188
|
||||
\c@paragraph=\count189
|
||||
\c@subparagraph=\count190
|
||||
\c@figure=\count191
|
||||
\c@table=\count192
|
||||
\abovecaptionskip=\skip48
|
||||
\belowcaptionskip=\skip49
|
||||
\bibindent=\dimen140
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/inputenc.sty
|
||||
Package: inputenc 2021/02/14 v1.3d Input encoding file
|
||||
\inpenc@prehook=\toks16
|
||||
\inpenc@posthook=\toks17
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/fontenc.sty
|
||||
Package: fontenc 2021/04/29 v2.0v Standard LaTeX package
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/generic/babel/babel.sty
|
||||
Package: babel 2023/02/13 3.86 The Babel package
|
||||
\babel@savecnt=\count193
|
||||
\U@D=\dimen141
|
||||
\l@unhyphenated=\language3
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel/txtbabel.def)
|
||||
\bbl@readstream=\read2
|
||||
\bbl@dirlevel=\count194
|
||||
|
||||
|
||||
! Package babel Error: Unknown option 'french'. Either you misspelled it
|
||||
(babel) or the language definition file french.ldf was not found
|
||||
.
|
||||
|
||||
See the babel package documentation for explanation.
|
||||
Type H <return> for immediate help.
|
||||
...
|
||||
|
||||
l.4373 \ProcessOptions*
|
||||
|
||||
?
|
||||
Package babel Info: You haven't specified a language as a class or package
|
||||
(babel) option. I'll load 'nil'. Reported on input line 4422.
|
||||
(/usr/share/texmf-dist/tex/generic/babel/nil.ldf
|
||||
Language: nil 2023/02/13 3.86 Nil language
|
||||
\l@nil=\language4
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
Package: amsmath 2022/04/08 v2.17n AMS math features
|
||||
\@mathmargin=\skip50
|
||||
|
||||
For additional information on amsmath, use the `?' option.
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
|
||||
Package: amstext 2021/08/26 v2.01 AMS text
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
|
||||
File: amsgen.sty 1999/11/30 v2.0 generic functions
|
||||
\@emptytoks=\toks18
|
||||
\ex@=\dimen142
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
||||
\pmbraise@=\dimen143
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
Package: amsopn 2022/04/08 v2.04 operator names
|
||||
)
|
||||
\inf@bad=\count195
|
||||
LaTeX Info: Redefining \frac on input line 234.
|
||||
\uproot@=\count196
|
||||
\leftroot@=\count197
|
||||
LaTeX Info: Redefining \overline on input line 399.
|
||||
LaTeX Info: Redefining \colon on input line 410.
|
||||
\classnum@=\count198
|
||||
\DOTSCASE@=\count199
|
||||
LaTeX Info: Redefining \ldots on input line 496.
|
||||
LaTeX Info: Redefining \dots on input line 499.
|
||||
LaTeX Info: Redefining \cdots on input line 620.
|
||||
\Mathstrutbox@=\box51
|
||||
\strutbox@=\box52
|
||||
LaTeX Info: Redefining \big on input line 722.
|
||||
LaTeX Info: Redefining \Big on input line 723.
|
||||
LaTeX Info: Redefining \bigg on input line 724.
|
||||
LaTeX Info: Redefining \Bigg on input line 725.
|
||||
\big@size=\dimen144
|
||||
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
|
||||
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
|
||||
\macc@depth=\count266
|
||||
LaTeX Info: Redefining \bmod on input line 905.
|
||||
LaTeX Info: Redefining \pmod on input line 910.
|
||||
LaTeX Info: Redefining \smash on input line 940.
|
||||
LaTeX Info: Redefining \relbar on input line 970.
|
||||
LaTeX Info: Redefining \Relbar on input line 971.
|
||||
\c@MaxMatrixCols=\count267
|
||||
\dotsspace@=\muskip16
|
||||
\c@parentequation=\count268
|
||||
\dspbrk@lvl=\count269
|
||||
\tag@help=\toks19
|
||||
\row@=\count270
|
||||
\column@=\count271
|
||||
\maxfields@=\count272
|
||||
\andhelp@=\toks20
|
||||
\eqnshift@=\dimen145
|
||||
\alignsep@=\dimen146
|
||||
\tagshift@=\dimen147
|
||||
\tagwidth@=\dimen148
|
||||
\totwidth@=\dimen149
|
||||
\lineht@=\dimen150
|
||||
\@envbody=\toks21
|
||||
\multlinegap=\skip51
|
||||
\multlinetaggap=\skip52
|
||||
\mathdisplay@stack=\toks22
|
||||
LaTeX Info: Redefining \[ on input line 2953.
|
||||
LaTeX Info: Redefining \] on input line 2954.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
||||
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
|
||||
\symAMSa=\mathgroup4
|
||||
\symAMSb=\mathgroup5
|
||||
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
|
||||
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
||||
Package: amssymb 2013/01/14 v3.01 AMS font symbols
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
|
||||
Package: amsthm 2020/05/29 v2.20.6
|
||||
\thm@style=\toks23
|
||||
\thm@bodyfont=\toks24
|
||||
\thm@headfont=\toks25
|
||||
\thm@notefont=\toks26
|
||||
\thm@headpunct=\toks27
|
||||
\thm@preskip=\skip53
|
||||
\thm@postskip=\skip54
|
||||
\thm@headsep=\skip55
|
||||
\dth@everypar=\toks28
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
||||
File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX)
|
||||
\l__color_backend_stack_int=\count273
|
||||
\l__pdf_internal_box=\box53
|
||||
)
|
||||
No file ex3.aux.
|
||||
\openout1 = `ex3.aux'.
|
||||
|
||||
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Trying to load font information for U+msa on input line 10.
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
|
||||
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
|
||||
)
|
||||
LaTeX Font Info: Trying to load font information for U+msb on input line 10.
|
||||
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
|
||||
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
|
||||
) [1
|
||||
|
||||
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fonts
|
||||
/enc/dvips/cm-super/cm-super-t1.enc}] (./ex3.aux) )
|
||||
Here is how much of TeX's memory you used:
|
||||
2974 strings out of 477985
|
||||
44061 string characters out of 5840058
|
||||
1852388 words of memory out of 5000000
|
||||
23197 multiletter control sequences out of 15000+600000
|
||||
514749 words of font info for 41 fonts, out of 8000000 for 9000
|
||||
14 hyphenation exceptions out of 8191
|
||||
56i,5n,62p,275b,111s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/share/texmf-dist/fonts
|
||||
/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texmf-dist/fonts/type1/public/
|
||||
amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cm
|
||||
mi7.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/s
|
||||
hare/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/texmf-dist/
|
||||
fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/pu
|
||||
blic/amsfonts/cm/cmsy7.pfb></usr/share/texmf-dist/fonts/type1/public/cm-super/s
|
||||
frm1000.pfb>
|
||||
Output written on ex3.pdf (1 page, 75735 bytes).
|
||||
PDF statistics:
|
||||
49 PDF objects out of 1000 (max. 8388607)
|
||||
29 compressed objects within 1 object stream
|
||||
0 named destinations out of 1000 (max. 500000)
|
||||
1 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
Binary file not shown.
@ -1,17 +0,0 @@
|
||||
\documentclass{article}
|
||||
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[french]{babel}
|
||||
\usepackage{amsmath, amsfonts, amssymb, amsthm}
|
||||
|
||||
\begin{document}
|
||||
|
||||
Imaginons que l'on veuille regarder la somme $\sum^{-1}_{k=-n} \frac{1}{|k|}(x_k -x_{k-1}) + x_0 + \sum^n_{k=1} \frac{1}{k}(x_x - x_{k-1})$. Ce n'est pas aussi lisible que l'expression suivante:
|
||||
|
||||
\[
|
||||
\sum^{-1}_{k=-n} \frac{1}{|k|}(x_k -x_{k-1}) + x_0 + \sum^n_{k=1} \frac{1}{k}(x_x - x_{k-1})
|
||||
\]
|
||||
par contre il serait fou d'\'ecrire: Soit \[ f \] une fonction
|
||||
|
||||
\end{document}
|
||||
@ -1,5 +0,0 @@
|
||||
\relax
|
||||
\providecommand\babel@aux[2]{}
|
||||
\@nameuse{bbl@beforestart}
|
||||
\babel@aux{nil}{}
|
||||
\gdef \@abspage@last{1}
|
||||
@ -1,210 +0,0 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.9.19) 19 SEP 2023 14:45
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
%&-line parsing enabled.
|
||||
**ex4.tex
|
||||
(./ex4.tex
|
||||
LaTeX2e <2022-11-01> patch level 1
|
||||
L3 programming layer <2023-02-22>
|
||||
(/usr/share/texmf-dist/tex/latex/base/article.cls
|
||||
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
|
||||
(/usr/share/texmf-dist/tex/latex/base/size10.clo
|
||||
File: size10.clo 2022/07/02 v1.4n Standard LaTeX file (size option)
|
||||
)
|
||||
\c@part=\count185
|
||||
\c@section=\count186
|
||||
\c@subsection=\count187
|
||||
\c@subsubsection=\count188
|
||||
\c@paragraph=\count189
|
||||
\c@subparagraph=\count190
|
||||
\c@figure=\count191
|
||||
\c@table=\count192
|
||||
\abovecaptionskip=\skip48
|
||||
\belowcaptionskip=\skip49
|
||||
\bibindent=\dimen140
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/inputenc.sty
|
||||
Package: inputenc 2021/02/14 v1.3d Input encoding file
|
||||
\inpenc@prehook=\toks16
|
||||
\inpenc@posthook=\toks17
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/fontenc.sty
|
||||
Package: fontenc 2021/04/29 v2.0v Standard LaTeX package
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/generic/babel/babel.sty
|
||||
Package: babel 2023/02/13 3.86 The Babel package
|
||||
\babel@savecnt=\count193
|
||||
\U@D=\dimen141
|
||||
\l@unhyphenated=\language3
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel/txtbabel.def)
|
||||
\bbl@readstream=\read2
|
||||
\bbl@dirlevel=\count194
|
||||
|
||||
|
||||
! Package babel Error: Unknown option 'french'. Either you misspelled it
|
||||
(babel) or the language definition file french.ldf was not found
|
||||
.
|
||||
|
||||
See the babel package documentation for explanation.
|
||||
Type H <return> for immediate help.
|
||||
...
|
||||
|
||||
l.4373 \ProcessOptions*
|
||||
|
||||
?
|
||||
Package babel Info: You haven't specified a language as a class or package
|
||||
(babel) option. I'll load 'nil'. Reported on input line 4422.
|
||||
(/usr/share/texmf-dist/tex/generic/babel/nil.ldf
|
||||
Language: nil 2023/02/13 3.86 Nil language
|
||||
\l@nil=\language4
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
Package: amsmath 2022/04/08 v2.17n AMS math features
|
||||
\@mathmargin=\skip50
|
||||
|
||||
For additional information on amsmath, use the `?' option.
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
|
||||
Package: amstext 2021/08/26 v2.01 AMS text
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
|
||||
File: amsgen.sty 1999/11/30 v2.0 generic functions
|
||||
\@emptytoks=\toks18
|
||||
\ex@=\dimen142
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
||||
\pmbraise@=\dimen143
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
Package: amsopn 2022/04/08 v2.04 operator names
|
||||
)
|
||||
\inf@bad=\count195
|
||||
LaTeX Info: Redefining \frac on input line 234.
|
||||
\uproot@=\count196
|
||||
\leftroot@=\count197
|
||||
LaTeX Info: Redefining \overline on input line 399.
|
||||
LaTeX Info: Redefining \colon on input line 410.
|
||||
\classnum@=\count198
|
||||
\DOTSCASE@=\count199
|
||||
LaTeX Info: Redefining \ldots on input line 496.
|
||||
LaTeX Info: Redefining \dots on input line 499.
|
||||
LaTeX Info: Redefining \cdots on input line 620.
|
||||
\Mathstrutbox@=\box51
|
||||
\strutbox@=\box52
|
||||
LaTeX Info: Redefining \big on input line 722.
|
||||
LaTeX Info: Redefining \Big on input line 723.
|
||||
LaTeX Info: Redefining \bigg on input line 724.
|
||||
LaTeX Info: Redefining \Bigg on input line 725.
|
||||
\big@size=\dimen144
|
||||
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
|
||||
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
|
||||
\macc@depth=\count266
|
||||
LaTeX Info: Redefining \bmod on input line 905.
|
||||
LaTeX Info: Redefining \pmod on input line 910.
|
||||
LaTeX Info: Redefining \smash on input line 940.
|
||||
LaTeX Info: Redefining \relbar on input line 970.
|
||||
LaTeX Info: Redefining \Relbar on input line 971.
|
||||
\c@MaxMatrixCols=\count267
|
||||
\dotsspace@=\muskip16
|
||||
\c@parentequation=\count268
|
||||
\dspbrk@lvl=\count269
|
||||
\tag@help=\toks19
|
||||
\row@=\count270
|
||||
\column@=\count271
|
||||
\maxfields@=\count272
|
||||
\andhelp@=\toks20
|
||||
\eqnshift@=\dimen145
|
||||
\alignsep@=\dimen146
|
||||
\tagshift@=\dimen147
|
||||
\tagwidth@=\dimen148
|
||||
\totwidth@=\dimen149
|
||||
\lineht@=\dimen150
|
||||
\@envbody=\toks21
|
||||
\multlinegap=\skip51
|
||||
\multlinetaggap=\skip52
|
||||
\mathdisplay@stack=\toks22
|
||||
LaTeX Info: Redefining \[ on input line 2953.
|
||||
LaTeX Info: Redefining \] on input line 2954.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
||||
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
|
||||
\symAMSa=\mathgroup4
|
||||
\symAMSb=\mathgroup5
|
||||
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
|
||||
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
||||
Package: amssymb 2013/01/14 v3.01 AMS font symbols
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
|
||||
Package: amsthm 2020/05/29 v2.20.6
|
||||
\thm@style=\toks23
|
||||
\thm@bodyfont=\toks24
|
||||
\thm@headfont=\toks25
|
||||
\thm@notefont=\toks26
|
||||
\thm@headpunct=\toks27
|
||||
\thm@preskip=\skip53
|
||||
\thm@postskip=\skip54
|
||||
\thm@headsep=\skip55
|
||||
\dth@everypar=\toks28
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
||||
File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX)
|
||||
\l__color_backend_stack_int=\count273
|
||||
\l__pdf_internal_box=\box53
|
||||
) (./ex4.aux)
|
||||
\openout1 = `ex4.aux'.
|
||||
|
||||
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Trying to load font information for U+msa on input line 10.
|
||||
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
|
||||
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
|
||||
)
|
||||
LaTeX Font Info: Trying to load font information for U+msb on input line 10.
|
||||
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
|
||||
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
|
||||
) [1
|
||||
|
||||
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fonts
|
||||
/enc/dvips/cm-super/cm-super-t1.enc}] (./ex4.aux) )
|
||||
Here is how much of TeX's memory you used:
|
||||
2976 strings out of 477985
|
||||
44077 string characters out of 5840058
|
||||
1850388 words of memory out of 5000000
|
||||
23197 multiletter control sequences out of 15000+600000
|
||||
514749 words of font info for 41 fonts, out of 8000000 for 9000
|
||||
14 hyphenation exceptions out of 8191
|
||||
56i,5n,62p,199b,111s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/share/texmf-dist/fonts
|
||||
/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texmf-dist/fonts/type1/public/
|
||||
amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cm
|
||||
mi7.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/s
|
||||
hare/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/texmf-dist/
|
||||
fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/pu
|
||||
blic/cm-super/sfrm1000.pfb>
|
||||
Output written on ex4.pdf (1 page, 68491 bytes).
|
||||
PDF statistics:
|
||||
44 PDF objects out of 1000 (max. 8388607)
|
||||
26 compressed objects within 1 object stream
|
||||
0 named destinations out of 1000 (max. 500000)
|
||||
1 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
Binary file not shown.
@ -1,16 +0,0 @@
|
||||
\documentclass{article}
|
||||
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[french]{babel}
|
||||
\usepackage{amsmath, amsfonts, amssymb, amsthm}
|
||||
|
||||
\begin{document}
|
||||
|
||||
Soit $f$ une fonction continue sur $[0,1], p > 1$ et $\epsilon > 0$. Alors il existe un polynome $g$ tel que
|
||||
\[
|
||||
||f-g||_p = (\int_0^1 |f(x) - g(x)|^p dx)^{1/p}
|
||||
\]
|
||||
Par exemple, on peut l'appliquer aux fonctions $f(x) = sin(x), ln(x), e^x, ...$
|
||||
|
||||
\end{document}
|
||||
@ -1,9 +0,0 @@
|
||||
\relax
|
||||
\providecommand\babel@aux[2]{}
|
||||
\@nameuse{bbl@beforestart}
|
||||
\catcode `:\active
|
||||
\catcode `;\active
|
||||
\catcode `!\active
|
||||
\catcode `?\active
|
||||
\babel@aux{french}{}
|
||||
\gdef \@abspage@last{1}
|
||||
@ -1,240 +0,0 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.9.19) 19 SEP 2023 15:05
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
%&-line parsing enabled.
|
||||
**ex5.tex
|
||||
(./ex5.tex
|
||||
LaTeX2e <2022-11-01> patch level 1
|
||||
L3 programming layer <2023-02-22>
|
||||
(/usr/share/texmf-dist/tex/latex/base/article.cls
|
||||
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
|
||||
(/usr/share/texmf-dist/tex/latex/base/size10.clo
|
||||
File: size10.clo 2022/07/02 v1.4n Standard LaTeX file (size option)
|
||||
)
|
||||
\c@part=\count185
|
||||
\c@section=\count186
|
||||
\c@subsection=\count187
|
||||
\c@subsubsection=\count188
|
||||
\c@paragraph=\count189
|
||||
\c@subparagraph=\count190
|
||||
\c@figure=\count191
|
||||
\c@table=\count192
|
||||
\abovecaptionskip=\skip48
|
||||
\belowcaptionskip=\skip49
|
||||
\bibindent=\dimen140
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/inputenc.sty
|
||||
Package: inputenc 2021/02/14 v1.3d Input encoding file
|
||||
\inpenc@prehook=\toks16
|
||||
\inpenc@posthook=\toks17
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/fontenc.sty
|
||||
Package: fontenc 2021/04/29 v2.0v Standard LaTeX package
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/generic/babel/babel.sty
|
||||
Package: babel 2023/02/13 3.86 The Babel package
|
||||
\babel@savecnt=\count193
|
||||
\U@D=\dimen141
|
||||
\l@unhyphenated=\language3
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel/txtbabel.def)
|
||||
\bbl@readstream=\read2
|
||||
\bbl@dirlevel=\count194
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel-french/french.ldf
|
||||
Language: french 2023/03/08 v3.5q French support from the babel system
|
||||
Package babel Info: Hyphen rules for 'french' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 87.
|
||||
|
||||
|
||||
Package babel Warning: No hyphenation patterns were preloaded for
|
||||
(babel) the language 'French' into the format.
|
||||
(babel) Please, configure your TeX system to add them and
|
||||
(babel) rebuild the format. Now I will use the patterns
|
||||
(babel) preloaded for \language=nohyphenation instead on input l
|
||||
ine 87.
|
||||
|
||||
Package babel Info: Hyphen rules for 'acadian' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 91.
|
||||
Package babel Info: Hyphen rules for 'canadien' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 92.
|
||||
\FB@nonchar=\count195
|
||||
Package babel Info: Making : an active character on input line 395.
|
||||
Package babel Info: Making ; an active character on input line 396.
|
||||
Package babel Info: Making ! an active character on input line 397.
|
||||
Package babel Info: Making ? an active character on input line 398.
|
||||
\FBguill@level=\count196
|
||||
\FBold@everypar=\toks18
|
||||
\FB@Mht=\dimen142
|
||||
\mc@charclass=\count197
|
||||
\mc@charfam=\count198
|
||||
\mc@charslot=\count199
|
||||
\std@mcc=\count266
|
||||
\dec@mcc=\count267
|
||||
\FB@parskip=\dimen143
|
||||
\listindentFB=\dimen144
|
||||
\descindentFB=\dimen145
|
||||
\labelindentFB=\dimen146
|
||||
\labelwidthFB=\dimen147
|
||||
\leftmarginFB=\dimen148
|
||||
\parindentFFN=\dimen149
|
||||
\FBfnindent=\dimen150
|
||||
)) (/usr/share/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex
|
||||
Package babel Info: Importing font and identification data for french
|
||||
(babel) from babel-fr.ini. Reported on input line 11.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty)
|
||||
(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty
|
||||
Package: keyval 2022/05/29 v1.15 key=value parser (DPC)
|
||||
\KV@toks@=\toks19
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
Package: amsmath 2022/04/08 v2.17n AMS math features
|
||||
\@mathmargin=\skip50
|
||||
|
||||
For additional information on amsmath, use the `?' option.
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
|
||||
Package: amstext 2021/08/26 v2.01 AMS text
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
|
||||
File: amsgen.sty 1999/11/30 v2.0 generic functions
|
||||
\@emptytoks=\toks20
|
||||
\ex@=\dimen151
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
||||
\pmbraise@=\dimen152
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
Package: amsopn 2022/04/08 v2.04 operator names
|
||||
)
|
||||
\inf@bad=\count268
|
||||
LaTeX Info: Redefining \frac on input line 234.
|
||||
\uproot@=\count269
|
||||
\leftroot@=\count270
|
||||
LaTeX Info: Redefining \overline on input line 399.
|
||||
LaTeX Info: Redefining \colon on input line 410.
|
||||
\classnum@=\count271
|
||||
\DOTSCASE@=\count272
|
||||
LaTeX Info: Redefining \ldots on input line 496.
|
||||
LaTeX Info: Redefining \dots on input line 499.
|
||||
LaTeX Info: Redefining \cdots on input line 620.
|
||||
\Mathstrutbox@=\box51
|
||||
\strutbox@=\box52
|
||||
LaTeX Info: Redefining \big on input line 722.
|
||||
LaTeX Info: Redefining \Big on input line 723.
|
||||
LaTeX Info: Redefining \bigg on input line 724.
|
||||
LaTeX Info: Redefining \Bigg on input line 725.
|
||||
\big@size=\dimen153
|
||||
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
|
||||
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
|
||||
\macc@depth=\count273
|
||||
LaTeX Info: Redefining \bmod on input line 905.
|
||||
LaTeX Info: Redefining \pmod on input line 910.
|
||||
LaTeX Info: Redefining \smash on input line 940.
|
||||
LaTeX Info: Redefining \relbar on input line 970.
|
||||
LaTeX Info: Redefining \Relbar on input line 971.
|
||||
\c@MaxMatrixCols=\count274
|
||||
\dotsspace@=\muskip16
|
||||
\c@parentequation=\count275
|
||||
\dspbrk@lvl=\count276
|
||||
\tag@help=\toks21
|
||||
\row@=\count277
|
||||
\column@=\count278
|
||||
\maxfields@=\count279
|
||||
\andhelp@=\toks22
|
||||
\eqnshift@=\dimen154
|
||||
\alignsep@=\dimen155
|
||||
\tagshift@=\dimen156
|
||||
\tagwidth@=\dimen157
|
||||
\totwidth@=\dimen158
|
||||
\lineht@=\dimen159
|
||||
\@envbody=\toks23
|
||||
\multlinegap=\skip51
|
||||
\multlinetaggap=\skip52
|
||||
\mathdisplay@stack=\toks24
|
||||
LaTeX Info: Redefining \[ on input line 2953.
|
||||
LaTeX Info: Redefining \] on input line 2954.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
||||
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
|
||||
\symAMSa=\mathgroup4
|
||||
\symAMSb=\mathgroup5
|
||||
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
|
||||
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
||||
Package: amssymb 2013/01/14 v3.01 AMS font symbols
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
|
||||
Package: amsthm 2020/05/29 v2.20.6
|
||||
\thm@style=\toks25
|
||||
\thm@bodyfont=\toks26
|
||||
\thm@headfont=\toks27
|
||||
\thm@notefont=\toks28
|
||||
\thm@headpunct=\toks29
|
||||
\thm@preskip=\skip53
|
||||
\thm@postskip=\skip54
|
||||
\thm@headsep=\skip55
|
||||
\dth@everypar=\toks30
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
||||
File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX)
|
||||
\l__color_backend_stack_int=\count280
|
||||
\l__pdf_internal_box=\box53
|
||||
) (./ex5.aux)
|
||||
\openout1 = `ex5.aux'.
|
||||
|
||||
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Info: Redefining \degres on input line 8.
|
||||
LaTeX Info: Redefining \up on input line 8.
|
||||
LaTeX Font Info: Trying to load font information for U+msa on input line 10.
|
||||
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
|
||||
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
|
||||
)
|
||||
LaTeX Font Info: Trying to load font information for U+msb on input line 10.
|
||||
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
|
||||
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
|
||||
) [1
|
||||
|
||||
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fonts
|
||||
/enc/dvips/cm-super/cm-super-t1.enc}] (./ex5.aux) )
|
||||
Here is how much of TeX's memory you used:
|
||||
3819 strings out of 477985
|
||||
58101 string characters out of 5840058
|
||||
1852388 words of memory out of 5000000
|
||||
24025 multiletter control sequences out of 15000+600000
|
||||
516283 words of font info for 43 fonts, out of 8000000 for 9000
|
||||
14 hyphenation exceptions out of 8191
|
||||
56i,5n,62p,199b,428s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/share/texmf-dist/fonts
|
||||
/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texmf-dist/fonts/type1/public/
|
||||
amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cm
|
||||
mi7.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/s
|
||||
hare/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dis
|
||||
t/fonts/type1/public/cm-super/sfrm1000.pfb>
|
||||
Output written on ex5.pdf (1 page, 61291 bytes).
|
||||
PDF statistics:
|
||||
39 PDF objects out of 1000 (max. 8388607)
|
||||
23 compressed objects within 1 object stream
|
||||
0 named destinations out of 1000 (max. 500000)
|
||||
1 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
Binary file not shown.
@ -1,36 +0,0 @@
|
||||
\documentclass{article}
|
||||
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[french]{babel}
|
||||
\usepackage{amsmath, amsfonts, amssymb, amsthm}
|
||||
|
||||
\begin{document}
|
||||
|
||||
\[
|
||||
P(X \in [\frac{k}{2^n},\frac{k+1}{2^n}]) \leq \frac{1}{n}\text{ Var}(X)
|
||||
\]
|
||||
\[
|
||||
P\Big(X \in [\frac{k}{2^n},\frac{k+1}{2^n}]\Big) \leq \frac{\text{ Var}(X)}{n}
|
||||
\]
|
||||
|
||||
\[
|
||||
x_n \to 0 \text{ quand } n \to \infty
|
||||
\]
|
||||
|
||||
\[
|
||||
q(x,y) = \langle x,y \rangle
|
||||
\]
|
||||
|
||||
\[
|
||||
[\widehat{f}(x)]^b_a = \widehat{f}(b) - \widehat{f}(a)
|
||||
\]
|
||||
|
||||
\[
|
||||
x \in ]0,1]
|
||||
\]
|
||||
|
||||
\[
|
||||
\pi = 3,141559
|
||||
\]
|
||||
\end{document}
|
||||
@ -1,9 +0,0 @@
|
||||
\relax
|
||||
\providecommand\babel@aux[2]{}
|
||||
\@nameuse{bbl@beforestart}
|
||||
\catcode `:\active
|
||||
\catcode `;\active
|
||||
\catcode `!\active
|
||||
\catcode `?\active
|
||||
\babel@aux{french}{}
|
||||
\gdef \@abspage@last{1}
|
||||
@ -1,231 +0,0 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.9.19) 19 SEP 2023 15:10
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
%&-line parsing enabled.
|
||||
**ex6.tex
|
||||
(./ex6.tex
|
||||
LaTeX2e <2022-11-01> patch level 1
|
||||
L3 programming layer <2023-02-22>
|
||||
(/usr/share/texmf-dist/tex/latex/base/article.cls
|
||||
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
|
||||
(/usr/share/texmf-dist/tex/latex/base/size10.clo
|
||||
File: size10.clo 2022/07/02 v1.4n Standard LaTeX file (size option)
|
||||
)
|
||||
\c@part=\count185
|
||||
\c@section=\count186
|
||||
\c@subsection=\count187
|
||||
\c@subsubsection=\count188
|
||||
\c@paragraph=\count189
|
||||
\c@subparagraph=\count190
|
||||
\c@figure=\count191
|
||||
\c@table=\count192
|
||||
\abovecaptionskip=\skip48
|
||||
\belowcaptionskip=\skip49
|
||||
\bibindent=\dimen140
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/inputenc.sty
|
||||
Package: inputenc 2021/02/14 v1.3d Input encoding file
|
||||
\inpenc@prehook=\toks16
|
||||
\inpenc@posthook=\toks17
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/fontenc.sty
|
||||
Package: fontenc 2021/04/29 v2.0v Standard LaTeX package
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/generic/babel/babel.sty
|
||||
Package: babel 2023/02/13 3.86 The Babel package
|
||||
\babel@savecnt=\count193
|
||||
\U@D=\dimen141
|
||||
\l@unhyphenated=\language3
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel/txtbabel.def)
|
||||
\bbl@readstream=\read2
|
||||
\bbl@dirlevel=\count194
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel-french/french.ldf
|
||||
Language: french 2023/03/08 v3.5q French support from the babel system
|
||||
Package babel Info: Hyphen rules for 'french' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 87.
|
||||
|
||||
|
||||
Package babel Warning: No hyphenation patterns were preloaded for
|
||||
(babel) the language 'French' into the format.
|
||||
(babel) Please, configure your TeX system to add them and
|
||||
(babel) rebuild the format. Now I will use the patterns
|
||||
(babel) preloaded for \language=nohyphenation instead on input l
|
||||
ine 87.
|
||||
|
||||
Package babel Info: Hyphen rules for 'acadian' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 91.
|
||||
Package babel Info: Hyphen rules for 'canadien' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 92.
|
||||
\FB@nonchar=\count195
|
||||
Package babel Info: Making : an active character on input line 395.
|
||||
Package babel Info: Making ; an active character on input line 396.
|
||||
Package babel Info: Making ! an active character on input line 397.
|
||||
Package babel Info: Making ? an active character on input line 398.
|
||||
\FBguill@level=\count196
|
||||
\FBold@everypar=\toks18
|
||||
\FB@Mht=\dimen142
|
||||
\mc@charclass=\count197
|
||||
\mc@charfam=\count198
|
||||
\mc@charslot=\count199
|
||||
\std@mcc=\count266
|
||||
\dec@mcc=\count267
|
||||
\FB@parskip=\dimen143
|
||||
\listindentFB=\dimen144
|
||||
\descindentFB=\dimen145
|
||||
\labelindentFB=\dimen146
|
||||
\labelwidthFB=\dimen147
|
||||
\leftmarginFB=\dimen148
|
||||
\parindentFFN=\dimen149
|
||||
\FBfnindent=\dimen150
|
||||
)) (/usr/share/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex
|
||||
Package babel Info: Importing font and identification data for french
|
||||
(babel) from babel-fr.ini. Reported on input line 11.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty)
|
||||
(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty
|
||||
Package: keyval 2022/05/29 v1.15 key=value parser (DPC)
|
||||
\KV@toks@=\toks19
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
Package: amsmath 2022/04/08 v2.17n AMS math features
|
||||
\@mathmargin=\skip50
|
||||
|
||||
For additional information on amsmath, use the `?' option.
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
|
||||
Package: amstext 2021/08/26 v2.01 AMS text
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
|
||||
File: amsgen.sty 1999/11/30 v2.0 generic functions
|
||||
\@emptytoks=\toks20
|
||||
\ex@=\dimen151
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
||||
\pmbraise@=\dimen152
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
Package: amsopn 2022/04/08 v2.04 operator names
|
||||
)
|
||||
\inf@bad=\count268
|
||||
LaTeX Info: Redefining \frac on input line 234.
|
||||
\uproot@=\count269
|
||||
\leftroot@=\count270
|
||||
LaTeX Info: Redefining \overline on input line 399.
|
||||
LaTeX Info: Redefining \colon on input line 410.
|
||||
\classnum@=\count271
|
||||
\DOTSCASE@=\count272
|
||||
LaTeX Info: Redefining \ldots on input line 496.
|
||||
LaTeX Info: Redefining \dots on input line 499.
|
||||
LaTeX Info: Redefining \cdots on input line 620.
|
||||
\Mathstrutbox@=\box51
|
||||
\strutbox@=\box52
|
||||
LaTeX Info: Redefining \big on input line 722.
|
||||
LaTeX Info: Redefining \Big on input line 723.
|
||||
LaTeX Info: Redefining \bigg on input line 724.
|
||||
LaTeX Info: Redefining \Bigg on input line 725.
|
||||
\big@size=\dimen153
|
||||
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
|
||||
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
|
||||
\macc@depth=\count273
|
||||
LaTeX Info: Redefining \bmod on input line 905.
|
||||
LaTeX Info: Redefining \pmod on input line 910.
|
||||
LaTeX Info: Redefining \smash on input line 940.
|
||||
LaTeX Info: Redefining \relbar on input line 970.
|
||||
LaTeX Info: Redefining \Relbar on input line 971.
|
||||
\c@MaxMatrixCols=\count274
|
||||
\dotsspace@=\muskip16
|
||||
\c@parentequation=\count275
|
||||
\dspbrk@lvl=\count276
|
||||
\tag@help=\toks21
|
||||
\row@=\count277
|
||||
\column@=\count278
|
||||
\maxfields@=\count279
|
||||
\andhelp@=\toks22
|
||||
\eqnshift@=\dimen154
|
||||
\alignsep@=\dimen155
|
||||
\tagshift@=\dimen156
|
||||
\tagwidth@=\dimen157
|
||||
\totwidth@=\dimen158
|
||||
\lineht@=\dimen159
|
||||
\@envbody=\toks23
|
||||
\multlinegap=\skip51
|
||||
\multlinetaggap=\skip52
|
||||
\mathdisplay@stack=\toks24
|
||||
LaTeX Info: Redefining \[ on input line 2953.
|
||||
LaTeX Info: Redefining \] on input line 2954.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
||||
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
|
||||
\symAMSa=\mathgroup4
|
||||
\symAMSb=\mathgroup5
|
||||
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
|
||||
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
||||
Package: amssymb 2013/01/14 v3.01 AMS font symbols
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
|
||||
Package: amsthm 2020/05/29 v2.20.6
|
||||
\thm@style=\toks25
|
||||
\thm@bodyfont=\toks26
|
||||
\thm@headfont=\toks27
|
||||
\thm@notefont=\toks28
|
||||
\thm@headpunct=\toks29
|
||||
\thm@preskip=\skip53
|
||||
\thm@postskip=\skip54
|
||||
\thm@headsep=\skip55
|
||||
\dth@everypar=\toks30
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
||||
File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX)
|
||||
\l__color_backend_stack_int=\count280
|
||||
\l__pdf_internal_box=\box53
|
||||
) (./ex6.aux)
|
||||
\openout1 = `ex6.aux'.
|
||||
|
||||
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Info: Redefining \degres on input line 8.
|
||||
LaTeX Info: Redefining \up on input line 8.
|
||||
|
||||
! Undefined control sequence.
|
||||
l.10 ... H\"older est Allemand, Aleksander Pe\lczy
|
||||
\'nski est Polonais, Ana S...
|
||||
|
||||
?
|
||||
[1
|
||||
|
||||
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fonts
|
||||
/enc/dvips/cm-super/cm-super-t1.enc}] (./ex6.aux) )
|
||||
Here is how much of TeX's memory you used:
|
||||
3784 strings out of 477985
|
||||
57586 string characters out of 5840058
|
||||
1850388 words of memory out of 5000000
|
||||
24005 multiletter control sequences out of 15000+600000
|
||||
513050 words of font info for 33 fonts, out of 8000000 for 9000
|
||||
14 hyphenation exceptions out of 8191
|
||||
56i,5n,62p,254b,428s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/share/texmf-dist/fonts
|
||||
/type1/public/cm-super/sfrm1000.pfb>
|
||||
Output written on ex6.pdf (1 page, 20568 bytes).
|
||||
PDF statistics:
|
||||
14 PDF objects out of 1000 (max. 8388607)
|
||||
8 compressed objects within 1 object stream
|
||||
0 named destinations out of 1000 (max. 500000)
|
||||
1 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
Binary file not shown.
@ -1,13 +0,0 @@
|
||||
\documentclass{article}
|
||||
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[french]{babel}
|
||||
\usepackage{amsmath, amsfonts, amssymb, amsthm}
|
||||
|
||||
\begin{document}
|
||||
|
||||
Tous les math\'ematiciens ne sont pas Fran\c{c}ais. Par exemple, F\'elix Mart\'inez et N\'u\~nez Vald\'es sont Espagnols, Otto H\"older est Allemand, Aleksander Pe\l czy\'nski est Polonais, Ana Sliep\v{c}evi\'c est Croate, etc
|
||||
|
||||
\end{document}
|
||||
|
||||
@ -1,9 +0,0 @@
|
||||
\relax
|
||||
\providecommand\babel@aux[2]{}
|
||||
\@nameuse{bbl@beforestart}
|
||||
\catcode `:\active
|
||||
\catcode `;\active
|
||||
\catcode `!\active
|
||||
\catcode `?\active
|
||||
\babel@aux{french}{}
|
||||
\gdef \@abspage@last{1}
|
||||
@ -1,243 +0,0 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.9.19) 19 SEP 2023 15:20
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
%&-line parsing enabled.
|
||||
**ex7.tex
|
||||
(./ex7.tex
|
||||
LaTeX2e <2022-11-01> patch level 1
|
||||
L3 programming layer <2023-02-22>
|
||||
(/usr/share/texmf-dist/tex/latex/base/article.cls
|
||||
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
|
||||
(/usr/share/texmf-dist/tex/latex/base/size10.clo
|
||||
File: size10.clo 2022/07/02 v1.4n Standard LaTeX file (size option)
|
||||
)
|
||||
\c@part=\count185
|
||||
\c@section=\count186
|
||||
\c@subsection=\count187
|
||||
\c@subsubsection=\count188
|
||||
\c@paragraph=\count189
|
||||
\c@subparagraph=\count190
|
||||
\c@figure=\count191
|
||||
\c@table=\count192
|
||||
\abovecaptionskip=\skip48
|
||||
\belowcaptionskip=\skip49
|
||||
\bibindent=\dimen140
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/inputenc.sty
|
||||
Package: inputenc 2021/02/14 v1.3d Input encoding file
|
||||
\inpenc@prehook=\toks16
|
||||
\inpenc@posthook=\toks17
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/fontenc.sty
|
||||
Package: fontenc 2021/04/29 v2.0v Standard LaTeX package
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/generic/babel/babel.sty
|
||||
Package: babel 2023/02/13 3.86 The Babel package
|
||||
\babel@savecnt=\count193
|
||||
\U@D=\dimen141
|
||||
\l@unhyphenated=\language3
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel/txtbabel.def)
|
||||
\bbl@readstream=\read2
|
||||
\bbl@dirlevel=\count194
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel-french/french.ldf
|
||||
Language: french 2023/03/08 v3.5q French support from the babel system
|
||||
Package babel Info: Hyphen rules for 'french' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 87.
|
||||
|
||||
|
||||
Package babel Warning: No hyphenation patterns were preloaded for
|
||||
(babel) the language 'French' into the format.
|
||||
(babel) Please, configure your TeX system to add them and
|
||||
(babel) rebuild the format. Now I will use the patterns
|
||||
(babel) preloaded for \language=nohyphenation instead on input l
|
||||
ine 87.
|
||||
|
||||
Package babel Info: Hyphen rules for 'acadian' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 91.
|
||||
Package babel Info: Hyphen rules for 'canadien' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 92.
|
||||
\FB@nonchar=\count195
|
||||
Package babel Info: Making : an active character on input line 395.
|
||||
Package babel Info: Making ; an active character on input line 396.
|
||||
Package babel Info: Making ! an active character on input line 397.
|
||||
Package babel Info: Making ? an active character on input line 398.
|
||||
\FBguill@level=\count196
|
||||
\FBold@everypar=\toks18
|
||||
\FB@Mht=\dimen142
|
||||
\mc@charclass=\count197
|
||||
\mc@charfam=\count198
|
||||
\mc@charslot=\count199
|
||||
\std@mcc=\count266
|
||||
\dec@mcc=\count267
|
||||
\FB@parskip=\dimen143
|
||||
\listindentFB=\dimen144
|
||||
\descindentFB=\dimen145
|
||||
\labelindentFB=\dimen146
|
||||
\labelwidthFB=\dimen147
|
||||
\leftmarginFB=\dimen148
|
||||
\parindentFFN=\dimen149
|
||||
\FBfnindent=\dimen150
|
||||
)) (/usr/share/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex
|
||||
Package babel Info: Importing font and identification data for french
|
||||
(babel) from babel-fr.ini. Reported on input line 11.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty)
|
||||
(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty
|
||||
Package: keyval 2022/05/29 v1.15 key=value parser (DPC)
|
||||
\KV@toks@=\toks19
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
Package: amsmath 2022/04/08 v2.17n AMS math features
|
||||
\@mathmargin=\skip50
|
||||
|
||||
For additional information on amsmath, use the `?' option.
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
|
||||
Package: amstext 2021/08/26 v2.01 AMS text
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
|
||||
File: amsgen.sty 1999/11/30 v2.0 generic functions
|
||||
\@emptytoks=\toks20
|
||||
\ex@=\dimen151
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
||||
\pmbraise@=\dimen152
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
Package: amsopn 2022/04/08 v2.04 operator names
|
||||
)
|
||||
\inf@bad=\count268
|
||||
LaTeX Info: Redefining \frac on input line 234.
|
||||
\uproot@=\count269
|
||||
\leftroot@=\count270
|
||||
LaTeX Info: Redefining \overline on input line 399.
|
||||
LaTeX Info: Redefining \colon on input line 410.
|
||||
\classnum@=\count271
|
||||
\DOTSCASE@=\count272
|
||||
LaTeX Info: Redefining \ldots on input line 496.
|
||||
LaTeX Info: Redefining \dots on input line 499.
|
||||
LaTeX Info: Redefining \cdots on input line 620.
|
||||
\Mathstrutbox@=\box51
|
||||
\strutbox@=\box52
|
||||
LaTeX Info: Redefining \big on input line 722.
|
||||
LaTeX Info: Redefining \Big on input line 723.
|
||||
LaTeX Info: Redefining \bigg on input line 724.
|
||||
LaTeX Info: Redefining \Bigg on input line 725.
|
||||
\big@size=\dimen153
|
||||
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
|
||||
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
|
||||
\macc@depth=\count273
|
||||
LaTeX Info: Redefining \bmod on input line 905.
|
||||
LaTeX Info: Redefining \pmod on input line 910.
|
||||
LaTeX Info: Redefining \smash on input line 940.
|
||||
LaTeX Info: Redefining \relbar on input line 970.
|
||||
LaTeX Info: Redefining \Relbar on input line 971.
|
||||
\c@MaxMatrixCols=\count274
|
||||
\dotsspace@=\muskip16
|
||||
\c@parentequation=\count275
|
||||
\dspbrk@lvl=\count276
|
||||
\tag@help=\toks21
|
||||
\row@=\count277
|
||||
\column@=\count278
|
||||
\maxfields@=\count279
|
||||
\andhelp@=\toks22
|
||||
\eqnshift@=\dimen154
|
||||
\alignsep@=\dimen155
|
||||
\tagshift@=\dimen156
|
||||
\tagwidth@=\dimen157
|
||||
\totwidth@=\dimen158
|
||||
\lineht@=\dimen159
|
||||
\@envbody=\toks23
|
||||
\multlinegap=\skip51
|
||||
\multlinetaggap=\skip52
|
||||
\mathdisplay@stack=\toks24
|
||||
LaTeX Info: Redefining \[ on input line 2953.
|
||||
LaTeX Info: Redefining \] on input line 2954.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
||||
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
|
||||
\symAMSa=\mathgroup4
|
||||
\symAMSb=\mathgroup5
|
||||
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
|
||||
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
||||
Package: amssymb 2013/01/14 v3.01 AMS font symbols
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
|
||||
Package: amsthm 2020/05/29 v2.20.6
|
||||
\thm@style=\toks25
|
||||
\thm@bodyfont=\toks26
|
||||
\thm@headfont=\toks27
|
||||
\thm@notefont=\toks28
|
||||
\thm@headpunct=\toks29
|
||||
\thm@preskip=\skip53
|
||||
\thm@postskip=\skip54
|
||||
\thm@headsep=\skip55
|
||||
\dth@everypar=\toks30
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
||||
File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX)
|
||||
\l__color_backend_stack_int=\count280
|
||||
\l__pdf_internal_box=\box53
|
||||
) (./ex7.aux)
|
||||
\openout1 = `ex7.aux'.
|
||||
|
||||
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Info: Redefining \degres on input line 8.
|
||||
LaTeX Info: Redefining \up on input line 8.
|
||||
|
||||
! Undefined control sequence.
|
||||
l.10 ...c \textbf{mod\'eration}. Si on met \textif
|
||||
{trop de texte} en \'evide...
|
||||
|
||||
?
|
||||
LaTeX Font Info: Trying to load font information for T1+cmtt on input line 1
|
||||
1.
|
||||
(/usr/share/texmf-dist/tex/latex/base/t1cmtt.fd
|
||||
File: t1cmtt.fd 2022/07/10 v2.5l Standard LaTeX font definitions
|
||||
)
|
||||
! Undefined control sequence.
|
||||
l.17 \textif
|
||||
{Dans un texte en italique, elle \'ecrit \emph{un mot} en style ...
|
||||
|
||||
?
|
||||
[1
|
||||
|
||||
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fonts
|
||||
/enc/dvips/cm-super/cm-super-t1.enc}] (./ex7.aux) )
|
||||
Here is how much of TeX's memory you used:
|
||||
3809 strings out of 477985
|
||||
58244 string characters out of 5840058
|
||||
1850388 words of memory out of 5000000
|
||||
24024 multiletter control sequences out of 15000+600000
|
||||
514825 words of font info for 36 fonts, out of 8000000 for 9000
|
||||
14 hyphenation exceptions out of 8191
|
||||
56i,5n,62p,266b,428s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/share/texmf-dist/fonts
|
||||
/type1/public/cm-super/sfbx1000.pfb></usr/share/texmf-dist/fonts/type1/public/c
|
||||
m-super/sfrm1000.pfb></usr/share/texmf-dist/fonts/type1/public/cm-super/sfti100
|
||||
0.pfb></usr/share/texmf-dist/fonts/type1/public/cm-super/sftt1000.pfb>
|
||||
Output written on ex7.pdf (1 page, 55091 bytes).
|
||||
PDF statistics:
|
||||
29 PDF objects out of 1000 (max. 8388607)
|
||||
17 compressed objects within 1 object stream
|
||||
0 named destinations out of 1000 (max. 500000)
|
||||
1 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
Binary file not shown.
@ -1,22 +0,0 @@
|
||||
\documentclass{article}
|
||||
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[french]{babel}
|
||||
\usepackage{amsmath, amsfonts, amssymb, amsthm}
|
||||
|
||||
\begin{document}
|
||||
|
||||
Il faut changer le style avec \textbf{mod\'eration}. Si on met \textif{trop de texte} en \'evidence,
|
||||
cela pourrait porter \'a confusion ou \^etre tout simplement \textbf{moche}. La commade \verb!\emph! est particuli\`erement utile.
|
||||
|
||||
\begin{center}
|
||||
|
||||
Dans un text normal, elle \'ecrit un \emph{mot} en italique
|
||||
|
||||
\textif{Dans un texte en italique, elle \'ecrit \emph{un mot} en style droit.}
|
||||
|
||||
\end{center}
|
||||
|
||||
|
||||
\end{document}
|
||||
@ -1,9 +0,0 @@
|
||||
\relax
|
||||
\providecommand\babel@aux[2]{}
|
||||
\@nameuse{bbl@beforestart}
|
||||
\catcode `:\active
|
||||
\catcode `;\active
|
||||
\catcode `!\active
|
||||
\catcode `?\active
|
||||
\babel@aux{french}{}
|
||||
\gdef \@abspage@last{1}
|
||||
@ -1,226 +0,0 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.9.19) 19 SEP 2023 15:24
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
%&-line parsing enabled.
|
||||
**ex8.tex
|
||||
(./ex8.tex
|
||||
LaTeX2e <2022-11-01> patch level 1
|
||||
L3 programming layer <2023-02-22>
|
||||
(/usr/share/texmf-dist/tex/latex/base/article.cls
|
||||
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
|
||||
(/usr/share/texmf-dist/tex/latex/base/size10.clo
|
||||
File: size10.clo 2022/07/02 v1.4n Standard LaTeX file (size option)
|
||||
)
|
||||
\c@part=\count185
|
||||
\c@section=\count186
|
||||
\c@subsection=\count187
|
||||
\c@subsubsection=\count188
|
||||
\c@paragraph=\count189
|
||||
\c@subparagraph=\count190
|
||||
\c@figure=\count191
|
||||
\c@table=\count192
|
||||
\abovecaptionskip=\skip48
|
||||
\belowcaptionskip=\skip49
|
||||
\bibindent=\dimen140
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/inputenc.sty
|
||||
Package: inputenc 2021/02/14 v1.3d Input encoding file
|
||||
\inpenc@prehook=\toks16
|
||||
\inpenc@posthook=\toks17
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/base/fontenc.sty
|
||||
Package: fontenc 2021/04/29 v2.0v Standard LaTeX package
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/generic/babel/babel.sty
|
||||
Package: babel 2023/02/13 3.86 The Babel package
|
||||
\babel@savecnt=\count193
|
||||
\U@D=\dimen141
|
||||
\l@unhyphenated=\language3
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel/txtbabel.def)
|
||||
\bbl@readstream=\read2
|
||||
\bbl@dirlevel=\count194
|
||||
|
||||
(/usr/share/texmf-dist/tex/generic/babel-french/french.ldf
|
||||
Language: french 2023/03/08 v3.5q French support from the babel system
|
||||
Package babel Info: Hyphen rules for 'french' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 87.
|
||||
|
||||
|
||||
Package babel Warning: No hyphenation patterns were preloaded for
|
||||
(babel) the language 'French' into the format.
|
||||
(babel) Please, configure your TeX system to add them and
|
||||
(babel) rebuild the format. Now I will use the patterns
|
||||
(babel) preloaded for \language=nohyphenation instead on input l
|
||||
ine 87.
|
||||
|
||||
Package babel Info: Hyphen rules for 'acadian' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 91.
|
||||
Package babel Info: Hyphen rules for 'canadien' set to \l@nohyphenation
|
||||
(babel) (\language2). Reported on input line 92.
|
||||
\FB@nonchar=\count195
|
||||
Package babel Info: Making : an active character on input line 395.
|
||||
Package babel Info: Making ; an active character on input line 396.
|
||||
Package babel Info: Making ! an active character on input line 397.
|
||||
Package babel Info: Making ? an active character on input line 398.
|
||||
\FBguill@level=\count196
|
||||
\FBold@everypar=\toks18
|
||||
\FB@Mht=\dimen142
|
||||
\mc@charclass=\count197
|
||||
\mc@charfam=\count198
|
||||
\mc@charslot=\count199
|
||||
\std@mcc=\count266
|
||||
\dec@mcc=\count267
|
||||
\FB@parskip=\dimen143
|
||||
\listindentFB=\dimen144
|
||||
\descindentFB=\dimen145
|
||||
\labelindentFB=\dimen146
|
||||
\labelwidthFB=\dimen147
|
||||
\leftmarginFB=\dimen148
|
||||
\parindentFFN=\dimen149
|
||||
\FBfnindent=\dimen150
|
||||
)) (/usr/share/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex
|
||||
Package babel Info: Importing font and identification data for french
|
||||
(babel) from babel-fr.ini. Reported on input line 11.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty)
|
||||
(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty
|
||||
Package: keyval 2022/05/29 v1.15 key=value parser (DPC)
|
||||
\KV@toks@=\toks19
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
Package: amsmath 2022/04/08 v2.17n AMS math features
|
||||
\@mathmargin=\skip50
|
||||
|
||||
For additional information on amsmath, use the `?' option.
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
|
||||
Package: amstext 2021/08/26 v2.01 AMS text
|
||||
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
|
||||
File: amsgen.sty 1999/11/30 v2.0 generic functions
|
||||
\@emptytoks=\toks20
|
||||
\ex@=\dimen151
|
||||
))
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
||||
\pmbraise@=\dimen152
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
Package: amsopn 2022/04/08 v2.04 operator names
|
||||
)
|
||||
\inf@bad=\count268
|
||||
LaTeX Info: Redefining \frac on input line 234.
|
||||
\uproot@=\count269
|
||||
\leftroot@=\count270
|
||||
LaTeX Info: Redefining \overline on input line 399.
|
||||
LaTeX Info: Redefining \colon on input line 410.
|
||||
\classnum@=\count271
|
||||
\DOTSCASE@=\count272
|
||||
LaTeX Info: Redefining \ldots on input line 496.
|
||||
LaTeX Info: Redefining \dots on input line 499.
|
||||
LaTeX Info: Redefining \cdots on input line 620.
|
||||
\Mathstrutbox@=\box51
|
||||
\strutbox@=\box52
|
||||
LaTeX Info: Redefining \big on input line 722.
|
||||
LaTeX Info: Redefining \Big on input line 723.
|
||||
LaTeX Info: Redefining \bigg on input line 724.
|
||||
LaTeX Info: Redefining \Bigg on input line 725.
|
||||
\big@size=\dimen153
|
||||
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
|
||||
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
|
||||
\macc@depth=\count273
|
||||
LaTeX Info: Redefining \bmod on input line 905.
|
||||
LaTeX Info: Redefining \pmod on input line 910.
|
||||
LaTeX Info: Redefining \smash on input line 940.
|
||||
LaTeX Info: Redefining \relbar on input line 970.
|
||||
LaTeX Info: Redefining \Relbar on input line 971.
|
||||
\c@MaxMatrixCols=\count274
|
||||
\dotsspace@=\muskip16
|
||||
\c@parentequation=\count275
|
||||
\dspbrk@lvl=\count276
|
||||
\tag@help=\toks21
|
||||
\row@=\count277
|
||||
\column@=\count278
|
||||
\maxfields@=\count279
|
||||
\andhelp@=\toks22
|
||||
\eqnshift@=\dimen154
|
||||
\alignsep@=\dimen155
|
||||
\tagshift@=\dimen156
|
||||
\tagwidth@=\dimen157
|
||||
\totwidth@=\dimen158
|
||||
\lineht@=\dimen159
|
||||
\@envbody=\toks23
|
||||
\multlinegap=\skip51
|
||||
\multlinetaggap=\skip52
|
||||
\mathdisplay@stack=\toks24
|
||||
LaTeX Info: Redefining \[ on input line 2953.
|
||||
LaTeX Info: Redefining \] on input line 2954.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
||||
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
|
||||
\symAMSa=\mathgroup4
|
||||
\symAMSb=\mathgroup5
|
||||
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
|
||||
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
||||
Package: amssymb 2013/01/14 v3.01 AMS font symbols
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
|
||||
Package: amsthm 2020/05/29 v2.20.6
|
||||
\thm@style=\toks25
|
||||
\thm@bodyfont=\toks26
|
||||
\thm@headfont=\toks27
|
||||
\thm@notefont=\toks28
|
||||
\thm@headpunct=\toks29
|
||||
\thm@preskip=\skip53
|
||||
\thm@postskip=\skip54
|
||||
\thm@headsep=\skip55
|
||||
\dth@everypar=\toks30
|
||||
)
|
||||
(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
||||
File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX)
|
||||
\l__color_backend_stack_int=\count280
|
||||
\l__pdf_internal_box=\box53
|
||||
) (./ex8.aux)
|
||||
\openout1 = `ex8.aux'.
|
||||
|
||||
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 8.
|
||||
LaTeX Font Info: ... okay on input line 8.
|
||||
LaTeX Info: Redefining \degres on input line 8.
|
||||
LaTeX Info: Redefining \up on input line 8.
|
||||
|
||||
[1
|
||||
|
||||
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fonts
|
||||
/enc/dvips/cm-super/cm-super-t1.enc}] (./ex8.aux) )
|
||||
Here is how much of TeX's memory you used:
|
||||
3784 strings out of 477985
|
||||
57586 string characters out of 5840058
|
||||
1849388 words of memory out of 5000000
|
||||
24005 multiletter control sequences out of 15000+600000
|
||||
513050 words of font info for 33 fonts, out of 8000000 for 9000
|
||||
14 hyphenation exceptions out of 8191
|
||||
56i,5n,62p,199b,428s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/share/texmf-dist/fonts
|
||||
/type1/public/cm-super/sfrm1000.pfb>
|
||||
Output written on ex8.pdf (1 page, 15239 bytes).
|
||||
PDF statistics:
|
||||
14 PDF objects out of 1000 (max. 8388607)
|
||||
8 compressed objects within 1 object stream
|
||||
0 named destinations out of 1000 (max. 500000)
|
||||
1 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
Binary file not shown.
@ -1,13 +0,0 @@
|
||||
\documentclass{article}
|
||||
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[french]{babel}
|
||||
\usepackage{amsmath, amsfonts, amssymb, amsthm}
|
||||
|
||||
\begin{document}
|
||||
|
||||
\noindent C'est \'a gauche \hfill c'est \'a droite \\
|
||||
C'est \'a gauche\hfill c'est au centre \hfill c'est \'a droite
|
||||
|
||||
\end{document}
|
||||
Binary file not shown.
@ -1,81 +0,0 @@
|
||||
\documentclass{beamer}
|
||||
|
||||
\usepackage{tikz}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[french]{babel}
|
||||
\usepackage{amsmath, amsfonts, amssymb, amsthm}
|
||||
|
||||
\usetheme{Umons}
|
||||
|
||||
\title{Un petit exemple de Beamer}
|
||||
\author{Debucquoy Anthony}
|
||||
\institute{Universit\'e de Mons}
|
||||
|
||||
\section{Figure}
|
||||
\section{Formules math\'ematiques disponibles}
|
||||
\section{Sur deux colonnes}
|
||||
|
||||
\begin{document}
|
||||
|
||||
\begin{frame}[t]
|
||||
\maketitle
|
||||
\end{frame}
|
||||
|
||||
\begin{frame}[t]
|
||||
\frametitle{Table des mati\'eres}
|
||||
\tableofcontents
|
||||
\end{frame}
|
||||
|
||||
\begin{frame}[t]
|
||||
\frametitle{Pentagone}
|
||||
\framesubtitle{Un pentagone est un polygone \`a cinq sommets et cinq cot\'es.}
|
||||
\begin{block}{Pentagone r\'egulier}
|
||||
Un pentagone r\'egulier est un pentagone dont tous les cot\'es sont de m\^eme longeur et dont tous les angles internes valent 108 degr\'es.
|
||||
\end{block}
|
||||
|
||||
\begin{block}{Construction d'un pentagone r\'egulier avec Tikz}
|
||||
On demande:
|
||||
\begin{itemize}
|
||||
\item que les cot\'es du pentagone mesurent 1.5 centim\`etre
|
||||
\item Que le pentagone soit colori\'e en gris
|
||||
\begin{center}
|
||||
\begin{tikzpicture}[scale=1, transform shape]
|
||||
\fill[gray] (0*360/5:1) -- (1*360/5:1) -- (2*360/5:1) -- (3*360/5:1) -- (4*360/5:1) -- cycle;
|
||||
\draw (0*360/5:1) -- (1*360/5:1) -- (2*360/5:1) -- (3*360/5:1) -- (4*360/5:1) -- cycle;
|
||||
\end{tikzpicture}
|
||||
\end{center}
|
||||
\end{itemize}
|
||||
\end{block}
|
||||
\end{frame}
|
||||
|
||||
\begin{frame}[t]
|
||||
\frametitle{Formules math\'ematiques disponibles dans TikZ}
|
||||
Les op\'erations
|
||||
\begin{itemize}
|
||||
\item Operations de base : $ x + y, x - y, x * y, x / y, x^y$
|
||||
\item Modulo, maxmum, minimum: $\mod(x,y), \max(x,y) \min(x,y)$
|
||||
\end{itemize}
|
||||
Les fonctions
|
||||
\begin{enumerate}
|
||||
\item $abs(x), exp(x), ln(x), sqrt(x)$
|
||||
\item Arrondi, partie enti\'ere, partie enti\'ere sup\'erieure : round(x), floor(x), ceil(x).
|
||||
\end{enumerate}
|
||||
\begin{itemize}
|
||||
\item sin(x), cos(x), tan(x), cot(x), sec(x), cosec(x)
|
||||
\end{itemize}
|
||||
\end{frame}
|
||||
|
||||
\begin{frame}[t]
|
||||
\frametitle{Une int\'egrale}
|
||||
On a que
|
||||
\[ \int^2_1 \frac{1}{x} dx = \ln2 \]
|
||||
La valeur $\ln2$ repr\'esente donc l'aire gris\'ee sur le graphe suivant.
|
||||
\begin{center}
|
||||
\begin{tikzpicture}[scale=1, transform shape]
|
||||
\plot{ln x}
|
||||
\end{tikzpicture}
|
||||
\end{center}
|
||||
\end{frame}
|
||||
|
||||
\end{document}
|
||||
9
bac2/modalDev/e23/question1/.gitattributes
vendored
9
bac2/modalDev/e23/question1/.gitattributes
vendored
@ -1,9 +0,0 @@
|
||||
#
|
||||
# https://help.github.com/articles/dealing-with-line-endings/
|
||||
#
|
||||
# Linux start script should use lf
|
||||
/gradlew text eol=lf
|
||||
|
||||
# These are Windows script files and should use crlf
|
||||
*.bat text eol=crlf
|
||||
|
||||
5
bac2/modalDev/e23/question1/.gitignore
vendored
5
bac2/modalDev/e23/question1/.gitignore
vendored
@ -1,5 +0,0 @@
|
||||
# Ignore Gradle project-specific cache directory
|
||||
.gradle
|
||||
|
||||
# Ignore Gradle build output directory
|
||||
build
|
||||
@ -1,28 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<projectDescription>
|
||||
<name>question1</name>
|
||||
<comment>Project question1 created by Buildship.</comment>
|
||||
<projects>
|
||||
</projects>
|
||||
<buildSpec>
|
||||
<buildCommand>
|
||||
<name>org.eclipse.buildship.core.gradleprojectbuilder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
</buildSpec>
|
||||
<natures>
|
||||
<nature>org.eclipse.buildship.core.gradleprojectnature</nature>
|
||||
</natures>
|
||||
<filteredResources>
|
||||
<filter>
|
||||
<id>1705161555233</id>
|
||||
<name></name>
|
||||
<type>30</type>
|
||||
<matcher>
|
||||
<id>org.eclipse.core.resources.regexFilterMatcher</id>
|
||||
<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
|
||||
</matcher>
|
||||
</filter>
|
||||
</filteredResources>
|
||||
</projectDescription>
|
||||
@ -1,13 +0,0 @@
|
||||
arguments=--init-script /home/tonitch/.dotfiles/vim/.vim/bundle/YouCompleteMe/third_party/ycmd/third_party/eclipse.jdt.ls/workspace/config_linux/org.eclipse.osgi/55/0/.cp/gradle/init/init.gradle
|
||||
auto.sync=false
|
||||
build.scans.enabled=false
|
||||
connection.gradle.distribution=GRADLE_DISTRIBUTION(WRAPPER)
|
||||
connection.project.dir=
|
||||
eclipse.preferences.version=1
|
||||
gradle.user.home=
|
||||
java.home=/usr/lib/jvm/java-21-openjdk
|
||||
jvm.arguments=
|
||||
offline.mode=false
|
||||
override.workspace.settings=true
|
||||
show.console.view=true
|
||||
show.executions.view=true
|
||||
@ -1,32 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<classpath>
|
||||
<classpathentry kind="src" output="bin/main" path="src/main/java">
|
||||
<attributes>
|
||||
<attribute name="gradle_scope" value="main"/>
|
||||
<attribute name="gradle_used_by_scope" value="main,test"/>
|
||||
</attributes>
|
||||
</classpathentry>
|
||||
<classpathentry kind="src" output="bin/main" path="src/main/resources">
|
||||
<attributes>
|
||||
<attribute name="gradle_scope" value="main"/>
|
||||
<attribute name="gradle_used_by_scope" value="main,test"/>
|
||||
</attributes>
|
||||
</classpathentry>
|
||||
<classpathentry kind="src" output="bin/test" path="src/test/java">
|
||||
<attributes>
|
||||
<attribute name="gradle_scope" value="test"/>
|
||||
<attribute name="gradle_used_by_scope" value="test"/>
|
||||
<attribute name="test" value="true"/>
|
||||
</attributes>
|
||||
</classpathentry>
|
||||
<classpathentry kind="src" output="bin/test" path="src/test/resources">
|
||||
<attributes>
|
||||
<attribute name="gradle_scope" value="test"/>
|
||||
<attribute name="gradle_used_by_scope" value="test"/>
|
||||
<attribute name="test" value="true"/>
|
||||
</attributes>
|
||||
</classpathentry>
|
||||
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21/"/>
|
||||
<classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>
|
||||
<classpathentry kind="output" path="bin/default"/>
|
||||
</classpath>
|
||||
@ -1,34 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<projectDescription>
|
||||
<name>app</name>
|
||||
<comment></comment>
|
||||
<projects>
|
||||
</projects>
|
||||
<buildSpec>
|
||||
<buildCommand>
|
||||
<name>org.eclipse.jdt.core.javabuilder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
<buildCommand>
|
||||
<name>org.eclipse.buildship.core.gradleprojectbuilder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
</buildSpec>
|
||||
<natures>
|
||||
<nature>org.eclipse.jdt.core.javanature</nature>
|
||||
<nature>org.eclipse.buildship.core.gradleprojectnature</nature>
|
||||
</natures>
|
||||
<filteredResources>
|
||||
<filter>
|
||||
<id>1705162039553</id>
|
||||
<name></name>
|
||||
<type>30</type>
|
||||
<matcher>
|
||||
<id>org.eclipse.core.resources.regexFilterMatcher</id>
|
||||
<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
|
||||
</matcher>
|
||||
</filter>
|
||||
</filteredResources>
|
||||
</projectDescription>
|
||||
@ -1,13 +0,0 @@
|
||||
arguments=
|
||||
auto.sync=false
|
||||
build.scans.enabled=false
|
||||
connection.gradle.distribution=GRADLE_DISTRIBUTION(WRAPPER)
|
||||
connection.project.dir=..
|
||||
eclipse.preferences.version=1
|
||||
gradle.user.home=
|
||||
java.home=
|
||||
jvm.arguments=
|
||||
offline.mode=false
|
||||
override.workspace.settings=false
|
||||
show.console.view=false
|
||||
show.executions.view=false
|
||||
@ -1,11 +0,0 @@
|
||||
eclipse.preferences.version=1
|
||||
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
|
||||
org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
|
||||
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
|
||||
org.eclipse.jdt.core.compiler.compliance=21
|
||||
org.eclipse.jdt.core.compiler.debug.lineNumber=generate
|
||||
org.eclipse.jdt.core.compiler.debug.localVariable=generate
|
||||
org.eclipse.jdt.core.compiler.debug.sourceFile=generate
|
||||
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
|
||||
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
|
||||
org.eclipse.jdt.core.compiler.source=21
|
||||
@ -1,44 +0,0 @@
|
||||
/*
|
||||
* This file was generated by the Gradle 'init' task.
|
||||
*
|
||||
* This generated file contains a sample Java application project to get you started.
|
||||
* For more details on building Java & JVM projects, please refer to https://docs.gradle.org/8.5/userguide/building_java_projects.html in the Gradle documentation.
|
||||
*/
|
||||
|
||||
plugins {
|
||||
// Apply the application plugin to add support for building a CLI application in Java.
|
||||
application
|
||||
eclipse
|
||||
}
|
||||
|
||||
repositories {
|
||||
// Use Maven Central for resolving dependencies.
|
||||
mavenCentral()
|
||||
}
|
||||
|
||||
dependencies {
|
||||
// Use JUnit Jupiter for testing.
|
||||
testImplementation(libs.junit.jupiter)
|
||||
|
||||
testRuntimeOnly("org.junit.platform:junit-platform-launcher")
|
||||
|
||||
// This dependency is used by the application.
|
||||
implementation(libs.guava)
|
||||
}
|
||||
|
||||
// Apply a specific Java toolchain to ease working on different environments.
|
||||
java {
|
||||
toolchain {
|
||||
languageVersion.set(JavaLanguageVersion.of(21))
|
||||
}
|
||||
}
|
||||
|
||||
application {
|
||||
// Define the main class for the application.
|
||||
mainClass.set("question1.App")
|
||||
}
|
||||
|
||||
tasks.named<Test>("test") {
|
||||
// Use JUnit Platform for unit tests.
|
||||
useJUnitPlatform()
|
||||
}
|
||||
@ -1,14 +0,0 @@
|
||||
/*
|
||||
* This Java source file was generated by the Gradle 'init' task.
|
||||
*/
|
||||
package question1;
|
||||
|
||||
public class App {
|
||||
public String getGreeting() {
|
||||
return "Hello World!";
|
||||
}
|
||||
|
||||
public static void main(String[] args) {
|
||||
System.out.println(new App().getGreeting());
|
||||
}
|
||||
}
|
||||
@ -1,49 +0,0 @@
|
||||
package question1;
|
||||
|
||||
import java.util.HashMap;
|
||||
|
||||
public class InventoryManagement {
|
||||
|
||||
// cnt[zone][product] = quantity
|
||||
HashMap<Integer, HashMap<Integer, Integer>> cnt = new HashMap<>();
|
||||
|
||||
// ajoute dans une zone du stock une quantité donnée d’un produit donné
|
||||
void replenish(int product, int quantity, int destination_zone) throws ZoneFullException{
|
||||
cnt.putIfAbsent(destination_zone, new HashMap<>());
|
||||
cnt.get(destination_zone).putIfAbsent(product, 0);
|
||||
Integer q = cnt.get(destination_zone).get(product) + quantity;
|
||||
if(q > 100)
|
||||
throw new ZoneFullException();
|
||||
cnt.get(destination_zone).put(product, q);
|
||||
}
|
||||
|
||||
// retire d’une zone spécifique du stock une quantité donnée d’un produit donné pour l’envoyer vers le réseau de distribution
|
||||
void distribute(int product, int source_zone, int quantity) throws StockOutException{
|
||||
cnt.putIfAbsent(source_zone, new HashMap<>());
|
||||
cnt.get(source_zone).putIfAbsent(product, 0);
|
||||
Integer q = cnt.get(source_zone).get(product) - quantity;
|
||||
if(q < 0)
|
||||
throw new StockOutException();
|
||||
cnt.get(source_zone).put(product, q);
|
||||
}
|
||||
|
||||
// déplace une quantité donnée d’un produit vers une autre zone
|
||||
void move(int product, int quantity, int source_zone, int destination_zone) throws StockOutException, ZoneFullException {
|
||||
distribute(product, source_zone, quantity);
|
||||
try {
|
||||
replenish(product, quantity, destination_zone);
|
||||
}catch(ZoneFullException e){
|
||||
replenish(product, quantity, source_zone);
|
||||
throw e;
|
||||
}
|
||||
}
|
||||
|
||||
// retourne la quantité disponible d’un produit donné dans le stock, toutes zones confondues
|
||||
int quantity(int product){
|
||||
int sum[] = {0};
|
||||
cnt.forEach((key, value) -> {
|
||||
sum[0] += value.getOrDefault(product, 0);
|
||||
});
|
||||
return sum[0];
|
||||
}
|
||||
}
|
||||
@ -1,6 +0,0 @@
|
||||
package question1;
|
||||
|
||||
public class StockOutException extends Exception{
|
||||
|
||||
}
|
||||
|
||||
@ -1,4 +0,0 @@
|
||||
package question1;
|
||||
|
||||
public class ZoneFullException extends Exception {}
|
||||
|
||||
@ -1,14 +0,0 @@
|
||||
/*
|
||||
* This Java source file was generated by the Gradle 'init' task.
|
||||
*/
|
||||
package question1;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
import static org.junit.jupiter.api.Assertions.*;
|
||||
|
||||
class AppTest {
|
||||
@Test void appHasAGreeting() {
|
||||
App classUnderTest = new App();
|
||||
assertNotNull(classUnderTest.getGreeting(), "app should have a greeting");
|
||||
}
|
||||
}
|
||||
@ -1,55 +0,0 @@
|
||||
package question1;
|
||||
|
||||
import static org.junit.jupiter.api.Assertions.assertEquals;
|
||||
import static org.junit.jupiter.api.Assertions.assertThrows;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
public class InventoryManagementTest {
|
||||
|
||||
@Test
|
||||
public void testExceptions() throws Exception {
|
||||
InventoryManagement iv = new InventoryManagement();
|
||||
iv.replenish(0, 10, 0);
|
||||
assertThrows(ZoneFullException.class, () -> iv.replenish(0, 96, 0));
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testExceptions2() throws Exception {
|
||||
InventoryManagement iv = new InventoryManagement();
|
||||
assertThrows(StockOutException.class, () -> iv.distribute(0, 0, 92));
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testQuantity() throws Exception {
|
||||
InventoryManagement iv = new InventoryManagement();
|
||||
iv.replenish(2, 42, 0);
|
||||
iv.replenish(2, 21, 1);
|
||||
iv.replenish(2, 0, 3);
|
||||
assertEquals(63, iv.quantity(2));
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testMove() throws Exception {
|
||||
InventoryManagement iv = new InventoryManagement();
|
||||
iv.replenish(42, 50, 1);
|
||||
iv.move(42, 21, 1, 2);
|
||||
assertEquals(50, iv.quantity(42));
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testFailure() throws Exception {
|
||||
InventoryManagement iv = new InventoryManagement();
|
||||
iv.replenish(42, 50, 1);
|
||||
iv.replenish(42, 50, 2);
|
||||
assertEquals(5050, iv.quantity(42)); // Should return a Failure
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testError() throws Exception {
|
||||
InventoryManagement iv = new InventoryManagement();
|
||||
iv.replenish(42, 100, 1);
|
||||
iv.replenish(42, 1, 1); // Should create an error
|
||||
|
||||
}
|
||||
}
|
||||
@ -1,10 +0,0 @@
|
||||
# This file was generated by the Gradle 'init' task.
|
||||
# https://docs.gradle.org/current/userguide/platforms.html#sub::toml-dependencies-format
|
||||
|
||||
[versions]
|
||||
guava = "32.1.2-jre"
|
||||
junit-jupiter = "5.10.0"
|
||||
|
||||
[libraries]
|
||||
guava = { module = "com.google.guava:guava", version.ref = "guava" }
|
||||
junit-jupiter = { module = "org.junit.jupiter:junit-jupiter", version.ref = "junit-jupiter" }
|
||||
Binary file not shown.
@ -1,7 +0,0 @@
|
||||
distributionBase=GRADLE_USER_HOME
|
||||
distributionPath=wrapper/dists
|
||||
distributionUrl=https\://services.gradle.org/distributions/gradle-8.5-bin.zip
|
||||
networkTimeout=10000
|
||||
validateDistributionUrl=true
|
||||
zipStoreBase=GRADLE_USER_HOME
|
||||
zipStorePath=wrapper/dists
|
||||
249
bac2/modalDev/e23/question1/gradlew
vendored
249
bac2/modalDev/e23/question1/gradlew
vendored
@ -1,249 +0,0 @@
|
||||
#!/bin/sh
|
||||
|
||||
#
|
||||
# Copyright © 2015-2021 the original authors.
|
||||
#
|
||||
# Licensed under the Apache License, Version 2.0 (the "License");
|
||||
# you may not use this file except in compliance with the License.
|
||||
# You may obtain a copy of the License at
|
||||
#
|
||||
# https://www.apache.org/licenses/LICENSE-2.0
|
||||
#
|
||||
# Unless required by applicable law or agreed to in writing, software
|
||||
# distributed under the License is distributed on an "AS IS" BASIS,
|
||||
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||
# See the License for the specific language governing permissions and
|
||||
# limitations under the License.
|
||||
#
|
||||
|
||||
##############################################################################
|
||||
#
|
||||
# Gradle start up script for POSIX generated by Gradle.
|
||||
#
|
||||
# Important for running:
|
||||
#
|
||||
# (1) You need a POSIX-compliant shell to run this script. If your /bin/sh is
|
||||
# noncompliant, but you have some other compliant shell such as ksh or
|
||||
# bash, then to run this script, type that shell name before the whole
|
||||
# command line, like:
|
||||
#
|
||||
# ksh Gradle
|
||||
#
|
||||
# Busybox and similar reduced shells will NOT work, because this script
|
||||
# requires all of these POSIX shell features:
|
||||
# * functions;
|
||||
# * expansions «$var», «${var}», «${var:-default}», «${var+SET}»,
|
||||
# «${var#prefix}», «${var%suffix}», and «$( cmd )»;
|
||||
# * compound commands having a testable exit status, especially «case»;
|
||||
# * various built-in commands including «command», «set», and «ulimit».
|
||||
#
|
||||
# Important for patching:
|
||||
#
|
||||
# (2) This script targets any POSIX shell, so it avoids extensions provided
|
||||
# by Bash, Ksh, etc; in particular arrays are avoided.
|
||||
#
|
||||
# The "traditional" practice of packing multiple parameters into a
|
||||
# space-separated string is a well documented source of bugs and security
|
||||
# problems, so this is (mostly) avoided, by progressively accumulating
|
||||
# options in "$@", and eventually passing that to Java.
|
||||
#
|
||||
# Where the inherited environment variables (DEFAULT_JVM_OPTS, JAVA_OPTS,
|
||||
# and GRADLE_OPTS) rely on word-splitting, this is performed explicitly;
|
||||
# see the in-line comments for details.
|
||||
#
|
||||
# There are tweaks for specific operating systems such as AIX, CygWin,
|
||||
# Darwin, MinGW, and NonStop.
|
||||
#
|
||||
# (3) This script is generated from the Groovy template
|
||||
# https://github.com/gradle/gradle/blob/HEAD/subprojects/plugins/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt
|
||||
# within the Gradle project.
|
||||
#
|
||||
# You can find Gradle at https://github.com/gradle/gradle/.
|
||||
#
|
||||
##############################################################################
|
||||
|
||||
# Attempt to set APP_HOME
|
||||
|
||||
# Resolve links: $0 may be a link
|
||||
app_path=$0
|
||||
|
||||
# Need this for daisy-chained symlinks.
|
||||
while
|
||||
APP_HOME=${app_path%"${app_path##*/}"} # leaves a trailing /; empty if no leading path
|
||||
[ -h "$app_path" ]
|
||||
do
|
||||
ls=$( ls -ld "$app_path" )
|
||||
link=${ls#*' -> '}
|
||||
case $link in #(
|
||||
/*) app_path=$link ;; #(
|
||||
*) app_path=$APP_HOME$link ;;
|
||||
esac
|
||||
done
|
||||
|
||||
# This is normally unused
|
||||
# shellcheck disable=SC2034
|
||||
APP_BASE_NAME=${0##*/}
|
||||
# Discard cd standard output in case $CDPATH is set (https://github.com/gradle/gradle/issues/25036)
|
||||
APP_HOME=$( cd "${APP_HOME:-./}" > /dev/null && pwd -P ) || exit
|
||||
|
||||
# Use the maximum available, or set MAX_FD != -1 to use that value.
|
||||
MAX_FD=maximum
|
||||
|
||||
warn () {
|
||||
echo "$*"
|
||||
} >&2
|
||||
|
||||
die () {
|
||||
echo
|
||||
echo "$*"
|
||||
echo
|
||||
exit 1
|
||||
} >&2
|
||||
|
||||
# OS specific support (must be 'true' or 'false').
|
||||
cygwin=false
|
||||
msys=false
|
||||
darwin=false
|
||||
nonstop=false
|
||||
case "$( uname )" in #(
|
||||
CYGWIN* ) cygwin=true ;; #(
|
||||
Darwin* ) darwin=true ;; #(
|
||||
MSYS* | MINGW* ) msys=true ;; #(
|
||||
NONSTOP* ) nonstop=true ;;
|
||||
esac
|
||||
|
||||
CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
|
||||
|
||||
|
||||
# Determine the Java command to use to start the JVM.
|
||||
if [ -n "$JAVA_HOME" ] ; then
|
||||
if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
|
||||
# IBM's JDK on AIX uses strange locations for the executables
|
||||
JAVACMD=$JAVA_HOME/jre/sh/java
|
||||
else
|
||||
JAVACMD=$JAVA_HOME/bin/java
|
||||
fi
|
||||
if [ ! -x "$JAVACMD" ] ; then
|
||||
die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
|
||||
|
||||
Please set the JAVA_HOME variable in your environment to match the
|
||||
location of your Java installation."
|
||||
fi
|
||||
else
|
||||
JAVACMD=java
|
||||
if ! command -v java >/dev/null 2>&1
|
||||
then
|
||||
die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
|
||||
|
||||
Please set the JAVA_HOME variable in your environment to match the
|
||||
location of your Java installation."
|
||||
fi
|
||||
fi
|
||||
|
||||
# Increase the maximum file descriptors if we can.
|
||||
if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then
|
||||
case $MAX_FD in #(
|
||||
max*)
|
||||
# In POSIX sh, ulimit -H is undefined. That's why the result is checked to see if it worked.
|
||||
# shellcheck disable=SC2039,SC3045
|
||||
MAX_FD=$( ulimit -H -n ) ||
|
||||
warn "Could not query maximum file descriptor limit"
|
||||
esac
|
||||
case $MAX_FD in #(
|
||||
'' | soft) :;; #(
|
||||
*)
|
||||
# In POSIX sh, ulimit -n is undefined. That's why the result is checked to see if it worked.
|
||||
# shellcheck disable=SC2039,SC3045
|
||||
ulimit -n "$MAX_FD" ||
|
||||
warn "Could not set maximum file descriptor limit to $MAX_FD"
|
||||
esac
|
||||
fi
|
||||
|
||||
# Collect all arguments for the java command, stacking in reverse order:
|
||||
# * args from the command line
|
||||
# * the main class name
|
||||
# * -classpath
|
||||
# * -D...appname settings
|
||||
# * --module-path (only if needed)
|
||||
# * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables.
|
||||
|
||||
# For Cygwin or MSYS, switch paths to Windows format before running java
|
||||
if "$cygwin" || "$msys" ; then
|
||||
APP_HOME=$( cygpath --path --mixed "$APP_HOME" )
|
||||
CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" )
|
||||
|
||||
JAVACMD=$( cygpath --unix "$JAVACMD" )
|
||||
|
||||
# Now convert the arguments - kludge to limit ourselves to /bin/sh
|
||||
for arg do
|
||||
if
|
||||
case $arg in #(
|
||||
-*) false ;; # don't mess with options #(
|
||||
/?*) t=${arg#/} t=/${t%%/*} # looks like a POSIX filepath
|
||||
[ -e "$t" ] ;; #(
|
||||
*) false ;;
|
||||
esac
|
||||
then
|
||||
arg=$( cygpath --path --ignore --mixed "$arg" )
|
||||
fi
|
||||
# Roll the args list around exactly as many times as the number of
|
||||
# args, so each arg winds up back in the position where it started, but
|
||||
# possibly modified.
|
||||
#
|
||||
# NB: a `for` loop captures its iteration list before it begins, so
|
||||
# changing the positional parameters here affects neither the number of
|
||||
# iterations, nor the values presented in `arg`.
|
||||
shift # remove old arg
|
||||
set -- "$@" "$arg" # push replacement arg
|
||||
done
|
||||
fi
|
||||
|
||||
|
||||
# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
|
||||
DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"'
|
||||
|
||||
# Collect all arguments for the java command:
|
||||
# * DEFAULT_JVM_OPTS, JAVA_OPTS, JAVA_OPTS, and optsEnvironmentVar are not allowed to contain shell fragments,
|
||||
# and any embedded shellness will be escaped.
|
||||
# * For example: A user cannot expect ${Hostname} to be expanded, as it is an environment variable and will be
|
||||
# treated as '${Hostname}' itself on the command line.
|
||||
|
||||
set -- \
|
||||
"-Dorg.gradle.appname=$APP_BASE_NAME" \
|
||||
-classpath "$CLASSPATH" \
|
||||
org.gradle.wrapper.GradleWrapperMain \
|
||||
"$@"
|
||||
|
||||
# Stop when "xargs" is not available.
|
||||
if ! command -v xargs >/dev/null 2>&1
|
||||
then
|
||||
die "xargs is not available"
|
||||
fi
|
||||
|
||||
# Use "xargs" to parse quoted args.
|
||||
#
|
||||
# With -n1 it outputs one arg per line, with the quotes and backslashes removed.
|
||||
#
|
||||
# In Bash we could simply go:
|
||||
#
|
||||
# readarray ARGS < <( xargs -n1 <<<"$var" ) &&
|
||||
# set -- "${ARGS[@]}" "$@"
|
||||
#
|
||||
# but POSIX shell has neither arrays nor command substitution, so instead we
|
||||
# post-process each arg (as a line of input to sed) to backslash-escape any
|
||||
# character that might be a shell metacharacter, then use eval to reverse
|
||||
# that process (while maintaining the separation between arguments), and wrap
|
||||
# the whole thing up as a single "set" statement.
|
||||
#
|
||||
# This will of course break if any of these variables contains a newline or
|
||||
# an unmatched quote.
|
||||
#
|
||||
|
||||
eval "set -- $(
|
||||
printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" |
|
||||
xargs -n1 |
|
||||
sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' |
|
||||
tr '\n' ' '
|
||||
)" '"$@"'
|
||||
|
||||
exec "$JAVACMD" "$@"
|
||||
92
bac2/modalDev/e23/question1/gradlew.bat
vendored
92
bac2/modalDev/e23/question1/gradlew.bat
vendored
@ -1,92 +0,0 @@
|
||||
@rem
|
||||
@rem Copyright 2015 the original author or authors.
|
||||
@rem
|
||||
@rem Licensed under the Apache License, Version 2.0 (the "License");
|
||||
@rem you may not use this file except in compliance with the License.
|
||||
@rem You may obtain a copy of the License at
|
||||
@rem
|
||||
@rem https://www.apache.org/licenses/LICENSE-2.0
|
||||
@rem
|
||||
@rem Unless required by applicable law or agreed to in writing, software
|
||||
@rem distributed under the License is distributed on an "AS IS" BASIS,
|
||||
@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||
@rem See the License for the specific language governing permissions and
|
||||
@rem limitations under the License.
|
||||
@rem
|
||||
|
||||
@if "%DEBUG%"=="" @echo off
|
||||
@rem ##########################################################################
|
||||
@rem
|
||||
@rem Gradle startup script for Windows
|
||||
@rem
|
||||
@rem ##########################################################################
|
||||
|
||||
@rem Set local scope for the variables with windows NT shell
|
||||
if "%OS%"=="Windows_NT" setlocal
|
||||
|
||||
set DIRNAME=%~dp0
|
||||
if "%DIRNAME%"=="" set DIRNAME=.
|
||||
@rem This is normally unused
|
||||
set APP_BASE_NAME=%~n0
|
||||
set APP_HOME=%DIRNAME%
|
||||
|
||||
@rem Resolve any "." and ".." in APP_HOME to make it shorter.
|
||||
for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
|
||||
|
||||
@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
|
||||
set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"
|
||||
|
||||
@rem Find java.exe
|
||||
if defined JAVA_HOME goto findJavaFromJavaHome
|
||||
|
||||
set JAVA_EXE=java.exe
|
||||
%JAVA_EXE% -version >NUL 2>&1
|
||||
if %ERRORLEVEL% equ 0 goto execute
|
||||
|
||||
echo.
|
||||
echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
|
||||
echo.
|
||||
echo Please set the JAVA_HOME variable in your environment to match the
|
||||
echo location of your Java installation.
|
||||
|
||||
goto fail
|
||||
|
||||
:findJavaFromJavaHome
|
||||
set JAVA_HOME=%JAVA_HOME:"=%
|
||||
set JAVA_EXE=%JAVA_HOME%/bin/java.exe
|
||||
|
||||
if exist "%JAVA_EXE%" goto execute
|
||||
|
||||
echo.
|
||||
echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
|
||||
echo.
|
||||
echo Please set the JAVA_HOME variable in your environment to match the
|
||||
echo location of your Java installation.
|
||||
|
||||
goto fail
|
||||
|
||||
:execute
|
||||
@rem Setup the command line
|
||||
|
||||
set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
|
||||
|
||||
|
||||
@rem Execute Gradle
|
||||
"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*
|
||||
|
||||
:end
|
||||
@rem End local scope for the variables with windows NT shell
|
||||
if %ERRORLEVEL% equ 0 goto mainEnd
|
||||
|
||||
:fail
|
||||
rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
|
||||
rem the _cmd.exe /c_ return code!
|
||||
set EXIT_CODE=%ERRORLEVEL%
|
||||
if %EXIT_CODE% equ 0 set EXIT_CODE=1
|
||||
if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE%
|
||||
exit /b %EXIT_CODE%
|
||||
|
||||
:mainEnd
|
||||
if "%OS%"=="Windows_NT" endlocal
|
||||
|
||||
:omega
|
||||
@ -1,14 +0,0 @@
|
||||
/*
|
||||
* This file was generated by the Gradle 'init' task.
|
||||
*
|
||||
* The settings file is used to specify which projects to include in your build.
|
||||
* For more detailed information on multi-project builds, please refer to https://docs.gradle.org/8.5/userguide/building_swift_projects.html in the Gradle documentation.
|
||||
*/
|
||||
|
||||
plugins {
|
||||
// Apply the foojay-resolver plugin to allow automatic download of JDKs
|
||||
id("org.gradle.toolchains.foojay-resolver-convention") version "0.7.0"
|
||||
}
|
||||
|
||||
rootProject.name = "question1"
|
||||
include("app")
|
||||
9
bac2/modalDev/tp1/.gitattributes
vendored
9
bac2/modalDev/tp1/.gitattributes
vendored
@ -1,9 +0,0 @@
|
||||
#
|
||||
# https://help.github.com/articles/dealing-with-line-endings/
|
||||
#
|
||||
# Linux start script should use lf
|
||||
/gradlew text eol=lf
|
||||
|
||||
# These are Windows script files and should use crlf
|
||||
*.bat text eol=crlf
|
||||
|
||||
5
bac2/modalDev/tp1/.gitignore
vendored
5
bac2/modalDev/tp1/.gitignore
vendored
@ -1,5 +0,0 @@
|
||||
# Ignore Gradle project-specific cache directory
|
||||
.gradle
|
||||
|
||||
# Ignore Gradle build output directory
|
||||
build
|
||||
@ -1,28 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<projectDescription>
|
||||
<name>tp1</name>
|
||||
<comment>Project tp1 created by Buildship.</comment>
|
||||
<projects>
|
||||
</projects>
|
||||
<buildSpec>
|
||||
<buildCommand>
|
||||
<name>org.eclipse.buildship.core.gradleprojectbuilder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
</buildSpec>
|
||||
<natures>
|
||||
<nature>org.eclipse.buildship.core.gradleprojectnature</nature>
|
||||
</natures>
|
||||
<filteredResources>
|
||||
<filter>
|
||||
<id>1701330804548</id>
|
||||
<name></name>
|
||||
<type>30</type>
|
||||
<matcher>
|
||||
<id>org.eclipse.core.resources.regexFilterMatcher</id>
|
||||
<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
|
||||
</matcher>
|
||||
</filter>
|
||||
</filteredResources>
|
||||
</projectDescription>
|
||||
@ -1,13 +0,0 @@
|
||||
arguments=--init-script /home/tonitch/.dotfiles/vim/.vim/bundle/YouCompleteMe/third_party/ycmd/third_party/eclipse.jdt.ls/workspace/config_linux/org.eclipse.osgi/51/0/.cp/gradle/init/init.gradle
|
||||
auto.sync=false
|
||||
build.scans.enabled=false
|
||||
connection.gradle.distribution=GRADLE_DISTRIBUTION(WRAPPER)
|
||||
connection.project.dir=app
|
||||
eclipse.preferences.version=1
|
||||
gradle.user.home=
|
||||
java.home=/usr/lib/jvm/java-17-openjdk
|
||||
jvm.arguments=
|
||||
offline.mode=false
|
||||
override.workspace.settings=true
|
||||
show.console.view=true
|
||||
show.executions.view=true
|
||||
Binary file not shown.
@ -1,12 +0,0 @@
|
||||
# TP's Answer
|
||||
|
||||
## Exercice 2.1
|
||||
|
||||
1)
|
||||
test1) ❎ devrais fail car $ E1 \neq E2 $
|
||||
test2) ✅
|
||||
test3) ❎ shoud throw an error (no real number)
|
||||
|
||||
2-4) dans fichiers
|
||||
|
||||
## Exercice 2.2
|
||||
@ -1,32 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<classpath>
|
||||
<classpathentry kind="src" output="bin/main" path="src/main/java">
|
||||
<attributes>
|
||||
<attribute name="gradle_scope" value="main"/>
|
||||
<attribute name="gradle_used_by_scope" value="main,test"/>
|
||||
</attributes>
|
||||
</classpathentry>
|
||||
<classpathentry kind="src" output="bin/main" path="src/main/resources">
|
||||
<attributes>
|
||||
<attribute name="gradle_scope" value="main"/>
|
||||
<attribute name="gradle_used_by_scope" value="main,test"/>
|
||||
</attributes>
|
||||
</classpathentry>
|
||||
<classpathentry kind="src" output="bin/test" path="src/test/java">
|
||||
<attributes>
|
||||
<attribute name="gradle_scope" value="test"/>
|
||||
<attribute name="gradle_used_by_scope" value="test"/>
|
||||
<attribute name="test" value="true"/>
|
||||
</attributes>
|
||||
</classpathentry>
|
||||
<classpathentry kind="src" output="bin/test" path="src/test/resources">
|
||||
<attributes>
|
||||
<attribute name="gradle_scope" value="test"/>
|
||||
<attribute name="gradle_used_by_scope" value="test"/>
|
||||
<attribute name="test" value="true"/>
|
||||
</attributes>
|
||||
</classpathentry>
|
||||
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17/"/>
|
||||
<classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>
|
||||
<classpathentry kind="output" path="bin/default"/>
|
||||
</classpath>
|
||||
@ -1,34 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<projectDescription>
|
||||
<name>app</name>
|
||||
<comment>Project app created by Buildship.</comment>
|
||||
<projects>
|
||||
</projects>
|
||||
<buildSpec>
|
||||
<buildCommand>
|
||||
<name>org.eclipse.jdt.core.javabuilder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
<buildCommand>
|
||||
<name>org.eclipse.buildship.core.gradleprojectbuilder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
</buildSpec>
|
||||
<natures>
|
||||
<nature>org.eclipse.jdt.core.javanature</nature>
|
||||
<nature>org.eclipse.buildship.core.gradleprojectnature</nature>
|
||||
</natures>
|
||||
<filteredResources>
|
||||
<filter>
|
||||
<id>1701330804524</id>
|
||||
<name></name>
|
||||
<type>30</type>
|
||||
<matcher>
|
||||
<id>org.eclipse.core.resources.regexFilterMatcher</id>
|
||||
<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
|
||||
</matcher>
|
||||
</filter>
|
||||
</filteredResources>
|
||||
</projectDescription>
|
||||
@ -1,13 +0,0 @@
|
||||
arguments=
|
||||
auto.sync=false
|
||||
build.scans.enabled=false
|
||||
connection.gradle.distribution=GRADLE_DISTRIBUTION(WRAPPER)
|
||||
connection.project.dir=
|
||||
eclipse.preferences.version=1
|
||||
gradle.user.home=
|
||||
java.home=
|
||||
jvm.arguments=
|
||||
offline.mode=false
|
||||
override.workspace.settings=false
|
||||
show.console.view=false
|
||||
show.executions.view=false
|
||||
@ -1,32 +0,0 @@
|
||||
package tp1.ex2_1;
|
||||
|
||||
import static org.junit.jupiter.api.Assertions.*;
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
/**
|
||||
* Suite de tests pour vérifier la méthode sqrt dans la classe Sqrt
|
||||
*/
|
||||
public class SolveEquationTest {
|
||||
@Test
|
||||
public void test1() {
|
||||
SolveEquation se = new SolveEquation(1.0, -2.0, -3.0);
|
||||
assertEquals(se.getNbSolutions(), 2);
|
||||
assertTrue(se.getSolutions().getE1()
|
||||
.equals(se.getSolutions().getE2()));
|
||||
}
|
||||
|
||||
@Test
|
||||
public void test2() {
|
||||
double epsilon = 0.0001;
|
||||
SolveEquation se = new SolveEquation(1.0, 0.0, 0.0);
|
||||
assertEquals(se.getSolutions().getE1(),
|
||||
se.getSolutions().getE2(), epsilon);
|
||||
assertEquals(se.getNbSolutions(), 1);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void test3() {
|
||||
SolveEquation se = new SolveEquation(5.0, 0.0, 3.0);
|
||||
assertEquals(se.getSolutions().getE1(), se.getSolutions().getE2());
|
||||
}
|
||||
}
|
||||
@ -1,45 +0,0 @@
|
||||
/*
|
||||
* This file was generated by the Gradle 'init' task.
|
||||
*
|
||||
* This generated file contains a sample Java application project to get you started.
|
||||
* For more details on building Java & JVM projects, please refer to https://docs.gradle.org/8.4/userguide/building_java_projects.html in the Gradle documentation.
|
||||
*/
|
||||
|
||||
plugins {
|
||||
// Apply the application plugin to add support for building a CLI application in Java.
|
||||
application
|
||||
}
|
||||
|
||||
repositories {
|
||||
// Use Maven Central for resolving dependencies.
|
||||
mavenCentral()
|
||||
}
|
||||
|
||||
dependencies {
|
||||
// Use JUnit Jupiter for testing.
|
||||
testImplementation("org.junit.jupiter:junit-jupiter:5.9.3")
|
||||
|
||||
testRuntimeOnly("org.junit.platform:junit-platform-launcher")
|
||||
|
||||
// This dependency is used by the application.
|
||||
implementation("com.google.guava:guava:32.1.1-jre")
|
||||
|
||||
implementation("org.mockito:mockito-core:5.7.0")
|
||||
}
|
||||
|
||||
// Apply a specific Java toolchain to ease working on different environments.
|
||||
java {
|
||||
toolchain {
|
||||
languageVersion.set(JavaLanguageVersion.of(17))
|
||||
}
|
||||
}
|
||||
|
||||
application {
|
||||
// Define the main class for the application.
|
||||
mainClass.set("tp1.App")
|
||||
}
|
||||
|
||||
tasks.named<Test>("test") {
|
||||
// Use JUnit Platform for unit tests.
|
||||
useJUnitPlatform()
|
||||
}
|
||||
@ -1,15 +0,0 @@
|
||||
/*
|
||||
* This Java source file was generated by the Gradle 'init' task.
|
||||
*/
|
||||
package tp1;
|
||||
|
||||
public class App {
|
||||
// for the sake of showing an example of testing
|
||||
public String getGreeting() {
|
||||
return "Hello World!";
|
||||
}
|
||||
|
||||
public static void main(String[] args) {
|
||||
System.out.println(new App().getGreeting());
|
||||
}
|
||||
}
|
||||
@ -1,27 +0,0 @@
|
||||
package tp1.ex2_1;
|
||||
|
||||
public class Pair<T> {
|
||||
private T e1, e2;
|
||||
|
||||
public Pair(T e1, T e2) {
|
||||
this.e1 = e1;
|
||||
this.e2 = e2;
|
||||
}
|
||||
|
||||
public T getE1() {
|
||||
return e1;
|
||||
}
|
||||
|
||||
public T getE2() {
|
||||
return e2;
|
||||
}
|
||||
|
||||
@Override
|
||||
public boolean equals(Object obj) {
|
||||
if (obj instanceof Pair) {
|
||||
Pair<?> p = (Pair<?>) obj;
|
||||
return e1.equals(p.e1) && e2.equals(p.e2);
|
||||
}
|
||||
return false;
|
||||
}
|
||||
}
|
||||
@ -1,53 +0,0 @@
|
||||
package tp1.ex2_1;
|
||||
|
||||
public class SolveEquation {
|
||||
private double a, b, c;
|
||||
|
||||
public SolveEquation(double a, double b, double c) {
|
||||
this.a = a;
|
||||
this.b = b;
|
||||
this.c = c;
|
||||
}
|
||||
|
||||
/*
|
||||
* Gives the number of solutions of the equation .
|
||||
*
|
||||
* @return the number of solution .
|
||||
*
|
||||
* @throws ArithmeticException if there
|
||||
* is an infinite number of solutions .
|
||||
*/
|
||||
public int getNbSolutions() throws ArithmeticException {
|
||||
double delta = b * b - 4 * a * c;
|
||||
if (delta < 0)
|
||||
throw new ArithmeticException("No real solution");
|
||||
else if (delta == 0)
|
||||
return 1;
|
||||
else
|
||||
return 2;
|
||||
}
|
||||
|
||||
/*
|
||||
* * Gives the equation ’s solutions for x .
|
||||
*
|
||||
* @return the 2 solutions of the equation . If there is
|
||||
* only 1 solution , the 2 members of the pair are equal .
|
||||
*
|
||||
* @throws ArithmeticException if there is no real
|
||||
* solution for x , or if there is an infinite number
|
||||
* of solutions .
|
||||
*/
|
||||
public Pair<Double> getSolutions() throws ArithmeticException {
|
||||
double delta = b * b - 4 * a * c;
|
||||
if (delta < 0)
|
||||
throw new ArithmeticException("No real solution");
|
||||
else if (delta == 0) {
|
||||
double x = -b / (2 * a);
|
||||
return new Pair<Double>(x, x);
|
||||
}
|
||||
else
|
||||
return new Pair<Double>(
|
||||
(-b - Math.sqrt(delta)) / (2 * a),
|
||||
(-b + Math.sqrt(delta)) / (2 * a));
|
||||
}
|
||||
}
|
||||
@ -1,40 +0,0 @@
|
||||
package tp1.ex2_2;
|
||||
|
||||
import java.lang.Math;
|
||||
|
||||
/**
|
||||
* Calcule la racine carrée d'un nombre positif
|
||||
*/
|
||||
public class Sqrt
|
||||
{
|
||||
public static final double EPSILON = 1e-8;
|
||||
|
||||
/**
|
||||
* Cacule la racine carrée d'un nombre positif en utilisant la méhtode
|
||||
* de Newton.
|
||||
* Il s'agit de calculer la racine de l'équation x^2-b=0 avec b
|
||||
* le nombre dont on veut la racine carrée.
|
||||
* La méthode de Newton consiste à utiliser la formule suivante :
|
||||
* x_i = x_(i-1) - f(x_(i-1)) / f'(x_(i-1)).
|
||||
* @param val La valeur dont on cherche la racine carrée (val >= 0)
|
||||
* @return La racine carrée de val avec une précision de 1e-12.
|
||||
* @throws IllegalArgumentException Si val < 0
|
||||
*/
|
||||
public static double sqrt(double val) throws IllegalArgumentException
|
||||
{
|
||||
if(val < 0)
|
||||
throw new IllegalArgumentException("ne peut pas être négatif");
|
||||
if(val == 0 || val == 1)
|
||||
return val;
|
||||
|
||||
double curr = nextIteration(val, val);
|
||||
while(Math.abs(val - Math.pow(curr, 2)) > EPSILON){
|
||||
curr = nextIteration(val, curr);
|
||||
}
|
||||
return curr;
|
||||
}
|
||||
|
||||
private static double nextIteration(double val, double curr){
|
||||
return (curr + (val / curr))/2;
|
||||
}
|
||||
}
|
||||
@ -1,19 +0,0 @@
|
||||
package tp1.ex2_3;
|
||||
|
||||
public class Fibonacci {
|
||||
public static int fibo(int n) throws IllegalArgumentException {
|
||||
if (n < 0) {
|
||||
throw new IllegalArgumentException();
|
||||
} else {
|
||||
int f_n_1 = 1;
|
||||
int f_n = 0;
|
||||
int tmp;
|
||||
for (int i = 0; i < n; i++) {
|
||||
tmp = f_n;
|
||||
f_n = f_n + f_n_1;
|
||||
f_n_1 = tmp;
|
||||
}
|
||||
return f_n;
|
||||
}
|
||||
}
|
||||
}
|
||||
@ -1,14 +0,0 @@
|
||||
/*
|
||||
* This Java source file was generated by the Gradle 'init' task.
|
||||
*/
|
||||
package tp1;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
import static org.junit.jupiter.api.Assertions.*;
|
||||
|
||||
class AppTest {
|
||||
@Test void appHasAGreeting() {
|
||||
App classUnderTest = new App();
|
||||
assertNotNull(classUnderTest.getGreeting(), "app should have a greeting");
|
||||
}
|
||||
}
|
||||
@ -1,38 +0,0 @@
|
||||
package tp1.ex2_1;
|
||||
|
||||
import static org.junit.jupiter.api.Assertions.*;
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
/**
|
||||
* Suite de tests pour vérifier la méthode sqrt dans la classe Sqrt
|
||||
*/
|
||||
public class SolveEquationTest {
|
||||
@Test
|
||||
public void test1() {
|
||||
SolveEquation se = new SolveEquation(1.0, -2.0, -3.0);
|
||||
assertEquals(se.getNbSolutions(), 2);
|
||||
assertFalse(se.getSolutions().getE1()
|
||||
.equals(se.getSolutions().getE2()));
|
||||
}
|
||||
|
||||
@Test
|
||||
public void test2() {
|
||||
double epsilon = 0.0001;
|
||||
SolveEquation se = new SolveEquation(1.0, 0.0, 0.0);
|
||||
assertEquals(se.getSolutions().getE1(),
|
||||
se.getSolutions().getE2(), epsilon);
|
||||
assertEquals(se.getNbSolutions(), 1);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void test3() {
|
||||
SolveEquation se = new SolveEquation(5.0, 0.0, 3.0);
|
||||
assertThrows(ArithmeticException.class, () -> se.getSolutions(), "No real solution");
|
||||
}
|
||||
|
||||
@Test
|
||||
public void test4(){
|
||||
SolveEquation se = new SolveEquation(3, 0, 0);
|
||||
assertEquals(se.getNbSolutions(), 1);
|
||||
}
|
||||
}
|
||||
@ -1,32 +0,0 @@
|
||||
package tp1.ex2_1;
|
||||
|
||||
import static org.junit.jupiter.api.Assertions.*;
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
/**
|
||||
* Suite de tests pour vérifier la méthode sqrt dans la classe Sqrt
|
||||
*/
|
||||
public class SolveEquationTest {
|
||||
@Test
|
||||
public void test1() {
|
||||
SolveEquation se = new SolveEquation(1.0, -2.0, -3.0);
|
||||
assertEquals(se.getNbSolutions(), 2);
|
||||
assertTrue(se.getSolutions().getE1()
|
||||
.equals(se.getSolutions().getE2()));
|
||||
}
|
||||
|
||||
@Test
|
||||
public void test2() {
|
||||
double epsilon = 0.0001;
|
||||
SolveEquation se = new SolveEquation(1.0, 0.0, 0.0);
|
||||
assertEquals(se.getSolutions().getE1(),
|
||||
se.getSolutions().getE2(), epsilon);
|
||||
assertEquals(se.getNbSolutions(), 1);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void test3() {
|
||||
SolveEquation se = new SolveEquation(5.0, 0.0, 3.0);
|
||||
assertEquals(se.getSolutions().getE1(), se.getSolutions().getE2());
|
||||
}
|
||||
}
|
||||
@ -1,49 +0,0 @@
|
||||
package tp1.ex2_2;
|
||||
|
||||
import static org.junit.jupiter.api.Assertions.*;
|
||||
|
||||
import java.time.Duration;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
|
||||
/**
|
||||
* Suite de tests pour vérifier la méthode sqrt dans la classe Sqrt
|
||||
*/
|
||||
public class SqrtTest {
|
||||
@Test
|
||||
public void testSortie(){
|
||||
assertTrue(Sqrt.sqrt(42) >= 0);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testprecision(){
|
||||
assertEquals(Math.sqrt(16), Sqrt.sqrt(16), Sqrt.EPSILON);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testValidInput(){
|
||||
double t1 = Sqrt.sqrt(0.4);
|
||||
assertTrue(t1 > 0 && t1 < 1);
|
||||
|
||||
double t2 = Sqrt.sqrt(21);
|
||||
assertTrue(t2 > 1);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testBorne(){
|
||||
assertEquals(0, Sqrt.sqrt(0));
|
||||
assertEquals(1, Sqrt.sqrt(1));
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testBig(){
|
||||
double val = assertTimeoutPreemptively(Duration.ofSeconds(1), () -> Sqrt.sqrt(1e16));
|
||||
assertEquals(Math.sqrt(1e16), val, Sqrt.EPSILON);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testInvalid(){
|
||||
assertThrows(IllegalArgumentException.class, () -> Sqrt.sqrt(-42));
|
||||
}
|
||||
}
|
||||
@ -1,21 +0,0 @@
|
||||
package tp1.ex2_3;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
import static org.junit.jupiter.api.Assertions.assertEquals;
|
||||
import static org.junit.jupiter.api.Assertions.assertTrue;
|
||||
|
||||
public class FibonacciTest {
|
||||
@Test
|
||||
void test1() {
|
||||
assertEquals(2, Fibonacci.fibo(2));
|
||||
}
|
||||
|
||||
@Test void test2() {
|
||||
assertTrue(Fibonacci.fibo(-2) >= 0);
|
||||
}
|
||||
|
||||
@Test void test3() {
|
||||
assertTrue(Fibonacci.fibo(4) == 3);
|
||||
}
|
||||
}
|
||||
BIN
bac2/modalDev/tp1/gradle/wrapper/gradle-wrapper.jar
vendored
BIN
bac2/modalDev/tp1/gradle/wrapper/gradle-wrapper.jar
vendored
Binary file not shown.
@ -1,7 +0,0 @@
|
||||
distributionBase=GRADLE_USER_HOME
|
||||
distributionPath=wrapper/dists
|
||||
distributionUrl=https\://services.gradle.org/distributions/gradle-8.4-bin.zip
|
||||
networkTimeout=10000
|
||||
validateDistributionUrl=true
|
||||
zipStoreBase=GRADLE_USER_HOME
|
||||
zipStorePath=wrapper/dists
|
||||
249
bac2/modalDev/tp1/gradlew
vendored
249
bac2/modalDev/tp1/gradlew
vendored
@ -1,249 +0,0 @@
|
||||
#!/bin/sh
|
||||
|
||||
#
|
||||
# Copyright © 2015-2021 the original authors.
|
||||
#
|
||||
# Licensed under the Apache License, Version 2.0 (the "License");
|
||||
# you may not use this file except in compliance with the License.
|
||||
# You may obtain a copy of the License at
|
||||
#
|
||||
# https://www.apache.org/licenses/LICENSE-2.0
|
||||
#
|
||||
# Unless required by applicable law or agreed to in writing, software
|
||||
# distributed under the License is distributed on an "AS IS" BASIS,
|
||||
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||
# See the License for the specific language governing permissions and
|
||||
# limitations under the License.
|
||||
#
|
||||
|
||||
##############################################################################
|
||||
#
|
||||
# Gradle start up script for POSIX generated by Gradle.
|
||||
#
|
||||
# Important for running:
|
||||
#
|
||||
# (1) You need a POSIX-compliant shell to run this script. If your /bin/sh is
|
||||
# noncompliant, but you have some other compliant shell such as ksh or
|
||||
# bash, then to run this script, type that shell name before the whole
|
||||
# command line, like:
|
||||
#
|
||||
# ksh Gradle
|
||||
#
|
||||
# Busybox and similar reduced shells will NOT work, because this script
|
||||
# requires all of these POSIX shell features:
|
||||
# * functions;
|
||||
# * expansions «$var», «${var}», «${var:-default}», «${var+SET}»,
|
||||
# «${var#prefix}», «${var%suffix}», and «$( cmd )»;
|
||||
# * compound commands having a testable exit status, especially «case»;
|
||||
# * various built-in commands including «command», «set», and «ulimit».
|
||||
#
|
||||
# Important for patching:
|
||||
#
|
||||
# (2) This script targets any POSIX shell, so it avoids extensions provided
|
||||
# by Bash, Ksh, etc; in particular arrays are avoided.
|
||||
#
|
||||
# The "traditional" practice of packing multiple parameters into a
|
||||
# space-separated string is a well documented source of bugs and security
|
||||
# problems, so this is (mostly) avoided, by progressively accumulating
|
||||
# options in "$@", and eventually passing that to Java.
|
||||
#
|
||||
# Where the inherited environment variables (DEFAULT_JVM_OPTS, JAVA_OPTS,
|
||||
# and GRADLE_OPTS) rely on word-splitting, this is performed explicitly;
|
||||
# see the in-line comments for details.
|
||||
#
|
||||
# There are tweaks for specific operating systems such as AIX, CygWin,
|
||||
# Darwin, MinGW, and NonStop.
|
||||
#
|
||||
# (3) This script is generated from the Groovy template
|
||||
# https://github.com/gradle/gradle/blob/HEAD/subprojects/plugins/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt
|
||||
# within the Gradle project.
|
||||
#
|
||||
# You can find Gradle at https://github.com/gradle/gradle/.
|
||||
#
|
||||
##############################################################################
|
||||
|
||||
# Attempt to set APP_HOME
|
||||
|
||||
# Resolve links: $0 may be a link
|
||||
app_path=$0
|
||||
|
||||
# Need this for daisy-chained symlinks.
|
||||
while
|
||||
APP_HOME=${app_path%"${app_path##*/}"} # leaves a trailing /; empty if no leading path
|
||||
[ -h "$app_path" ]
|
||||
do
|
||||
ls=$( ls -ld "$app_path" )
|
||||
link=${ls#*' -> '}
|
||||
case $link in #(
|
||||
/*) app_path=$link ;; #(
|
||||
*) app_path=$APP_HOME$link ;;
|
||||
esac
|
||||
done
|
||||
|
||||
# This is normally unused
|
||||
# shellcheck disable=SC2034
|
||||
APP_BASE_NAME=${0##*/}
|
||||
# Discard cd standard output in case $CDPATH is set (https://github.com/gradle/gradle/issues/25036)
|
||||
APP_HOME=$( cd "${APP_HOME:-./}" > /dev/null && pwd -P ) || exit
|
||||
|
||||
# Use the maximum available, or set MAX_FD != -1 to use that value.
|
||||
MAX_FD=maximum
|
||||
|
||||
warn () {
|
||||
echo "$*"
|
||||
} >&2
|
||||
|
||||
die () {
|
||||
echo
|
||||
echo "$*"
|
||||
echo
|
||||
exit 1
|
||||
} >&2
|
||||
|
||||
# OS specific support (must be 'true' or 'false').
|
||||
cygwin=false
|
||||
msys=false
|
||||
darwin=false
|
||||
nonstop=false
|
||||
case "$( uname )" in #(
|
||||
CYGWIN* ) cygwin=true ;; #(
|
||||
Darwin* ) darwin=true ;; #(
|
||||
MSYS* | MINGW* ) msys=true ;; #(
|
||||
NONSTOP* ) nonstop=true ;;
|
||||
esac
|
||||
|
||||
CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
|
||||
|
||||
|
||||
# Determine the Java command to use to start the JVM.
|
||||
if [ -n "$JAVA_HOME" ] ; then
|
||||
if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
|
||||
# IBM's JDK on AIX uses strange locations for the executables
|
||||
JAVACMD=$JAVA_HOME/jre/sh/java
|
||||
else
|
||||
JAVACMD=$JAVA_HOME/bin/java
|
||||
fi
|
||||
if [ ! -x "$JAVACMD" ] ; then
|
||||
die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
|
||||
|
||||
Please set the JAVA_HOME variable in your environment to match the
|
||||
location of your Java installation."
|
||||
fi
|
||||
else
|
||||
JAVACMD=java
|
||||
if ! command -v java >/dev/null 2>&1
|
||||
then
|
||||
die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
|
||||
|
||||
Please set the JAVA_HOME variable in your environment to match the
|
||||
location of your Java installation."
|
||||
fi
|
||||
fi
|
||||
|
||||
# Increase the maximum file descriptors if we can.
|
||||
if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then
|
||||
case $MAX_FD in #(
|
||||
max*)
|
||||
# In POSIX sh, ulimit -H is undefined. That's why the result is checked to see if it worked.
|
||||
# shellcheck disable=SC2039,SC3045
|
||||
MAX_FD=$( ulimit -H -n ) ||
|
||||
warn "Could not query maximum file descriptor limit"
|
||||
esac
|
||||
case $MAX_FD in #(
|
||||
'' | soft) :;; #(
|
||||
*)
|
||||
# In POSIX sh, ulimit -n is undefined. That's why the result is checked to see if it worked.
|
||||
# shellcheck disable=SC2039,SC3045
|
||||
ulimit -n "$MAX_FD" ||
|
||||
warn "Could not set maximum file descriptor limit to $MAX_FD"
|
||||
esac
|
||||
fi
|
||||
|
||||
# Collect all arguments for the java command, stacking in reverse order:
|
||||
# * args from the command line
|
||||
# * the main class name
|
||||
# * -classpath
|
||||
# * -D...appname settings
|
||||
# * --module-path (only if needed)
|
||||
# * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables.
|
||||
|
||||
# For Cygwin or MSYS, switch paths to Windows format before running java
|
||||
if "$cygwin" || "$msys" ; then
|
||||
APP_HOME=$( cygpath --path --mixed "$APP_HOME" )
|
||||
CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" )
|
||||
|
||||
JAVACMD=$( cygpath --unix "$JAVACMD" )
|
||||
|
||||
# Now convert the arguments - kludge to limit ourselves to /bin/sh
|
||||
for arg do
|
||||
if
|
||||
case $arg in #(
|
||||
-*) false ;; # don't mess with options #(
|
||||
/?*) t=${arg#/} t=/${t%%/*} # looks like a POSIX filepath
|
||||
[ -e "$t" ] ;; #(
|
||||
*) false ;;
|
||||
esac
|
||||
then
|
||||
arg=$( cygpath --path --ignore --mixed "$arg" )
|
||||
fi
|
||||
# Roll the args list around exactly as many times as the number of
|
||||
# args, so each arg winds up back in the position where it started, but
|
||||
# possibly modified.
|
||||
#
|
||||
# NB: a `for` loop captures its iteration list before it begins, so
|
||||
# changing the positional parameters here affects neither the number of
|
||||
# iterations, nor the values presented in `arg`.
|
||||
shift # remove old arg
|
||||
set -- "$@" "$arg" # push replacement arg
|
||||
done
|
||||
fi
|
||||
|
||||
|
||||
# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
|
||||
DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"'
|
||||
|
||||
# Collect all arguments for the java command:
|
||||
# * DEFAULT_JVM_OPTS, JAVA_OPTS, JAVA_OPTS, and optsEnvironmentVar are not allowed to contain shell fragments,
|
||||
# and any embedded shellness will be escaped.
|
||||
# * For example: A user cannot expect ${Hostname} to be expanded, as it is an environment variable and will be
|
||||
# treated as '${Hostname}' itself on the command line.
|
||||
|
||||
set -- \
|
||||
"-Dorg.gradle.appname=$APP_BASE_NAME" \
|
||||
-classpath "$CLASSPATH" \
|
||||
org.gradle.wrapper.GradleWrapperMain \
|
||||
"$@"
|
||||
|
||||
# Stop when "xargs" is not available.
|
||||
if ! command -v xargs >/dev/null 2>&1
|
||||
then
|
||||
die "xargs is not available"
|
||||
fi
|
||||
|
||||
# Use "xargs" to parse quoted args.
|
||||
#
|
||||
# With -n1 it outputs one arg per line, with the quotes and backslashes removed.
|
||||
#
|
||||
# In Bash we could simply go:
|
||||
#
|
||||
# readarray ARGS < <( xargs -n1 <<<"$var" ) &&
|
||||
# set -- "${ARGS[@]}" "$@"
|
||||
#
|
||||
# but POSIX shell has neither arrays nor command substitution, so instead we
|
||||
# post-process each arg (as a line of input to sed) to backslash-escape any
|
||||
# character that might be a shell metacharacter, then use eval to reverse
|
||||
# that process (while maintaining the separation between arguments), and wrap
|
||||
# the whole thing up as a single "set" statement.
|
||||
#
|
||||
# This will of course break if any of these variables contains a newline or
|
||||
# an unmatched quote.
|
||||
#
|
||||
|
||||
eval "set -- $(
|
||||
printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" |
|
||||
xargs -n1 |
|
||||
sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' |
|
||||
tr '\n' ' '
|
||||
)" '"$@"'
|
||||
|
||||
exec "$JAVACMD" "$@"
|
||||
92
bac2/modalDev/tp1/gradlew.bat
vendored
92
bac2/modalDev/tp1/gradlew.bat
vendored
@ -1,92 +0,0 @@
|
||||
@rem
|
||||
@rem Copyright 2015 the original author or authors.
|
||||
@rem
|
||||
@rem Licensed under the Apache License, Version 2.0 (the "License");
|
||||
@rem you may not use this file except in compliance with the License.
|
||||
@rem You may obtain a copy of the License at
|
||||
@rem
|
||||
@rem https://www.apache.org/licenses/LICENSE-2.0
|
||||
@rem
|
||||
@rem Unless required by applicable law or agreed to in writing, software
|
||||
@rem distributed under the License is distributed on an "AS IS" BASIS,
|
||||
@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||
@rem See the License for the specific language governing permissions and
|
||||
@rem limitations under the License.
|
||||
@rem
|
||||
|
||||
@if "%DEBUG%"=="" @echo off
|
||||
@rem ##########################################################################
|
||||
@rem
|
||||
@rem Gradle startup script for Windows
|
||||
@rem
|
||||
@rem ##########################################################################
|
||||
|
||||
@rem Set local scope for the variables with windows NT shell
|
||||
if "%OS%"=="Windows_NT" setlocal
|
||||
|
||||
set DIRNAME=%~dp0
|
||||
if "%DIRNAME%"=="" set DIRNAME=.
|
||||
@rem This is normally unused
|
||||
set APP_BASE_NAME=%~n0
|
||||
set APP_HOME=%DIRNAME%
|
||||
|
||||
@rem Resolve any "." and ".." in APP_HOME to make it shorter.
|
||||
for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
|
||||
|
||||
@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
|
||||
set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"
|
||||
|
||||
@rem Find java.exe
|
||||
if defined JAVA_HOME goto findJavaFromJavaHome
|
||||
|
||||
set JAVA_EXE=java.exe
|
||||
%JAVA_EXE% -version >NUL 2>&1
|
||||
if %ERRORLEVEL% equ 0 goto execute
|
||||
|
||||
echo.
|
||||
echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
|
||||
echo.
|
||||
echo Please set the JAVA_HOME variable in your environment to match the
|
||||
echo location of your Java installation.
|
||||
|
||||
goto fail
|
||||
|
||||
:findJavaFromJavaHome
|
||||
set JAVA_HOME=%JAVA_HOME:"=%
|
||||
set JAVA_EXE=%JAVA_HOME%/bin/java.exe
|
||||
|
||||
if exist "%JAVA_EXE%" goto execute
|
||||
|
||||
echo.
|
||||
echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
|
||||
echo.
|
||||
echo Please set the JAVA_HOME variable in your environment to match the
|
||||
echo location of your Java installation.
|
||||
|
||||
goto fail
|
||||
|
||||
:execute
|
||||
@rem Setup the command line
|
||||
|
||||
set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
|
||||
|
||||
|
||||
@rem Execute Gradle
|
||||
"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*
|
||||
|
||||
:end
|
||||
@rem End local scope for the variables with windows NT shell
|
||||
if %ERRORLEVEL% equ 0 goto mainEnd
|
||||
|
||||
:fail
|
||||
rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
|
||||
rem the _cmd.exe /c_ return code!
|
||||
set EXIT_CODE=%ERRORLEVEL%
|
||||
if %EXIT_CODE% equ 0 set EXIT_CODE=1
|
||||
if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE%
|
||||
exit /b %EXIT_CODE%
|
||||
|
||||
:mainEnd
|
||||
if "%OS%"=="Windows_NT" endlocal
|
||||
|
||||
:omega
|
||||
@ -1,14 +0,0 @@
|
||||
/*
|
||||
* This file was generated by the Gradle 'init' task.
|
||||
*
|
||||
* The settings file is used to specify which projects to include in your build.
|
||||
* For more detailed information on multi-project builds, please refer to https://docs.gradle.org/8.4/userguide/building_swift_projects.html in the Gradle documentation.
|
||||
*/
|
||||
|
||||
plugins {
|
||||
// Apply the foojay-resolver plugin to allow automatic download of JDKs
|
||||
id("org.gradle.toolchains.foojay-resolver-convention") version "0.7.0"
|
||||
}
|
||||
|
||||
rootProject.name = "tp1"
|
||||
include("app")
|
||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user