build based on efac892

oscar-system · Jul 2, 2024 · 8850fe4 · 8850fe4
1 parent f59c2ca
commit 8850fe4
Show file tree

Hide file tree

Showing 15 changed files with 54 additions and 118 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-07-02T14:21:06","documenter_version":"1.5.0"}}
+{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-07-02T14:31:46","documenter_version":"1.5.0"}}
diff --git a/dev/assets/html/JuliaInterface/chap0.html b/dev/assets/html/JuliaInterface/chap0.html
@@ -88,12 +88,6 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1.html#X80E761808323A91E">1.2 <span class="Heading">Installation of the <strong class="pkg">JuliaInterface</strong> package</span></a>
 </span>
 </div>
-<div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1.html#X78B45CA17952269B">1.3 <span class="Heading">User preferences in the <strong class="pkg">JuliaInterface</strong> package</span></a>
-</span>
-<div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X7A8949AE84273FCC">1.3-1 <span class="Heading">User preference <code class="code">IncludeJuliaStartupFile</code></span></a>
-</span>
-</div></div>
 </div>
 <div class="ContChap"><a href="chap2.html#X803153227B36BD35">2 <span class="Heading">Using <strong class="pkg">Julia</strong> from <strong class="pkg">GAP</strong></span></a>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap2.html#X7B7DD1268038A60B">2.1 <span class="Heading">Filters for <strong class="pkg">JuliaInterface</strong></span></a>

diff --git a/dev/assets/html/JuliaInterface/chap0_mj.html b/dev/assets/html/JuliaInterface/chap0_mj.html
@@ -91,12 +91,6 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1_mj.html#X80E761808323A91E">1.2 <span class="Heading">Installation of the <strong class="pkg">JuliaInterface</strong> package</span></a>
 </span>
 </div>
-<div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1_mj.html#X78B45CA17952269B">1.3 <span class="Heading">User preferences in the <strong class="pkg">JuliaInterface</strong> package</span></a>
-</span>
-<div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X7A8949AE84273FCC">1.3-1 <span class="Heading">User preference <code class="code">IncludeJuliaStartupFile</code></span></a>
-</span>
-</div></div>
 </div>
 <div class="ContChap"><a href="chap2_mj.html#X803153227B36BD35">2 <span class="Heading">Using <strong class="pkg">Julia</strong> from <strong class="pkg">GAP</strong></span></a>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap2_mj.html#X7B7DD1268038A60B">2.1 <span class="Heading">Filters for <strong class="pkg">JuliaInterface</strong></span></a>

diff --git a/dev/assets/html/JuliaInterface/chap1.html b/dev/assets/html/JuliaInterface/chap1.html
@@ -28,12 +28,6 @@
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1.html#X80E761808323A91E">1.2 <span class="Heading">Installation of the <strong class="pkg">JuliaInterface</strong> package</span></a>
 </span>
 </div>
-<div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1.html#X78B45CA17952269B">1.3 <span class="Heading">User preferences in the <strong class="pkg">JuliaInterface</strong> package</span></a>
-</span>
-<div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X7A8949AE84273FCC">1.3-1 <span class="Heading">User preference <code class="code">IncludeJuliaStartupFile</code></span></a>
-</span>
-</div></div>
 </div>
 
 <h3>1 <span class="Heading">Introduction to <strong class="pkg">JuliaInterface</strong></span></h3>
@@ -94,25 +88,6 @@ <h4>1.2 <span class="Heading">Installation of the <strong class="pkg">JuliaInter
 
 <p>Note that the <strong class="pkg">JuliaInterface</strong> code belongs to <span class="URL"><a href="https://github.com/oscar-system/GAP.jl">the <strong class="pkg">Julia</strong> package <code class="code">GAP.jl</code></a></span>, hence it can be found there.</p>
 
-<p><a id="X78B45CA17952269B" name="X78B45CA17952269B"></a></p>
-
-<h4>1.3 <span class="Heading">User preferences in the <strong class="pkg">JuliaInterface</strong> package</span></h4>
-
-<p><a id="X7A8949AE84273FCC" name="X7A8949AE84273FCC"></a></p>
-
-<h5>1.3-1 <span class="Heading">User preference <code class="code">IncludeJuliaStartupFile</code></span></h5>
-
-<p>When one starts an interactive <strong class="pkg">Julia</strong> session, the <strong class="pkg">Julia</strong> startup file <code class="file">~/.julia/config/startup.jl</code> gets included automatically by default, see <span class="URL"><a href="https://docs.julialang.org/en/v1/stdlib/REPL">the section <q>The Julia REPL</q> in the <strong class="pkg">Julia</strong> documentation</a></span>. Hence the effects of this inclusion can be used in a <strong class="pkg">GAP</strong> session which one gets via the following input.</p>
-
-
-<div class="example"><pre>using GAP; GAP.prompt()</pre></div>
-
-<p>However, this <strong class="pkg">Julia</strong> startup file is <em>not</em> included into <strong class="pkg">Julia</strong> by default when <strong class="pkg">GAP</strong> gets started via the <code class="file">gap.sh</code> script that is created during the installation of <strong class="pkg">GAP</strong> (controlled by <strong class="pkg">Julia</strong>).</p>
-
-<p>The user preference <code class="code">IncludeJuliaStartupFile</code> can be used to force that the startup file gets included also in the latter situation, as follows.</p>
-
-<p>If the value is <code class="keyw">true</code> then the file <code class="file">~/.julia/config/startup.jl</code> gets included into <strong class="pkg">Julia</strong> after startup. If the value is a nonempty string that is the name of a directory then the <code class="file">startup.jl</code> file in this directory gets included into <strong class="pkg">Julia</strong>. Otherwise (this is the default) no <code class="file">startup.jl</code> file will be included automatically.</p>
-
 
 <div class="chlinkprevnextbot">&nbsp;<a href="chap0.html">[Top of Book]</a>&nbsp;  <a href="chap0.html#contents">[Contents]</a>&nbsp;  &nbsp;<a href="chap0.html">[Previous Chapter]</a>&nbsp;  &nbsp;<a href="chap2.html">[Next Chapter]</a>&nbsp;  </div>
 

diff --git a/dev/assets/html/JuliaInterface/chap1_mj.html b/dev/assets/html/JuliaInterface/chap1_mj.html
@@ -31,12 +31,6 @@
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1_mj.html#X80E761808323A91E">1.2 <span class="Heading">Installation of the <strong class="pkg">JuliaInterface</strong> package</span></a>
 </span>
 </div>
-<div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1_mj.html#X78B45CA17952269B">1.3 <span class="Heading">User preferences in the <strong class="pkg">JuliaInterface</strong> package</span></a>
-</span>
-<div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X7A8949AE84273FCC">1.3-1 <span class="Heading">User preference <code class="code">IncludeJuliaStartupFile</code></span></a>
-</span>
-</div></div>
 </div>
 
 <h3>1 <span class="Heading">Introduction to <strong class="pkg">JuliaInterface</strong></span></h3>
@@ -97,25 +91,6 @@ <h4>1.2 <span class="Heading">Installation of the <strong class="pkg">JuliaInter
 
 <p>Note that the <strong class="pkg">JuliaInterface</strong> code belongs to <span class="URL"><a href="https://github.com/oscar-system/GAP.jl">the <strong class="pkg">Julia</strong> package <code class="code">GAP.jl</code></a></span>, hence it can be found there.</p>
 
-<p><a id="X78B45CA17952269B" name="X78B45CA17952269B"></a></p>
-
-<h4>1.3 <span class="Heading">User preferences in the <strong class="pkg">JuliaInterface</strong> package</span></h4>
-
-<p><a id="X7A8949AE84273FCC" name="X7A8949AE84273FCC"></a></p>
-
-<h5>1.3-1 <span class="Heading">User preference <code class="code">IncludeJuliaStartupFile</code></span></h5>
-
-<p>When one starts an interactive <strong class="pkg">Julia</strong> session, the <strong class="pkg">Julia</strong> startup file <code class="file">~/.julia/config/startup.jl</code> gets included automatically by default, see <span class="URL"><a href="https://docs.julialang.org/en/v1/stdlib/REPL">the section <q>The Julia REPL</q> in the <strong class="pkg">Julia</strong> documentation</a></span>. Hence the effects of this inclusion can be used in a <strong class="pkg">GAP</strong> session which one gets via the following input.</p>
-
-
-<div class="example"><pre>using GAP; GAP.prompt()</pre></div>
-
-<p>However, this <strong class="pkg">Julia</strong> startup file is <em>not</em> included into <strong class="pkg">Julia</strong> by default when <strong class="pkg">GAP</strong> gets started via the <code class="file">gap.sh</code> script that is created during the installation of <strong class="pkg">GAP</strong> (controlled by <strong class="pkg">Julia</strong>).</p>
-
-<p>The user preference <code class="code">IncludeJuliaStartupFile</code> can be used to force that the startup file gets included also in the latter situation, as follows.</p>
-
-<p>If the value is <code class="keyw">true</code> then the file <code class="file">~/.julia/config/startup.jl</code> gets included into <strong class="pkg">Julia</strong> after startup. If the value is a nonempty string that is the name of a directory then the <code class="file">startup.jl</code> file in this directory gets included into <strong class="pkg">Julia</strong>. Otherwise (this is the default) no <code class="file">startup.jl</code> file will be included automatically.</p>
-
 
 <div class="chlinkprevnextbot">&nbsp;<a href="chap0_mj.html">[Top of Book]</a>&nbsp;  <a href="chap0_mj.html#contents">[Contents]</a>&nbsp;  &nbsp;<a href="chap0_mj.html">[Previous Chapter]</a>&nbsp;  &nbsp;<a href="chap2_mj.html">[Next Chapter]</a>&nbsp;  </div>
 

diff --git a/dev/assets/html/JuliaInterface/chapInd.html b/dev/assets/html/JuliaInterface/chapInd.html
@@ -28,7 +28,6 @@ <h3>Index</h3>
 <code class="func">CallJuliaFunctionWithCatch</code>  <a href="chap2.html#X8339D8D47D079AF9">2.3-5</a>  <br />
 <code class="func">CallJuliaFunctionWithKeywordArguments</code>  <a href="chap2.html#X7FB242EE864F21A2">2.3-6</a>  <br />
 <code class="func">GAPToJulia</code>  <a href="chap3.html#X860C2F3184F70021">3.2-3</a>  <br />
-<code class="code">IncludeJuliaStartupFile</code>  <a href="chap1.html#X7A8949AE84273FCC">1.3-1</a>  <br />
 <code class="func">IsJuliaModule</code>, for IsJuliaWrapper and IsRecord  <a href="chap2.html#X82D4023684D29F75">2.1-4</a>  <br />
 <code class="func">IsJuliaObject</code>, for IsObject  <a href="chap2.html#X879710A97B8A4202">2.1-1</a>  <br />
 <code class="func">IsJuliaWrapper</code>, for IsObject  <a href="chap2.html#X80FEB3607C6B60F8">2.1-2</a>  <br />

diff --git a/dev/assets/html/JuliaInterface/chapInd_mj.html b/dev/assets/html/JuliaInterface/chapInd_mj.html
@@ -31,7 +31,6 @@ <h3>Index</h3>
 <code class="func">CallJuliaFunctionWithCatch</code>  <a href="chap2_mj.html#X8339D8D47D079AF9">2.3-5</a>  <br />
 <code class="func">CallJuliaFunctionWithKeywordArguments</code>  <a href="chap2_mj.html#X7FB242EE864F21A2">2.3-6</a>  <br />
 <code class="func">GAPToJulia</code>  <a href="chap3_mj.html#X860C2F3184F70021">3.2-3</a>  <br />
-<code class="code">IncludeJuliaStartupFile</code>  <a href="chap1_mj.html#X7A8949AE84273FCC">1.3-1</a>  <br />
 <code class="func">IsJuliaModule</code>, for IsJuliaWrapper and IsRecord  <a href="chap2_mj.html#X82D4023684D29F75">2.1-4</a>  <br />
 <code class="func">IsJuliaObject</code>, for IsObject  <a href="chap2_mj.html#X879710A97B8A4202">2.1-1</a>  <br />
 <code class="func">IsJuliaWrapper</code>, for IsObject  <a href="chap2_mj.html#X80FEB3607C6B60F8">2.1-2</a>  <br />