diff --git a/README.md b/README.md index be1377672d..35bfd850d8 100644 --- a/README.md +++ b/README.md @@ -68,24 +68,16 @@ If your research depends on computations done with Hecke, please consider giving Here is a quick example of using Hecke: -```julia +``` julia> using Hecke - -Welcome to - - _ _ _ - | | | | | | - | |__| | ___ ___| | _____ - | __ |/ _ \/ __| |/ / _ \ - | | | | __/ (__| < __/ - |_| |_|\___|\___|_|\_\___| - -Version 0.22.8... - ... which comes with absolutely no warranty whatsoever -(c) 2015-2024 by Claus Fieker, Tommy Hofmann and Carlo Sircana - - -julia> Qx, x = polynomial_ring(FlintQQ, "x"); + _ _ _ +| | | | | | | Software package for +| |__| | ___ ___| | _____ | algorithmic algebraic number theory +| __ |/ _ \/ __| |/ / _ \ | +| | | | __/ (__| < __/ | Manual: https://thofma.github.io/Hecke.jl +|_| |_|\___|\___|_|\_\___| | Version 0.34.6 + +julia> Qx, x = polynomial_ring(FlintQQ, "x"); julia> f = x^3 + 2; diff --git a/src/Hecke.jl b/src/Hecke.jl index e912906088..8e90819aec 100644 --- a/src/Hecke.jl +++ b/src/Hecke.jl @@ -145,22 +145,19 @@ end global const maximal_order = MaximalOrder function _print_banner() + printstyled(raw""" _ _ _ """, color = :red) println("") - print("Welcome to \n") - printstyled(raw" - _ _ _ - | | | | | | - | |__| | ___ ___| | _____ - | __ |/ _ \/ __| |/ / _ \ - | | | | __/ (__| < __/ - |_| |_|\___|\___|_|\_\___|", color = :red) - println() - println() - print("Version") - printstyled(" $VERSION_NUMBER ", color = :green) - print("... \n ... which comes with absolutely no warranty whatsoever") - println() - println("(c) 2015-2024 by Claus Fieker, Tommy Hofmann and Carlo Sircana") + printstyled(raw"""| | | | | | """, color = :red) + println("| Software package for") + printstyled(raw"""| |__| | ___ ___| | _____ """, color = :red) + println("| algorithmic algebraic number theory") + printstyled(raw"""| __ |/ _ \/ __| |/ / _ \ """, color = :red) + println("| ") + printstyled(raw"""| | | | __/ (__| < __/ """, color = :red) + println("| Manual: https://thofma.github.io/Hecke.jl") + printstyled(raw"""|_| |_|\___|\___|_|\_\___| """, color = :red) + print("| Version ") + printstyled("$VERSION_NUMBER", color = :green) println() end