Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/atlasrep/doc/   (GAP Algebra Version 4.15.1©)  Datei vom 22.7.2024 mit Größe 30 kB image not shown  

Quelle  CHAP004.htm

  Sprache: HTML
 

 products/Sources/formale Sprachen/GAP/pkg/nilmat/htm/CHAP004.htm


<html><head><title>[Nilmat] 4 Installation</title></head>
<body text="#000000" bgcolor="#ffffff">
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP003.htm">Previous</a>] [<a href = "theindex.htm">Index</a>]
<h1>4 Installation</h1><p>
<p>
<a name = "I0"></a>

The Package <font face="Gill Sans,Helvetica,Arial">Nilmat</font> is a <font face="Gill Sans,Helvetica,Arial">GAP</fontcode only package and requires
no external binaries.
<p>
Once <font face="Gill Sans,Helvetica,Arial">Nilmat</font> is loaded, calls to the <font face="Gill Sans,Helvetica,Arial">GAP</font> functions
<code>IsNilpotent</code>, <code>IsNilpotentGroup</code>, <code>SylowSubgroup</code>, and
<code>SylowSystem</code> for subgroups of <i>GL</i>(<i>n</i>,<i>q</i>), and calls to
<code>IsNilpotent</code>, <code>IsNilpotentGroup</code>, and <code>IsFinite</code> for subgroups of
<i>GL</i>(<i>n</i>,<b>Q</b>), automatically switch to corresponding functions
from <font face="Gill Sans,Helvetica,Arial">Nilmat</font>. Thus <font face="Gill Sans,Helvetica,Arial">Nilmat</font> should be disabled if
one wishes to use the former <font face="Gill Sans,Helvetica,Arial">GAP</font> functions for matrix groups
over <i>GF</i>(<i>q</i>) or <b>Q</b>.
<p>
For testing nilpotency and finiteness over <b>Q</b>, the <font face="Gill Sans,Helvetica,Arial">GAP</font>
package <font face="Gill Sans,Helvetica,Arial">Polenta</font> is also required. Note that <code>Nilmat</code>
does not use functions from <font face="Gill Sans,Helvetica,Arial">Polenta</font> which depend on
<code>KASH</code>. Hence to use <font face="Gill Sans,Helvetica,Arial">Nilmat</font>, <code>KASH</code> installation is not
required, and all <font face="Gill Sans,Helvetica,Arial">Nilmat</font> functions run under both
Windows and Linux.
<p>
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP003.htm">Previous</a>] [<a href = "theindex.htm">Index</a>]
<P>
<address>Nilmat manual<br>August 2022
</address></body></html>

Messung V0.5 in Prozent
C=100 H=100 G=100

¤ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet am  2026-06-29) ¤

*© Formatika GbR, Deutschland






Entwurf

Ziele

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Ergonomie der
Schnittstellen

Diese beiden folgenden Angebotsgruppen bietet das Unternehmen

Angebot

Hier finden Sie eine Liste der Produkte des Unternehmens