-
Notifications
You must be signed in to change notification settings - Fork 132
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Use new is_terse and terse functions #3690
Conversation
The printing part of the dev docs need to be adapted as well; just applying your script led to some inconsistencies. |
@@ -1390,7 +1390,7 @@ end | |||
function Base.show(io::IO, m::MIME"text/plain", a::RelativeBrauerGroupElem) | |||
io = pretty(io) | |||
print(io, "Element of relative Brauer group of ", Lowercase(), parent(a).k) | |||
io = IOContext(io, :supercompact => true, :compact => true) | |||
io = terse(io) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This no longer setting :compact
makes the lhs of the below list print verbose, as https://github.com/thofma/Hecke.jl/blob/master/src/NumFieldOrd/NfOrd/Ideal/Ideal.jl#L148 does not use is_terse
. There are some more occurrences in this file still using :compact
and thus producing weird results.
This is the reason for failing doctests.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'll add the compact
back here, and then will have a look at replacing uses of compact
in Hecke (so we can drop compact
here in a future PR)
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## master #3690 +/- ##
==========================================
- Coverage 83.16% 83.16% -0.01%
==========================================
Files 579 579
Lines 78474 78475 +1
==========================================
Hits 65264 65264
- Misses 13210 13211 +1
|
CI is green now |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me
I've also changed the references to The only references to |
No description provided.