From 9889a2449799197662f4bf5a2115faaef4887369 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 11:55:42 +0200 Subject: [PATCH 01/18] Create jekyll.yml --- .github/workflows/jekyll.yml | 64 ++++++++++++++++++++++++++++++++++++ 1 file changed, 64 insertions(+) create mode 100644 .github/workflows/jekyll.yml diff --git a/.github/workflows/jekyll.yml b/.github/workflows/jekyll.yml new file mode 100644 index 0000000..68520b5 --- /dev/null +++ b/.github/workflows/jekyll.yml @@ -0,0 +1,64 @@ +# This workflow uses actions that are not certified by GitHub. +# They are provided by a third-party and are governed by +# separate terms of service, privacy policy, and support +# documentation. + +# Sample workflow for building and deploying a Jekyll site to GitHub Pages +name: Deploy Jekyll site to Pages + +on: + # Runs on pushes targeting the default branch + push: + branches: ["main"] + + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages +permissions: + contents: read + pages: write + id-token: write + +# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. +# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. +concurrency: + group: "pages" + cancel-in-progress: false + +jobs: + # Build job + build: + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v4 + - name: Setup Ruby + uses: ruby/setup-ruby@8575951200e472d5f2d95c625da0c7bec8217c42 # v1.161.0 + with: + ruby-version: '3.1' # Not needed with a .ruby-version file + bundler-cache: true # runs 'bundle install' and caches installed gems automatically + cache-version: 0 # Increment this number if you need to re-download cached gems + - name: Setup Pages + id: pages + uses: actions/configure-pages@v5 + - name: Build with Jekyll + # Outputs to the './_site' directory by default + run: bundle exec jekyll build --baseurl "${{ steps.pages.outputs.base_path }}" + env: + JEKYLL_ENV: production + - name: Upload artifact + # Automatically uploads an artifact from the './_site' directory by default + uses: actions/upload-pages-artifact@v3 + + # Deployment job + deploy: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + runs-on: ubuntu-latest + needs: build + steps: + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v4 From 5d18dd01bf3f977078b66c596d7b4f04b1962fa4 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:00:03 +0200 Subject: [PATCH 02/18] Delete Gemfile.lock --- Gemfile.lock | 88 ---------------------------------------------------- 1 file changed, 88 deletions(-) delete mode 100644 Gemfile.lock diff --git a/Gemfile.lock b/Gemfile.lock deleted file mode 100644 index 7588583..0000000 --- a/Gemfile.lock +++ /dev/null @@ -1,88 +0,0 @@ -GEM - remote: https://rubygems.org/ - specs: - addressable (2.8.0) - public_suffix (>= 2.0.2, < 5.0) - colorator (1.1.0) - concurrent-ruby (1.1.9) - em-websocket (0.5.2) - eventmachine (>= 0.12.9) - http_parser.rb (~> 0.6.0) - eventmachine (1.2.7-x64-mingw32) - ffi (1.15.4-x64-mingw32) - forwardable-extended (2.6.0) - http_parser.rb (0.6.0) - i18n (1.8.10) - concurrent-ruby (~> 1.0) - jekyll (4.2.1) - addressable (~> 2.4) - colorator (~> 1.0) - em-websocket (~> 0.5) - i18n (~> 1.0) - jekyll-sass-converter (~> 2.0) - jekyll-watch (~> 2.0) - kramdown (~> 2.3) - kramdown-parser-gfm (~> 1.0) - liquid (~> 4.0) - mercenary (~> 0.4.0) - pathutil (~> 0.9) - rouge (~> 3.0) - safe_yaml (~> 1.0) - terminal-table (~> 2.0) - jekyll-feed (0.15.1) - jekyll (>= 3.7, < 5.0) - jekyll-sass-converter (2.1.0) - sassc (> 2.0.1, < 3.0) - jekyll-seo-tag (2.7.1) - jekyll (>= 3.8, < 5.0) - jekyll-watch (2.2.1) - listen (~> 3.0) - kramdown (2.3.1) - rexml - kramdown-parser-gfm (1.1.0) - kramdown (~> 2.0) - liquid (4.0.3) - listen (3.7.0) - rb-fsevent (~> 0.10, >= 0.10.3) - rb-inotify (~> 0.9, >= 0.9.10) - mercenary (0.4.0) - minima (2.5.1) - jekyll (>= 3.5, < 5.0) - jekyll-feed (~> 0.9) - jekyll-seo-tag (~> 2.1) - pathutil (0.16.2) - forwardable-extended (~> 2.6) - public_suffix (4.0.6) - rb-fsevent (0.11.0) - rb-inotify (0.10.1) - ffi (~> 1.0) - rexml (3.2.5) - rouge (3.26.1) - safe_yaml (1.0.5) - sassc (2.4.0-x64-mingw32) - ffi (~> 1.9) - terminal-table (2.0.0) - unicode-display_width (~> 1.1, >= 1.1.1) - thread_safe (0.3.6) - tzinfo (1.2.9) - thread_safe (~> 0.1) - tzinfo-data (1.2021.4) - tzinfo (>= 1.0.0) - unicode-display_width (1.8.0) - wdm (0.1.1) - webrick (1.7.0) - -PLATFORMS - x64-mingw32 - -DEPENDENCIES - jekyll (~> 4.2.1) - jekyll-feed (~> 0.12) - minima (~> 2.5) - tzinfo (~> 1.2) - tzinfo-data - wdm (~> 0.1.1) - webrick (~> 1.7) - -BUNDLED WITH - 2.2.29 From 20733965e494c4fdf72658d62d4a6849865d0261 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:00:12 +0200 Subject: [PATCH 03/18] Delete Gemfile --- Gemfile | 33 --------------------------------- 1 file changed, 33 deletions(-) delete mode 100644 Gemfile diff --git a/Gemfile b/Gemfile deleted file mode 100644 index 778467a..0000000 --- a/Gemfile +++ /dev/null @@ -1,33 +0,0 @@ -source "https://rubygems.org" -# Hello! This is where you manage which Jekyll version is used to run. -# When you want to use a different version, change it below, save the -# file and run `bundle install`. Run Jekyll with `bundle exec`, like so: -# -# bundle exec jekyll serve -# -# This will help ensure the proper Jekyll version is running. -# Happy Jekylling! -gem "jekyll", "~> 4.2.1" -# This is the default theme for new Jekyll sites. You may change this to anything you like. -gem "minima", "~> 2.5" -# If you want to use GitHub Pages, remove the "gem "jekyll"" above and -# uncomment the line below. To upgrade, run `bundle update github-pages`. -# gem "github-pages", group: :jekyll_plugins -# If you have any plugins, put them here! -group :jekyll_plugins do - gem "jekyll-feed", "~> 0.12" - gem 'jekyll-theme-cayman', '~> 0.0.3' -end - -# Windows and JRuby does not include zoneinfo files, so bundle the tzinfo-data gem -# and associated library. -platforms :mingw, :x64_mingw, :mswin, :jruby do - gem "tzinfo", "~> 1.2" - gem "tzinfo-data" -end - -# Performance-booster for watching directories on Windows -gem "wdm", "~> 0.1.1", :platforms => [:mingw, :x64_mingw, :mswin] - - -gem "webrick", "~> 1.7" \ No newline at end of file From 8fd06c337fbd2c33c3cbc0312140892ffa5f015e Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:00:38 +0200 Subject: [PATCH 04/18] Create jekyll-gh-pages.yml --- .github/workflows/jekyll-gh-pages.yml | 51 +++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100644 .github/workflows/jekyll-gh-pages.yml diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml new file mode 100644 index 0000000..e31d81c --- /dev/null +++ b/.github/workflows/jekyll-gh-pages.yml @@ -0,0 +1,51 @@ +# Sample workflow for building and deploying a Jekyll site to GitHub Pages +name: Deploy Jekyll with GitHub Pages dependencies preinstalled + +on: + # Runs on pushes targeting the default branch + push: + branches: ["main"] + + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages +permissions: + contents: read + pages: write + id-token: write + +# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. +# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. +concurrency: + group: "pages" + cancel-in-progress: false + +jobs: + # Build job + build: + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v4 + - name: Setup Pages + uses: actions/configure-pages@v5 + - name: Build with Jekyll + uses: actions/jekyll-build-pages@v1 + with: + source: ./ + destination: ./_site + - name: Upload artifact + uses: actions/upload-pages-artifact@v3 + + # Deployment job + deploy: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + runs-on: ubuntu-latest + needs: build + steps: + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v4 From 453dc71c344d8c0f351cc2e15834fd719f5f75db Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:00:50 +0200 Subject: [PATCH 05/18] Delete .github/workflows/jekyll.yml --- .github/workflows/jekyll.yml | 64 ------------------------------------ 1 file changed, 64 deletions(-) delete mode 100644 .github/workflows/jekyll.yml diff --git a/.github/workflows/jekyll.yml b/.github/workflows/jekyll.yml deleted file mode 100644 index 68520b5..0000000 --- a/.github/workflows/jekyll.yml +++ /dev/null @@ -1,64 +0,0 @@ -# This workflow uses actions that are not certified by GitHub. -# They are provided by a third-party and are governed by -# separate terms of service, privacy policy, and support -# documentation. - -# Sample workflow for building and deploying a Jekyll site to GitHub Pages -name: Deploy Jekyll site to Pages - -on: - # Runs on pushes targeting the default branch - push: - branches: ["main"] - - # Allows you to run this workflow manually from the Actions tab - workflow_dispatch: - -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages -permissions: - contents: read - pages: write - id-token: write - -# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. -# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. -concurrency: - group: "pages" - cancel-in-progress: false - -jobs: - # Build job - build: - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: Setup Ruby - uses: ruby/setup-ruby@8575951200e472d5f2d95c625da0c7bec8217c42 # v1.161.0 - with: - ruby-version: '3.1' # Not needed with a .ruby-version file - bundler-cache: true # runs 'bundle install' and caches installed gems automatically - cache-version: 0 # Increment this number if you need to re-download cached gems - - name: Setup Pages - id: pages - uses: actions/configure-pages@v5 - - name: Build with Jekyll - # Outputs to the './_site' directory by default - run: bundle exec jekyll build --baseurl "${{ steps.pages.outputs.base_path }}" - env: - JEKYLL_ENV: production - - name: Upload artifact - # Automatically uploads an artifact from the './_site' directory by default - uses: actions/upload-pages-artifact@v3 - - # Deployment job - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - needs: build - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 From 468a69b6c3b7cbb02d81df57307fd891b3beda05 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:02:48 +0200 Subject: [PATCH 06/18] Update _config.yml --- _config.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/_config.yml b/_config.yml index 7285245..bbc89c1 100644 --- a/_config.yml +++ b/_config.yml @@ -1,8 +1,9 @@ + title: Le French Math Project email: chirac.correze@gmail.com description: Maths for everyobody -theme: cayman +theme: jekyll-cayman # markdown: GFM From 8e393b07f0c2ae1eb7fc2899b11c0634c4b704b0 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:05:35 +0200 Subject: [PATCH 07/18] Update _config.yml --- _config.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/_config.yml b/_config.yml index bbc89c1..5f4b77a 100644 --- a/_config.yml +++ b/_config.yml @@ -1,9 +1,8 @@ - title: Le French Math Project email: chirac.correze@gmail.com description: Maths for everyobody -theme: jekyll-cayman +theme: jekyll-theme-cayman # markdown: GFM From 5121d473cc59d58630cc82b75db1dfdfa2e82720 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:06:41 +0200 Subject: [PATCH 08/18] Update exercise.md --- _notes/exercise.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_notes/exercise.md b/_notes/exercise.md index b512b18..820acbb 100644 --- a/_notes/exercise.md +++ b/_notes/exercise.md @@ -2,7 +2,7 @@ layout: post title: Méthodes author: Vincent G. COLIN -date: 1er Juillet 2024 +date: July 1 2024 permalink: methods --- @@ -41,4 +41,4 @@ Un isomorphisme est une application linéaire bijective de $E$ dans $E$. Un isomorphisme transforme une base en une autre base. -$rg(u) = dim(F)$ ? \ No newline at end of file +$rg(u) = dim(F)$ ? From d882b8e4127ffaf6f5790712d173875ed2a9e218 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:07:11 +0200 Subject: [PATCH 09/18] Update exercise.md --- _notes/exercise.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_notes/exercise.md b/_notes/exercise.md index 820acbb..a165872 100644 --- a/_notes/exercise.md +++ b/_notes/exercise.md @@ -2,7 +2,7 @@ layout: post title: Méthodes author: Vincent G. COLIN -date: July 1 2024 +date: July 1, 2024 permalink: methods --- From 5051227c99c65c0f7b9fcbb2c72f54208f6087fa Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:08:16 +0200 Subject: [PATCH 10/18] Update _config.yml --- _config.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/_config.yml b/_config.yml index 5f4b77a..dffd4eb 100644 --- a/_config.yml +++ b/_config.yml @@ -2,8 +2,6 @@ title: Le French Math Project email: chirac.correze@gmail.com description: Maths for everyobody -theme: jekyll-theme-cayman - # markdown: GFM collections: From 8222e7606c3cff351777dc3d5d0607381f4c071b Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:21:24 +0200 Subject: [PATCH 11/18] Delete .github/workflows directory --- .github/workflows/jekyll-gh-pages.yml | 51 --------------------------- 1 file changed, 51 deletions(-) delete mode 100644 .github/workflows/jekyll-gh-pages.yml diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml deleted file mode 100644 index e31d81c..0000000 --- a/.github/workflows/jekyll-gh-pages.yml +++ /dev/null @@ -1,51 +0,0 @@ -# Sample workflow for building and deploying a Jekyll site to GitHub Pages -name: Deploy Jekyll with GitHub Pages dependencies preinstalled - -on: - # Runs on pushes targeting the default branch - push: - branches: ["main"] - - # Allows you to run this workflow manually from the Actions tab - workflow_dispatch: - -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages -permissions: - contents: read - pages: write - id-token: write - -# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. -# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. -concurrency: - group: "pages" - cancel-in-progress: false - -jobs: - # Build job - build: - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: Setup Pages - uses: actions/configure-pages@v5 - - name: Build with Jekyll - uses: actions/jekyll-build-pages@v1 - with: - source: ./ - destination: ./_site - - name: Upload artifact - uses: actions/upload-pages-artifact@v3 - - # Deployment job - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - needs: build - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 From 8943e35f76ea4dea56517d58c12920ca98ac0005 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:21:34 +0200 Subject: [PATCH 12/18] Delete _layouts directory --- _layouts/default.html | 40 ---------------------------------------- 1 file changed, 40 deletions(-) delete mode 100644 _layouts/default.html diff --git a/_layouts/default.html b/_layouts/default.html deleted file mode 100644 index 330cb4b..0000000 --- a/_layouts/default.html +++ /dev/null @@ -1,40 +0,0 @@ - - - -{%- include head.html -%} - - - - - - - - - {%- include header.html -%} - -
-
- {{ content }} -
-
- - {%- include footer.html -%} - - - - \ No newline at end of file From 46a9155afa2bd28ad9e5869a766384e079538901 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:21:44 +0200 Subject: [PATCH 13/18] Delete _notes directory --- _notes/exercise.md | 44 -------------------------------------------- 1 file changed, 44 deletions(-) delete mode 100644 _notes/exercise.md diff --git a/_notes/exercise.md b/_notes/exercise.md deleted file mode 100644 index a165872..0000000 --- a/_notes/exercise.md +++ /dev/null @@ -1,44 +0,0 @@ ---- -layout: post -title: Méthodes -author: Vincent G. COLIN -date: July 1, 2024 -permalink: methods ---- - -# Algèbre linéaire - -## SEV et familes de vecteurs - -### Montrer qu'une famille est une base - -### Montrer qu'un ensemble est un SEV - -### Trouver le supplémentaire d'un SEV - -### Montrer que deux SEV sont en somme directe - -## Applications linéaires - -### Montrer qu'une application linéaire est injective : - -$u$ est injective $\iff Ker(u) = {0}$ - -### Montrer qu'une application linéaire est surjective : - -$u$ est surjective $\iff Im(u) = F$ - -### Montrer qu'une application est un endomorphisme - -Un endomorphisme est une application linéaire de $E$ dans $E$. - -1. $\varphi(\lambda u + v) = \lambda \varphi (u) + \varphi (v)$ -2. $\varphi (E) \subset E$ - -### Montrer qu'une application est un isomorphisme - -Un isomorphisme est une application linéaire bijective de $E$ dans $E$. - -Un isomorphisme transforme une base en une autre base. - -$rg(u) = dim(F)$ ? From 7d40b496c27c30109f76b282f03dbc30f4390eb7 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:21:52 +0200 Subject: [PATCH 14/18] Delete .gitignore --- .gitignore | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 .gitignore diff --git a/.gitignore b/.gitignore deleted file mode 100644 index f347510..0000000 --- a/.gitignore +++ /dev/null @@ -1,5 +0,0 @@ -_site -.sass-cache -.jekyll-cache -.jekyll-metadata -vendor \ No newline at end of file From cfa3e62209c9f0bf06d812189bf7f7eefb511632 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:21:59 +0200 Subject: [PATCH 15/18] Delete _config.yml --- _config.yml | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 _config.yml diff --git a/_config.yml b/_config.yml deleted file mode 100644 index dffd4eb..0000000 --- a/_config.yml +++ /dev/null @@ -1,9 +0,0 @@ -title: Le French Math Project -email: chirac.correze@gmail.com -description: Maths for everyobody - -# markdown: GFM - -collections: - notes: - output: true From b3162aa742c5c5be524b6e07c6b9c183f19fe300 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:22:13 +0200 Subject: [PATCH 16/18] Delete index.md --- index.md | 48 ------------------------------------------------ 1 file changed, 48 deletions(-) delete mode 100644 index.md diff --git a/index.md b/index.md deleted file mode 100644 index 1aeb6c3..0000000 --- a/index.md +++ /dev/null @@ -1,48 +0,0 @@ ---- -title: Home -author: Vincent G. COLIN -date: July 1, 2024 ---- - -# Chapitre 3 : Compléments d'algèbre linéaire - -## Sous-espaces vectoriels et familles de vecteurs - -## Applications linéaires - -### Exercice 11 - -Soient $n \in \mathbb{N}$ et $D$ l'application : -$$ -\begin{array}{rlll} -D: \mathbb{R}_n[X] & \longrightarrow & \mathbb{R}_n[X] \\ -P & \longrightarrow & P^{\prime} -\end{array} -$$ - -1. Vérifier que $D$ est un automorphisme de $\mathbb{R}_n[X]$ -2. On pose $\Gamma = id_{\mathbb{R}_n[X]} + D + D^2 + ... + D^n$. Montrer que $\Gamma$ est un automorphisme. -3. Rappeler une factorisation usuelle de $1 - X^{n+1}$ -4. En déduire $\Gamma \circ (id - D)$ -5. En déduire l'application réciproque de $\Gamma$ - -#### Corrigé : - -1. $D$ est un endomorphisme car $D$ est linéaire, et $P' \in \mathbb{R}_n[X]$ -2. $\Gamma$ transforme la base canonique de $\mathbb{R}_n[X]$ en famille libre de $\mathbb{R}_n[X]$, de dimension $n+1$. On peut donc dire que $\Gamma$ est une application linéaire (car somme d'applications linéaires), bijective, de $\mathbb{R}_n[X]$ vers $\mathbb{R}_n[X]$, donc $\Gamma$ est un automorphisme. -3. $(1-X^{n+1}) = (1-X) . \sum_{k=0}^n X^k$ TMTC -4. En réécrivant l'égalité précédente en plissant un peu les yeux, on obtient : -$\Gamma \circ (id - D) = (id - D^{n+1})$ -Il est alors important de remarquer que dans $\mathbb{R}_n[X]$, $D^{n+1} = 0$. On en déduit alors que dans $\mathbb{R}_n[X]$, $\Gamma \circ (id - D) = id$ - - - - From c3b9d4b336df736c2ad18e80b5de4adffa031304 Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:24:31 +0200 Subject: [PATCH 17/18] Add files via upload --- .gitignore | 5 +++++ 404.html | 25 +++++++++++++++++++++++ Gemfile | 33 ++++++++++++++++++++++++++++++ _config.yml | 55 ++++++++++++++++++++++++++++++++++++++++++++++++++ about.markdown | 18 +++++++++++++++++ index.markdown | 6 ++++++ 6 files changed, 142 insertions(+) create mode 100644 .gitignore create mode 100644 404.html create mode 100644 Gemfile create mode 100644 _config.yml create mode 100644 about.markdown create mode 100644 index.markdown diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..f40fbd8 --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +_site +.sass-cache +.jekyll-cache +.jekyll-metadata +vendor diff --git a/404.html b/404.html new file mode 100644 index 0000000..086a5c9 --- /dev/null +++ b/404.html @@ -0,0 +1,25 @@ +--- +permalink: /404.html +layout: default +--- + + + +
+

404

+ +

Page not found :(

+

The requested page could not be found.

+
diff --git a/Gemfile b/Gemfile new file mode 100644 index 0000000..08e9e0a --- /dev/null +++ b/Gemfile @@ -0,0 +1,33 @@ +source "https://rubygems.org" +# Hello! This is where you manage which Jekyll version is used to run. +# When you want to use a different version, change it below, save the +# file and run `bundle install`. Run Jekyll with `bundle exec`, like so: +# +# bundle exec jekyll serve +# +# This will help ensure the proper Jekyll version is running. +# Happy Jekylling! +gem "jekyll", "~> 4.3.3" +# This is the default theme for new Jekyll sites. You may change this to anything you like. +gem "minima", "~> 2.5" +# If you want to use GitHub Pages, remove the "gem "jekyll"" above and +# uncomment the line below. To upgrade, run `bundle update github-pages`. +# gem "github-pages", group: :jekyll_plugins +# If you have any plugins, put them here! +group :jekyll_plugins do + gem "jekyll-feed", "~> 0.12" +end + +# Windows and JRuby does not include zoneinfo files, so bundle the tzinfo-data gem +# and associated library. +platforms :mingw, :x64_mingw, :mswin, :jruby do + gem "tzinfo", ">= 1", "< 3" + gem "tzinfo-data" +end + +# Performance-booster for watching directories on Windows +gem "wdm", "~> 0.1.1", :platforms => [:mingw, :x64_mingw, :mswin] + +# Lock `http_parser.rb` gem to `v0.6.x` on JRuby builds since newer versions of the gem +# do not have a Java counterpart. +gem "http_parser.rb", "~> 0.6.0", :platforms => [:jruby] diff --git a/_config.yml b/_config.yml new file mode 100644 index 0000000..ef7ba7c --- /dev/null +++ b/_config.yml @@ -0,0 +1,55 @@ +# Welcome to Jekyll! +# +# This config file is meant for settings that affect your whole blog, values +# which you are expected to set up once and rarely edit after that. If you find +# yourself editing this file very often, consider using Jekyll's data files +# feature for the data you need to update frequently. +# +# For technical reasons, this file is *NOT* reloaded automatically when you use +# 'bundle exec jekyll serve'. If you change this file, please restart the server process. +# +# If you need help with YAML syntax, here are some quick references for you: +# https://learn-the-web.algonquindesign.ca/topics/markdown-yaml-cheat-sheet/#yaml +# https://learnxinyminutes.com/docs/yaml/ +# +# Site settings +# These are used to personalize your new site. If you look in the HTML files, +# you will see them accessed via {{ site.title }}, {{ site.email }}, and so on. +# You can create any custom variable you would like, and they will be accessible +# in the templates via {{ site.myvariable }}. + +title: Your awesome title +email: your-email@example.com +description: >- # this means to ignore newlines until "baseurl:" + Write an awesome description for your new site here. You can edit this + line in _config.yml. It will appear in your document head meta (for + Google search results) and in your feed.xml site description. +baseurl: "" # the subpath of your site, e.g. /blog +url: "" # the base hostname & protocol for your site, e.g. http://example.com +twitter_username: jekyllrb +github_username: jekyll + +# Build settings +theme: minima +plugins: + - jekyll-feed + +# Exclude from processing. +# The following items will not be processed, by default. +# Any item listed under the `exclude:` key here will be automatically added to +# the internal "default list". +# +# Excluded items can be processed by explicitly listing the directories or +# their entries' file path in the `include:` list. +# +# exclude: +# - .sass-cache/ +# - .jekyll-cache/ +# - gemfiles/ +# - Gemfile +# - Gemfile.lock +# - node_modules/ +# - vendor/bundle/ +# - vendor/cache/ +# - vendor/gems/ +# - vendor/ruby/ diff --git a/about.markdown b/about.markdown new file mode 100644 index 0000000..8b4e0b2 --- /dev/null +++ b/about.markdown @@ -0,0 +1,18 @@ +--- +layout: page +title: About +permalink: /about/ +--- + +This is the base Jekyll theme. You can find out more info about customizing your Jekyll theme, as well as basic Jekyll usage documentation at [jekyllrb.com](https://jekyllrb.com/) + +You can find the source code for Minima at GitHub: +[jekyll][jekyll-organization] / +[minima](https://github.com/jekyll/minima) + +You can find the source code for Jekyll at GitHub: +[jekyll][jekyll-organization] / +[jekyll](https://github.com/jekyll/jekyll) + + +[jekyll-organization]: https://github.com/jekyll diff --git a/index.markdown b/index.markdown new file mode 100644 index 0000000..0671507 --- /dev/null +++ b/index.markdown @@ -0,0 +1,6 @@ +--- +# Feel free to add content and custom Front Matter to this file. +# To modify the layout, see https://jekyllrb.com/docs/themes/#overriding-theme-defaults + +layout: home +--- From f477aae2909248464a80bc7dc06c2cf0c6f5a6ab Mon Sep 17 00:00:00 2001 From: vcncolin <120666273+vcncolin@users.noreply.github.com> Date: Mon, 1 Jul 2024 12:25:22 +0200 Subject: [PATCH 18/18] Add files via upload --- _posts/2024-07-01-welcome-to-jekyll.markdown | 29 ++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 _posts/2024-07-01-welcome-to-jekyll.markdown diff --git a/_posts/2024-07-01-welcome-to-jekyll.markdown b/_posts/2024-07-01-welcome-to-jekyll.markdown new file mode 100644 index 0000000..a0cf996 --- /dev/null +++ b/_posts/2024-07-01-welcome-to-jekyll.markdown @@ -0,0 +1,29 @@ +--- +layout: post +title: "Welcome to Jekyll!" +date: 2024-07-01 12:19:36 +0200 +categories: jekyll update +--- +You’ll find this post in your `_posts` directory. Go ahead and edit it and re-build the site to see your changes. You can rebuild the site in many different ways, but the most common way is to run `jekyll serve`, which launches a web server and auto-regenerates your site when a file is updated. + +Jekyll requires blog post files to be named according to the following format: + +`YEAR-MONTH-DAY-title.MARKUP` + +Where `YEAR` is a four-digit number, `MONTH` and `DAY` are both two-digit numbers, and `MARKUP` is the file extension representing the format used in the file. After that, include the necessary front matter. Take a look at the source for this post to get an idea about how it works. + +Jekyll also offers powerful support for code snippets: + +{% highlight ruby %} +def print_hi(name) + puts "Hi, #{name}" +end +print_hi('Tom') +#=> prints 'Hi, Tom' to STDOUT. +{% endhighlight %} + +Check out the [Jekyll docs][jekyll-docs] for more info on how to get the most out of Jekyll. File all bugs/feature requests at [Jekyll’s GitHub repo][jekyll-gh]. If you have questions, you can ask them on [Jekyll Talk][jekyll-talk]. + +[jekyll-docs]: https://jekyllrb.com/docs/home +[jekyll-gh]: https://github.com/jekyll/jekyll +[jekyll-talk]: https://talk.jekyllrb.com/