From 2effd731bcb65adc3194d84d48e31686c77fd716 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Sat, 14 Nov 2020 20:38:34 +0100 Subject: [PATCH] add --precision to argument list --- adj_psl2_eigvals.jl | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/adj_psl2_eigvals.jl b/adj_psl2_eigvals.jl index d0e6e1d..1a9a682 100644 --- a/adj_psl2_eigvals.jl +++ b/adj_psl2_eigvals.jl @@ -87,6 +87,10 @@ function parse_our_args() help = "generator b (optional)" "--ab" help = "array of generators a and b (optional)" + "--precision" + help = "set the precision of computations" + arg_type = Int + default = 128 end result = parse_args(s) @@ -113,11 +117,14 @@ const p = let p = parsed_args["p"] p end -const LOGFILE = "SL(2,$p)_eigvals_$(now()).log" +const PRECISION = parsed_args["precision"] +const LOGFILE = joinpath("log", "SL(2,$p)_eigvals_$(now()).log") -open(joinpath("log", LOGFILE), "w") do io +open(LOGFILE, "w") do io + @info "Logging into $LOGFILE" with_logger(SimpleLogger(io)) do + @info "Arguments:" args=parsed_args a,b = SL2p_gens(p) a = SLâ‚‚{p}(get(parsed_args, "a", a))