Skip to content
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

Merged
merged 1 commit into from
May 7, 2024

Conversation

fingolfin
Copy link
Member

No description provided.

src/Rings/orderings.jl Outdated Show resolved Hide resolved
@lgoettgens
Copy link
Member

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)
Copy link
Member

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.

Copy link
Member Author

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)

Copy link

codecov bot commented May 6, 2024

Codecov Report

Attention: Patch coverage is 58.86525% with 58 lines in your changes are missing coverage. Please review.

Project coverage is 83.16%. Comparing base (d2330fa) to head (1d829ac).
Report is 2 commits behind head on master.

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     
Files Coverage Δ
...imental/BasisLieHighestWeight/src/MonomialBasis.jl 95.45% <100.00%> (ø)
experimental/GModule/GaloisCohomology.jl 66.15% <100.00%> (+0.03%) ⬆️
...xperimental/InvariantTheory/src/InvariantTheory.jl 90.79% <100.00%> (ø)
...imental/InvariantTheory/src/TorusInvariantsFast.jl 100.00% <100.00%> (ø)
experimental/LieAlgebras/src/AbstractLieAlgebra.jl 72.64% <100.00%> (ø)
experimental/LieAlgebras/src/LieAlgebraHom.jl 91.01% <100.00%> (ø)
experimental/LieAlgebras/src/LieAlgebraModule.jl 90.65% <100.00%> (ø)
...xperimental/LieAlgebras/src/LieAlgebraModuleHom.jl 85.63% <100.00%> (ø)
experimental/LieAlgebras/src/LinearLieAlgebra.jl 93.90% <100.00%> (ø)
experimental/QuadFormAndIsom/src/printings.jl 100.00% <100.00%> (ø)
... and 50 more

@fingolfin
Copy link
Member Author

CI is green now

Copy link
Member

@joschmitt joschmitt left a 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

@fingolfin
Copy link
Member Author

I've also changed the references to supercompact in the documentation to terse.

The only references to supercompact left are in tests where sprint or repr are called with context = :supercompact => true. I will provide add a replacement function to AA we can use to adjust this kind of test.

@fingolfin
Copy link
Member Author

@lgoettgens lgoettgens merged commit 7d7bb9b into oscar-system:master May 7, 2024
29 checks passed
@fingolfin fingolfin deleted the mh/terse branch May 7, 2024 08:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants