diff --git a/README.md b/README.md index 3b7cc0b38e6f..d52ab946e242 100644 --- a/README.md +++ b/README.md @@ -14,7 +14,7 @@ Polymake, Antic and Singular. OSCAR requires Julia 1.6 or newer. In principle it can be installed and used like any other Julia package; doing so will take a couple of minutes: -```julia +``` julia> using Pkg julia> Pkg.add("Oscar") julia> using Oscar @@ -31,21 +31,13 @@ in the OSCAR manual to learn more on how to contribute to OSCAR. ## Examples of usage -```julia +``` julia> using Oscar - ----- ----- ----- - ----- -| | | | | | | | | | -| | | | | | | | -| | ----- | | | |----- -| | | | |-----| | | -| | | | | | | | | | - ----- ----- ----- - - - - - -...combining (and extending) ANTIC, GAP, Polymake and Singular -Version 1.1.0-DEV ... -... which comes with absolutely no warranty whatsoever -Type: '?Oscar' for more information -(c) 2019-2024 by The OSCAR Development Team + ___ ____ ____ _ ____ + / _ \ / ___| / ___| / \ | _ \ | Combining ANTIC, GAP, Polymake, Singular +| | | |\___ \| | / _ \ | |_) | | Type "?Oscar" for more information +| |_| | ___) | |___ / ___ \| _ < | Manual: https://docs.oscar-system.org + \___/ |____/ \____/_/ \_\_| \_\ | Version 1.1.0-DEV julia> k, a = quadratic_field(-5) (Imaginary quadratic field defined by x^2 + 5, sqrt(-5)) @@ -107,7 +99,7 @@ by Submodule with 1 generator Of course, the cornerstones are also available directly: -```julia +``` julia> C = Polymake.polytope.cube(3); julia> C.F_VECTOR diff --git a/src/Oscar.jl b/src/Oscar.jl index c2df6eb78a6e..8eccd2d5acc4 100644 --- a/src/Oscar.jl +++ b/src/Oscar.jl @@ -39,25 +39,18 @@ if Sys.iswindows() end function _print_banner() - println(" ----- ----- ----- - ----- ") - println("| | | | | | | | | | ") - println("| | | | | | | | ") - println("| | ----- | | | |----- ") - println("| | | | |-----| | | ") - println("| | | | | | | | | | ") - println(" ----- ----- ----- - - - - ") - println() - println("...combining (and extending) ANTIC, GAP, Polymake and Singular") - print("Version") - printstyled(" $VERSION_NUMBER ", color = :green) - print("... \n ... which comes with absolutely no warranty whatsoever") - println() - println("Type: '?Oscar' for more information") - println("(c) 2019-2024 by The OSCAR Development Team") + if displaysize(stdout)[2] >= 79 + println( + raw""" ___ ____ ____ _ ____ + / _ \ / ___| / ___| / \ | _ \ | Combining ANTIC, GAP, Polymake, Singular + | | | |\___ \| | / _ \ | |_) | | Type "?Oscar" for more information + | |_| | ___) | |___ / ___ \| _ < | Manual: https://docs.oscar-system.org + \___/ |____/ \____/_/ \_\_| \_\ | Version """ * "$VERSION_NUMBER") + else + println("OSCAR $VERSION_NUMBER https://docs.oscar-system.org Type \"?Oscar\" for help") + end end - - function __init__() if Sys.iswindows() windows_error()