1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
<html><head><title>[Alnuth] 1 Introduction</title></head>
<body text="#000000" bgcolor="#ffffff">
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP002.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<h1>1 Introduction</h1><p>
<P>
<H3>Sections</H3>
<oL>
<li> <A HREF="CHAP001.htm#SECT001">Acknowledgements</a>
<li> <A HREF="CHAP001.htm#SECT002">License</a>
</ol><p>
<p>
A number field is a finite extension of the field of rational numbers.
<font face="Gill Sans,Helvetica,Arial">Alnuth</font> provides various methods to compute with number fields
which are given by a defining polynomial or by generators. For background
on number fields we refer to <a href="biblio.htm#Sta79"><cite>Sta79</cite></a>.
<p>
Some of the methods provided in this package are written in <font face="Gill Sans,Helvetica,Arial">GAP</font> code.
The other part of the methods is imported from the Computer Algebra
System PARI/GP <a href="biblio.htm#PARI2"><cite>PARI2</cite></a>. Hence this package contains some <font face="Gill Sans,Helvetica,Arial">GAP</font>
functions and an interface to some functions in the computer algebra
system PARI/GP. Therefore one has to have PARI/GP installed to use the
full functionality of <font face="Gill Sans,Helvetica,Arial">Alnuth</font>.
<p>
We note that only a very small part of the functions available in PARI/GP
are linked to <font face="Gill Sans,Helvetica,Arial">GAP</font> and PARI/GP provides many more methods for
computations in number fields.
<p>
The main methods included in <font face="Gill Sans,Helvetica,Arial">Alnuth</font> are: creating a number field,
computing its maximal order (using PARI/GP), computing its unit group (using
PARI/GP) and a presentation of this unit group, computing the elements of a
given norm of the number field (using PARI/GP), determining a presentation
for a finitely generated multiplicative subgroup (using PARI/GP), and
factoring polynomials defined over number fields (using PARI/GP). For
background on algorithms for number fields we refer to <a href="biblio.htm#Poh93"><cite>Poh93</cite></a>,
<a href="biblio.htm#PZa89"><cite>PZa89</cite></a> and <a href="biblio.htm#Coh93"><cite>Coh93</cite></a>.
<p>
The functions provided by <font face="Gill Sans,Helvetica,Arial">Alnuth</font> are introduced in the following
chapter. Then an example application is outlined. In the final chapter
of this manual the installation of the package and configuration of
the interface, including hints on the installation of PARI/GP, are
described.
<p>
<p>
<h2><a name="SECT001">1.1 Acknowledgements</a></h2>
<p><p>
To begin with we are very grateful for all the feedback by users of
former versions of <font face="Gill Sans,Helvetica,Arial">Alnuth</font>.
<p>
We thank Bill Allombert who wrote the GP code for the interface to
PARI/GP and who was extremely helpful in the transition from KANT
to PARI/GP.
<p>
For feedback on the development version, including a code patch, we
are much obliged to Max Horn.
<p>
The second author acknowledges the financial support at CAUL within
the projects PTDC/MAT/101993/2008 and ISFL-1-143, financed by FEDER
and FCT, in the development of Version 3 of <font face="Gill Sans,Helvetica,Arial">Alnuth</font>.
<p>
<p>
<h2><a name="SECT002">1.2 License</a></h2>
<p><p>
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 2 of the license, or
(at your option) any later version.
<p>
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
<p>
You should have received a copy of the GNU General Public License
along with this program. If not, see <a href="http://www.gnu.org/licenses/">http://www.gnu.org/licenses/</a>
<p>
<p>
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP002.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<P>
<address>Alnuth manual<br>January 2020
</address></body></html>
|
