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

Change return argument order of is_prime_power_with_data #1484

Merged
merged 1 commit into from
Jul 6, 2023

Conversation

lgoettgens
Copy link
Collaborator

@lgoettgens lgoettgens commented May 28, 2023

Resolves oscar-system/Oscar.jl#2352.
Changes in downstream packages will be handled by thofma/Hecke.jl#1088 and oscar-system/Oscar.jl#2426.

THIS IS BREAKING!!!

@codecov
Copy link

codecov bot commented May 28, 2023

Codecov Report

Merging #1484 (b5187dd) into master (895f171) will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@           Coverage Diff           @@
##           master    #1484   +/-   ##
=======================================
  Coverage   88.76%   88.77%           
=======================================
  Files          89       89           
  Lines       34251    34251           
=======================================
+ Hits        30404    30407    +3     
+ Misses       3847     3844    -3     
Impacted Files Coverage Δ
src/flint/fmpz.jl 93.79% <100.00%> (ø)
src/flint/fq_default_extended.jl 100.00% <100.00%> (ø)

... and 1 file with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@lgoettgens lgoettgens closed this May 28, 2023
@lgoettgens lgoettgens reopened this May 28, 2023
@thofma thofma enabled auto-merge (squash) July 6, 2023 08:53
@thofma thofma disabled auto-merge July 6, 2023 08:53
@thofma thofma merged commit 5aaab34 into Nemocas:master Jul 6, 2023
@lgoettgens lgoettgens deleted the lg/is_prime_power_with_data branch July 6, 2023 08:54
fieker pushed a commit to oscar-system/Oscar.jl that referenced this pull request Jul 25, 2023
* various improvements for characters

- adjusted the print functions for character tables to the rules
  from "Details on printing in Oscar"
  (and adjusted the manual examples and tests)

- document the output of the text/plain method for `show`
  (addresses issue #2482)

- fixed the text/latex output in the case that the irrationalities
  are shown via a legend (and that there are several lines in the legend)

- added more documentation and doctests

- changed `character_field` for Brauer characters:
  The field is now a *finite field* in this case.

- use the `GAPWrap` approach for more GAP functions

* move functions, do not copy them ...

* further improvements

- fixed a test for `labelled_matrix_formatted`
- renamed `group_class_function` to `class_function`
- added `natural_character` for matrix groups in positive characteristic
  and for group homomorphisms
- admit `IntegerUnion` for the `characteristic` of character tables,
  not just `Int`

* fixed doctests

* adjustments/fixes

- adjusted an `is_prime_power_with_data` call
  (The ordering of return values of `is_prime_power_with_data`
  has been changed in Nemocas/Nemo.jl/pull/1484.)

- adjusted the type of a (perhaps empty) list
  (This seemed to work at least up to Julia 1.8.5.)

- fixed some doctests
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

is_power and is_prime_power_with_data are inconsistent
2 participants