julia
set_display_precision!(n) in REPL to control floating-point display
#52543
Open

set_display_precision!(n) in REPL to control floating-point display #52543

stevengj wants to merge 8 commits into master from sgj/displaydigits
stevengj
stevengj WIP: control over display precision
dace9abc
stevengj fix fromprint Float32 case
991c4150
stevengj set/unset_display_digits should also support display-local settings
92202855
stevengj support display digits in REPL display
a54037df
stevengj fixes
b6d7e8d7
stevengj stevengj added speculative
stevengj stevengj added REPL
stevengj stevengj added needs tests
stevengj stevengj added needs docs
stevengj stevengj added needs news
stevengj stevengj added display and printing
stevengj stevengj changed the title add set_display_digits(n) to REPL to control floating-point display add set_display_digits!(n) in REPL to control floating-point display 2 years ago
stevengj stevengj changed the title add set_display_digits!(n) in REPL to control floating-point display set_display_digits!(n) in REPL to control floating-point display 2 years ago
stevengj typo
05943319
stevengj typo
1aa42a92
stevengj allow precision to be a format string
f119a6d4
stevengj stevengj changed the title set_display_digits!(n) in REPL to control floating-point display set_display_precision!(n) in REPL to control floating-point display 2 years ago
stevengj
stevengj
stevengj commented on 2023-12-19
StefanKarpinski

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone