Skip to content

thofma/Hecke.jl

Folders and files

NameName
Last commit message
Last commit date

Latest commit

e76d83a · Dec 5, 2024
Oct 18, 2024
May 8, 2023
Mar 9, 2020
Aug 18, 2021
Nov 8, 2024
Nov 12, 2024
Nov 8, 2024
Dec 5, 2024
Feb 15, 2024
Nov 29, 2024
Oct 27, 2023
Jan 9, 2021
May 24, 2022
Nov 7, 2020
Oct 11, 2024
Jun 3, 2022
Dec 12, 2020
May 12, 2022
Oct 31, 2024
Mar 24, 2021
Nov 24, 2024
Nov 8, 2024
Feb 1, 2024
Nov 12, 2015

Repository files navigation

Hecke

Builds

Docs dev Docs stable Build status Codecov

About

Hecke is a software package for algebraic number theory maintained by Claus Fieker and Tommy Hofmann. It is written in julia and is based on the computer algebra packages Nemo and AbstractAlgebra. Hecke is part of the OSCAR project and the development is supported by the Deutsche Forschungsgemeinschaft DFG within the Collaborative Research Center TRR 195.

So far, Hecke provides the following features:

  • Number fields (absolute, relative, simple and non-simple)
  • Orders and ideals in number fields
  • Class and unit group computations of orders
  • Lattice enumeration
  • Sparse linear algebra
  • Class field theory
  • Abelian groups
  • Associative algebras
  • Ideals and orders in (semisimple) associative algebras
  • Locally free class groups of orders in semisimple algebras
  • Quadratic and Hermitian forms and lattices

Installation

To use Hecke, a julia version of 1.0 is necessary (the latest stable julia version will do). Please see https://julialang.org/downloads/ for instructions on how to obtain julia for your system. Once a suitable julia version is installed, use the following steps at the julia prompt to install Hecke:

julia> using Pkg
julia> Pkg.add("Hecke")

Citing Hecke

If your research depends on computations done with Hecke, please consider giving us a formal citation:

@inproceedings{nemo,
    author = {Fieker, Claus and Hart, William and Hofmann, Tommy and Johansson, Fredrik},
     title = {Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language},
 booktitle = {Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation},
    series = {ISSAC '17},
      year = {2017},
     pages = {157--164},
  numpages = {8},
       url = {https://doi.acm.org/10.1145/3087604.3087611},
       doi = {10.1145/3087604.3087611},
 publisher = {ACM},
   address = {New York, NY, USA},
}

Quick start

Here is a quick example of using Hecke:

julia> using Hecke
 _    _           _          
| |  | |         | |         |  Software package for
| |__| | ___  ___| | _____   |  algorithmic algebraic number theory
|  __  |/ _ \/ __| |/ / _ \  |  
| |  | |  __/ (__|   <  __/  |  Manual: https://thofma.github.io/Hecke.jl
|_|  |_|\___|\___|_|\_\___|  |  Version 0.34.6

julia>  Qx, x = polynomial_ring(QQ, "x");

julia> f = x^3 + 2;

julia> K, a = number_field(f, "a");

julia> O = maximal_order(K);

julia> O
Maximal order of Number field of degree 3 over QQ
with basis AbsSimpleNumFieldElem[1, a, a^2]

Documentation

The online documentation can be found here: