Update website for Unipot 1.6

gap-packages · Jul 4, 2024 · e4a3872 · e4a3872
1 parent 351ea5b
commit e4a3872
Show file tree

Hide file tree

Showing 8 changed files with 41 additions and 79 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo(
   rec(
     PackageName     := "Unipot",
     Subtitle        := "Computing with elements of unipotent subgroups of Chevalley groups",
-    Version         := "1.5",
-    Date            := "22/02/2022", # dd/mm/yyyy format
+    Version         := "1.6",
+    Date            := "04/07/2024", # dd/mm/yyyy format
     License         := "GPL-2.0-or-later",
     PackageWWWHome  := "https://gap-packages.github.io/unipot/",
     README_URL      := Concatenation( ~.PackageWWWHome, "README.md" ),
@@ -33,23 +33,23 @@ SetPackageInfo(
         IsAuthor      := true,
         IsMaintainer  := false,
         Email         := "[email protected]",
-        WWWHome       := "http://www.sergei-haller.de",
+        WWWHome       := "https://www.sergei-haller.de",
       ),
       rec(
         LastName      := "Horn",
         FirstNames    := "Max",
         IsAuthor      := false,
         IsMaintainer  := true,
-        Email         := "[email protected].de",
+        Email         := "mhorn@rptu.de",
         WWWHome       := "https://www.quendi.de/math",
         PostalAddress := Concatenation(
                            "Fachbereich Mathematik\n",
-                           "TU Kaiserslautern\n",
+                           "RPTU Kaiserslautern-Landau\n",
                            "Gottlieb-Daimler-Straße 48\n",
                            "67663 Kaiserslautern\n",
                            "Germany" ),
         Place         := "Kaiserslautern, Germany",
-        Institution   := "TU Kaiserslautern"
+        Institution   := "RPTU Kaiserslautern-Landau"
       ),
     ],
     PackageDoc := rec(

diff --git a/README.md b/README.md
@@ -24,41 +24,14 @@ You have to perform the following steps to install `Unipot`:
 
 You can download the sources from
  <https://gap-packages.github.io/unipot/>
-or alternatively from the same places as GAP:
- <https://www.gap-system.org/Packages/unipot.html>
 
-If you installed a recent version of the packages-... file of the GAP
+If you installed a complete copy of the standard GAP
 distribution, then `Unipot` is most likely already installed. If not,
 you can download the package `Unipot` separately. In that case go to the
 subdirectory `pkg` of the main GAP directory (when you installed the GAP
-distribution, a new directory called `gap4r<X>` for some <X> was
-created; this directory contains the `pkg` subdirectory). The standard
-location would be
-
-    /usr/local/lib/gap4rX/pkg
-
-Then extract the sources of the `Unipot` package. `Unipot` resides
-completely in the following subdirectory (assuming standard location):
-
-    /usr/local/lib/gap4rX/pkg/unipot
-
-### Installing in a different than the standard location
-
-It could happen that you do not want to install `Unipot` in its
-standard location, perhaps because you do not want to bother
-your system administrator and have no access to the GAP
-directory. In this case just unpack `Unipot` in any other
-location within a `pkg` directory as described above. E.g. the
-directory containing the `pkg` directory is `/home/user/mygap`,
-then `Unipot` resides in `/home/user/mygap/pkg/unipot`.
-
-Note that you *either* have to edit the startup script `gap.sh`:
- Add `/home/user/mygap` separating it with a semicolon (`;`)
- from previous directories for the variable `GAP_DIR`
-*or* you have to start GAP with following command line option:
-
-    gap -l "/usr/local/lib/gap4rX;/home/user/mygap"
-
+distribution, a new directory called `gap-4.<X>` for some <X> was
+created; this directory contains the `pkg` subdirectory).
+Then extract the sources of the `Unipot` package in there.
 
 ## Loading `Unipot` in GAP
 

diff --git a/_data/package.yml b/_data/package.yml
@@ -1,13 +1,13 @@
 name: Unipot
-version: "1.5"
+version: "1.6"
 license: "GPL-2.0-or-later"
-date: 2022-02-22
+date: 2024-07-04
 description: |
     Computing with elements of unipotent subgroups of Chevalley groups
 
 authors:
     - name: Sergei Haller
-      url: http://www.sergei-haller.de
+      url: https://www.sergei-haller.de
 
 maintainers:
     - name: Max Horn
@@ -21,7 +21,7 @@ packageinfo: https://gap-packages.github.io/unipot/PackageInfo.g
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/gap-packages/unipot/releases/download/v1.5/unipot-1.5.tar.gz
+      url: https://github.com/gap-packages/unipot/releases/download/v1.6/unipot-1.6.tar.gz
 
 abstract: |
     Tools for computing with elements of unipotent subgroups of Chevalley groups.
@@ -33,27 +33,27 @@ keywords: |
     Chevalley, unipotent elements, unipot.
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>HH22</span>]   <b class='BibAuthor'>Haller, S. and Horn, M.</b>,
+    [<span class='BibKey'>HH24</span>]   <b class='BibAuthor'>Haller, S. and Horn, M.</b>,
      <i class='BibTitle'>Unipot, Computing with elements of unipotent subgroups of Chevalley groups,
-             Version 1.5</i>
-     (<span class='BibYear'>2022</span>)<br />
+             Version 1.6</i>
+     (<span class='BibYear'>2024</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://gap-packages.github.io/unipot/">https://gap-packages.github.io/unipot/</a></span>.
     </p>
     
 
 bibtex: |
-    @misc{ Unipot1.5,
+    @misc{ Unipot,
       author =           {Haller, S. and Horn, M.},
       title =            {{Unipot},   Computing   with   elements  of  unipotent
-                          subgroups of Chevalley groups, {V}ersion 1.5},
-      month =            {Feb},
-      year =             {2022},
+                          subgroups of Chevalley groups, {V}ersion 1.6},
+      month =            {Jul},
+      year =             {2024},
       note =             {GAP package},
       howpublished =     {\href         {https://gap-packages.github.io/unipot/}
-                          {\texttt{https://gap-packages.github.io/}\discretionary
+                          {\texttt{https://gap\texttt{\symbol{45}}packages.github.io/}\discretionary
                           {}{}{}\texttt{unipot/}}},
       keywords =         {Chevalley; unipotent elements; unipot},
-      printedkey =       {HH22}
+      printedkey =       {HH24}
     }
 
diff --git a/htm/CHAP001.htm b/htm/CHAP001.htm
@@ -20,7 +20,7 @@ <H3>Sections</H3>
 <i>r</i> &#8712; &#934;<sup>+</sup>,<i>t</i> &#8712; <i>K</i>. The roots of the underlying  root  system
 &#934;  are  ordered  according  to  the height  function.  Each
 element of  <i>U</i> is  a product of the  root elements <i>x</i><sub><i>r</i></sub>(<i>t</i>). By
-Theorem 5.3.3 from  <a href="biblio.htm#Carter72"><cite>Carter72</cite></a>  each element of <i>U</i> can  be
+Theorem 5.3.3 from  <a href="biblio.htm#Car72"><cite>Car72</cite></a>  each element of <i>U</i> can  be
 uniquely  written  as a product  of root  elements with roots in
 increasing order. This unique form is called the canonical form.
 <p>
@@ -51,20 +51,10 @@ <h2><a name="SECT002">1.2 Citing Unipot</a></h2>
 <p>
 <pre>
 [Hal02] Sergei Haller. Unipot --- a system for computing with elements
-        of unipotent subgroups of Chevalley groups, Version 1.2.
-        Justus-Liebig-Universitaet Giessen, Germany, July 2002. 
-        (http://...)
+        of unipotent subgroups of Chevalley groups, July 2002.
 </pre>
 <p>
-(Should the reference style require full addresses please use:
-``Arbeitsgruppe Algebra,
-  Mathematisches Institut,
-  Justus-Liebig-Universit&auml;t Gie&szlig;en,
-  Arndtstr. 2,
-  35392 Gie&szlig;en, Germany'')
-<p>
-<p>
 [<a href = "chapters.htm">Up</a>] [<a href ="CHAP002.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
 <P>
-<address>unipot manual<br>February 2022
+<address>unipot manual<br>July 2024
 </address></body></html>
diff --git a/htm/CHAP002.htm b/htm/CHAP002.htm
@@ -109,7 +109,7 @@ <h2><a name="SECT002">2.2 Unipotent subgroups of Chevalley groups</a></h2>
 <li><code>ViewObj( </code><var>U</var><code> ) M</code>
 <p>
 Special methods for unipotent  subgroups.  (see  <font face="Gill Sans,Helvetica,Arial">GAP</font> Reference Manual,
-section  <a href="https://www.gap-system.org/Manuals/doc/ref/chap6.html#X8074A8387C9DB9A8">View  and  Print</a>  for general  information  on <code>View</code>  and
+section  <a href="https://docs.gap-system.org/doc/ref/chap6.html#X8074A8387C9DB9A8">View  and  Print</a>  for general  information  on <code>View</code>  and
 <code>Print</code>)
 <p>
 <pre>
@@ -132,7 +132,7 @@ <h2><a name="SECT002">2.2 Unipotent subgroups of Chevalley groups</a></h2>
 <p>
 <code>Size</code> returns  the order  of a unipotent subgroup.  This  is  a
 special  method for  unipotent  subgroups  using the  result  in
-Carter <a href="biblio.htm#Carter72"><cite>Carter72</cite></a>, Theorem 5.3.3 (ii).
+Carter <a href="biblio.htm#Car72"><cite>Car72</cite></a>, Theorem 5.3.3 (ii).
 <p>
 <pre>
 gap&gt; SetInfoLevel( UnipotChevInfo, 2 );
@@ -147,7 +147,7 @@ <h2><a name="SECT002">2.2 Unipotent subgroups of Chevalley groups</a></h2>
 <li><code>RootSystem( </code><var>U</var><code> ) M</code>
 <p>
 This  method is similar  to the  method <code>RootSystem</code>  for semisimple  Lie
-algebras (see Section <a href="https://www.gap-system.org/Manuals/doc/ref/chap64.html#X83F829017D46C544">Semisimple  Lie Algebras and Root  Systems</a> in
+algebras (see Section <a href="https://docs.gap-system.org/doc/ref/chap64.html#X83F829017D46C544">Semisimple  Lie Algebras and Root  Systems</a> in
 the <font face="Gill Sans,Helvetica,Arial">GAP</font> Reference Manual for further information).
 <p>
 <code>RootSystem</code> returns the underlying root system of the unipotent subgroup
@@ -293,7 +293,7 @@ <h2><a name="SECT003">2.3 Elements of unipotent subgroups of Chevalley groups</a
 <var>roots</var> should be a list of root numbers, i.e. integers from the range 1,
 ...,  <code>Length(PositiveRoots(RootSystem(</code><var>U</var><code>)))</code>. And <var>felems</var> a list  of
 corresponding ring elements or indeterminates over that ring  (see <font face="Gill Sans,Helvetica,Arial">GAP</font>
-Reference   Manual,   <a href="https://www.gap-system.org/Manuals/doc/ref/chap66.html#X79D0380D7FA39F7D">Indeterminate</a>  for  general   information  on
+Reference   Manual,   <a href="https://docs.gap-system.org/doc/ref/chap66.html#X79D0380D7FA39F7D">Indeterminate</a>  for  general   information  on
 indeterminates  or  section  <a href="CHAP002.htm#SECT004">Symbolic computation</a>  of  this  manual for
 examples).
 <p>
@@ -330,7 +330,7 @@ <h2><a name="SECT003">2.3 Elements of unipotent subgroups of Chevalley groups</a
 <var>roots</var>      should      be      a     list      of      elements      of
 <code>PositiveRootsFC(RootSystem(</code><var>U</var><code>))</code>.   And   <var>felems</var>    a    list    of
 corresponding ring elements or indeterminates over that ring  (see <font face="Gill Sans,Helvetica,Arial">GAP</font>
-Reference   Manual,   <a href="https://www.gap-system.org/Manuals/doc/ref/chap66.html#X79D0380D7FA39F7D">Indeterminate</a>  for  general   information  on
+Reference   Manual,   <a href="https://docs.gap-system.org/doc/ref/chap66.html#X79D0380D7FA39F7D">Indeterminate</a>  for  general   information  on
 indeterminates  or  section  <a href="CHAP002.htm#SECT004">Symbolic computation</a>  of  this  manual for
 examples).
 <p>
@@ -434,7 +434,7 @@ <h2><a name="SECT003">2.3 Elements of unipotent subgroups of Chevalley groups</a
 <li><code>CanonicalForm( </code><var>x</var><code> ) A</code>
 <p>
 <code>CanonicalForm</code>  returns the  canonical form of <var>x</var>. For more information
-on the canonical form  see Carter <a href="biblio.htm#Carter72"><cite>Carter72</cite></a>, Theorem 5.3.3 (ii). It
+on the canonical form  see Carter <a href="biblio.htm#Car72"><cite>Car72</cite></a>, Theorem 5.3.3 (ii). It
 says:
 <p>
 Each  element of  a unipotent subgroup <i>U</i> of a Chevalley group with root
@@ -458,7 +458,7 @@ <h2><a name="SECT003">2.3 Elements of unipotent subgroups of Chevalley groups</a
 <li><code>ViewObj( </code><var>x</var><code> ) M</code>
 <p>
 Special  methods for  unipotent elements. (see <font face="Gill Sans,Helvetica,Arial">GAP</font>  Reference  Manual,
-section  <a href="https://www.gap-system.org/Manuals/doc/ref/chap6.html#X8074A8387C9DB9A8">View  and  Print</a>  for  general  information on  <code>View</code> and
+section  <a href="https://docs.gap-system.org/doc/ref/chap6.html#X8074A8387C9DB9A8">View  and  Print</a>  for  general  information on  <code>View</code> and
 <code>Print</code>). The output depends on the representation of <var>x</var>.
 <p>
 <pre>
@@ -484,7 +484,7 @@ <h2><a name="SECT003">2.3 Elements of unipotent subgroups of Chevalley groups</a
 <code>=</code>. <strong>Note</strong> that <code>CanonicalForm</code> and  <code>Inverse</code>  of  <var>x</var>  (if known)  are
 identical to <code>CanonicalForm</code> and <code>Inverse</code> of the returned object.
 <p>
-(See <font face="Gill Sans,Helvetica,Arial">GAP</font> Reference  Manual,  section <a href="https://www.gap-system.org/Manuals/doc/ref/chap12.html#X786B942B82D684BD">Duplication of Objects</a>  for
+(See <font face="Gill Sans,Helvetica,Arial">GAP</font> Reference  Manual,  section <a href="https://docs.gap-system.org/doc/ref/chap12.html#X786B942B82D684BD">Duplication of Objects</a>  for
 further information on copyability)
 <p>
 <a name = "SSEC003.11"></a>
@@ -638,7 +638,7 @@ <h2><a name="SECT004">2.4 Symbolic computation</a></h2>
 In  some  cases,  calculation  with explicite  elements  is  not  enough.
 <font face="Gill Sans,Helvetica,Arial">Unipot</font>  povides a  way  to  do  symbolic calculations  with  unipotent
 elements for this  purpose.  This is  done by using  indeterminates  (see
-<font face="Gill Sans,Helvetica,Arial">GAP</font> Reference Manual, <a href="https://www.gap-system.org/Manuals/doc/ref/chap66.html#X7A8FADCD875826DA">Indeterminates</a> for  more information) over
+<font face="Gill Sans,Helvetica,Arial">GAP</font> Reference Manual, <a href="https://docs.gap-system.org/doc/ref/chap66.html#X7A8FADCD875826DA">Indeterminates</a> for  more information) over
 the underlying field instead of the field elements.
 <p>
 <pre>
@@ -659,8 +659,7 @@ <h2><a name="SECT004">2.4 Symbolic computation</a></h2>
 x_{[ 2, 1 ]}( -b^2*c ) * x_{[ 3, 1 ]}( -a+b^3*c ) * x_{[ 3, 2 ]}( b^3*c^2 )
 </pre>
 <p>
-<p>
 [<a href = "chapters.htm">Up</a>] [<a href ="CHAP001.htm">Previous</a>] [<a href = "theindex.htm">Index</a>]
 <P>
-<address>unipot manual<br>February 2022
+<address>unipot manual<br>July 2024
 </address></body></html>
diff --git a/htm/biblio.htm b/htm/biblio.htm
@@ -2,7 +2,7 @@
 <body text="#000000" bgcolor="#ffffff">
 <h1><font face="Gill Sans,Helvetica,Arial">unipot</font> : a <font face="Gill Sans,Helvetica,Arial">GAP</font> 4 package - References</h1><dl>
 
-<dt><a name="Carter72"><b>[Carter72]</b></a><dd>
+<dt><a name="Car72"><b>[Car72]</b></a><dd>
 Roger&nbsp;W. Carter.
 <br> <em>Simple groups of Lie type</em>.
 <br> Wiley Classics Library. John Wiley &amp; Sons Inc., New York, 1989.
@@ -12,7 +12,7 @@ <h1><font face="Gill Sans,Helvetica,Arial">unipot</font> : a <font face="Gill Sa
 The GAP&nbsp;Group, Aachen, St&nbsp;Andrews.
 <br> <em>GAP -- Groups, Algorithms, and Programming, Version 4.4</em>,
   2004.
-<br> <a href="http://www.gap-system.org">http://www.gap-system.org</a>.
+<br> <a href="https://www.gap-system.org">https://www.gap-system.org</a>.
 
 <dt><a name="SH2000"><b>[SH2000]</b></a><dd>
 Sergei Haller.
@@ -24,5 +24,5 @@ <h1><font face="Gill Sans,Helvetica,Arial">unipot</font> : a <font face="Gill Sa
 </dl><p>
 [<a href="chapters.htm">Up</a>]<p>
 <P>
-<address>unipot manual<br>February 2022
+<address>unipot manual<br>July 2024
 </address></body></html>
diff --git a/htm/chapters.htm b/htm/chapters.htm
@@ -13,5 +13,5 @@ <h1><font face="Gill Sans,Helvetica,Arial">unipot</font> : a <font face="Gill Sa
 <li><a href="theindex.htm">Index</a>
 </ul><p>
 <P>
-<address>unipot manual<br>February 2022
+<address>unipot manual<br>July 2024
 </address></body></html>
diff --git a/htm/theindex.htm b/htm/theindex.htm
@@ -120,5 +120,5 @@ <H2><A NAME="idxV">V</A></H2>
 </dl><p>
 [<a href="chapters.htm">Up</a>]<p>
 <P>
-<address>unipot manual<br>February 2022
+<address>unipot manual<br>July 2024
 </address></body></html>