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

Export weierstrass_chart_on_minimal_model and patch transform_to_weierstrass #3458

Merged
merged 2 commits into from
Feb 29, 2024

Conversation

HechtiDerLachs
Copy link
Collaborator

@HechtiDerLachs HechtiDerLachs commented Feb 28, 2024

  • Missing export added to fix the failure of vinberg2.jlcon in the book.
  • Patch for the function transform_to_weierstrass added (we had the patch already in our current research project and it seems to do the job)

CC: @lkastner, @simonbrandhorst

@HechtiDerLachs HechtiDerLachs added backport 1.0.x Should be backported to the release 1.0 branch oscar book PRs necessary for the Oscar book labels Feb 28, 2024
@aaruni96 aaruni96 mentioned this pull request Feb 29, 2024
31 tasks
@HechtiDerLachs HechtiDerLachs changed the title Export weierstrass_chart_on_minimal_model Export weierstrass_chart_on_minimal_model and patch transform_to_weierstrass Feb 29, 2024
@simonbrandhorst simonbrandhorst enabled auto-merge (squash) February 29, 2024 13:20
@HechtiDerLachs
Copy link
Collaborator Author

Summoning @fingolfin or @ThomasBreuer to have a look at the failing tests. Do you see what's going on?

@benlorenz
Copy link
Member

benlorenz commented Feb 29, 2024

There was something weird going on with the groups database access in the background, I had some long running wget subprocess, running that command locally gave:

$ wget http://atlas.math.rwth-aachen.de/Atlas/alt/A5/mtx/A5G1-p5B0.m1
--2024-02-29 14:44:57--  http://atlas.math.rwth-aachen.de/Atlas/alt/A5/mtx/A5G1-p5B0.m1
Resolving atlas.math.rwth-aachen.de... 137.226.152.225
Connecting to atlas.math.rwth-aachen.de|137.226.152.225|:80... failed: Connection timed out.
Retrying.

--2024-02-29 14:47:11--  (try: 2)  http://atlas.math.rwth-aachen.de/Atlas/alt/A5/mtx/A5G1-p5B0.m1
Connecting to atlas.math.rwth-aachen.de|137.226.152.225|:80... failed: Connection timed out.
Retrying.

--2024-02-29 14:49:27--  (try: 3)  http://atlas.math.rwth-aachen.de/Atlas/alt/A5/mtx/A5G1-p5B0.m1
Connecting to atlas.math.rwth-aachen.de|137.226.152.225|:80... failed: Connection timed out.
Retrying.

--2024-02-29 14:51:43--  (try: 4)  http://atlas.math.rwth-aachen.de/Atlas/alt/A5/mtx/A5G1-p5B0.m1
Connecting to atlas.math.rwth-aachen.de|137.226.152.225|:80... failed: Connection timed out.
Retrying.

But it seems to work now, at least locally. So maybe re-running will help (once the queue recovers from jobs dying after 2.5 hours instead of finishing in about 50 minutes...).

@ThomasBreuer
Copy link
Member

Concerning the access to http://atlas.math.rwth-aachen.de/Atlas, we had a power cut this morning around 10:15, and the services were partially unavailable until about 15:00.

Independent of that, yesterday a user had reported error messages when trying to download specific files, but we had not been able to confirm this problem.

@simonbrandhorst simonbrandhorst merged commit 1a8e8e3 into oscar-system:master Feb 29, 2024
23 checks passed
@HechtiDerLachs HechtiDerLachs deleted the oscar_book_fixes branch February 29, 2024 16:38
benlorenz pushed a commit that referenced this pull request Feb 29, 2024
…rstrass (#3458)

* Export weierstrass_chart_on_minimal_model.

* Repair transform_to_weierstrass.

(cherry picked from commit 1a8e8e3)
@benlorenz benlorenz removed the backport 1.0.x Should be backported to the release 1.0 branch label Feb 29, 2024
benlorenz added a commit that referenced this pull request Feb 29, 2024
- Add QQBar docs to the manual #3423
- do not show the OscarInterface banner #3422
- fix bugs in all_OD_infos #3419
- Ep/ Rename Spec to AffineScheme #3345 #3425
- Remove two mentions of Arb_jll #3431
- Tweak epimorphism_from_free_group #3430
- CI: re-enable nightly #3435
- support gen(G::GAPGroup, 0) #3332
- Align all_*_groups methods some more #3433
- Add all_perfect_groups #3434
- Add all_primitive_groups and all_transitive_groups variants taking a single int or int range #3404
- fix a docstring #3436
- Fixes multivariate division #3396
- Docu invariants tori #3428
- Improve docstrings for is_conjugate/is_conjugate_with_data. #3384
- Fix ambient_module(M::SubquoModule) #3448
- Bugfix for printing of affine schemes #3437
- Bugfix for bugfix for printing of affine schemes #3445
- Update OSCAR banner #3410
- Docu invariants lin. red. groups (Lakshmi Ramesh and Wolfram Decker) #3443
- add od_from_atlas_group, od_from_p_subgroup, and helpers #3444
- Unexport normalise #3453
- support group properties for character tables #3449
- add docstrings for acting_group and action_function #3432 (exports are used in new groups code for the book)
- Adjust to renaming of rank(A::FinGenAbGroup) to torsion_free_rank(A::FinGenAbGroup) #3457
- Ensure fp_group(G) transfers group attributes #3464
- Added comment on convention #3467
- Export weierstrass_chart_on_minimal_model and patch transform_to_weierstrass #3458
- Fix a doc signature #3466
- Grading + caching for affine algebra of torus invariants #3469
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
oscar book PRs necessary for the Oscar book
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants