Oscar.jl 0.13.0 released

04 Sep 2023

Today Oscar.jl 0.13.0 has been released.

Diff since v0.12.1

Closed issues:

Fancy printing and doctest printing clash (#475)
A few number theory commands in Oscar (#674)
Missing example in documentation for matrix orderings (#907)
Computation of kernels for Algebra Homomorphisms of graded rings (#926)
Change the order of arguments in MapFromFunc (#1104)
perfect groups: add additional data as lazy artifacts (#1245)
Make G[:] an alias for gens(G)? (#1249)
ToricVarieties: Add Base.hash (#1264)
Revise serialization code to avoid constructing a full internal tree representation (#1507)
Warnings about Hecke.solve_ineq etc. conflicting with methods in Oscar (#1597)
Missing input checks for matrices over polynomial rings (#1669)
Documentation: katsura (#1694)
Some cleanup for the groups code (#1718)
Display issue with complex_embeddings(::AnticNumberField) (#1741)
Choice of variable names interferes with variables in Singular libraries (#1905)
exterior_algebra function noisy (#1984)
minimal generating sets of ideals (#2044)
Do we need Julia (sub)modules for code organization in OSCAR? (#2052)
Hack to “improve” (?) printing of vectors of ring/field/module elements (#2064)
Change the ordering of the ring and the degree in matrix_group? (#2098)
standard_basis for modules accepts monomial ordering, but silently ignores it (#2155)
Adapt serialization to finite field changes (#2192)
Improve serialization of multivariate polynomials (#2193)
factor_absolute(f::QQMPolyRingElem) is unstable and does not match its documentation (#2211)
groebner_basis(…,algorithm=:f4) does not work over FiniteField() (#2221)
Make minimal_generating_set consistent (#2295)
Partition needs a partition method (#2298)
Change order of inclusion of experimental code (#2300)
Converting Int64 to MPolyRingElem (#2331)
Difference in printing in REPL versus doctests (#2335)
is_power and is_prime_power_with_data are inconsistent (#2352)
Static testing and test/Project.toml for all packages (#2385)
Conflicting function image(M::MapFromFunc{D, C}, a) where {D, C <: GAP.GapObj} (#2400)
Printing twice changes the output (#2409)
Oscar.test_module() subprocess uses a different project environment (#2414)
Implement splitting_field for finite fields (#2418)
Do not run all the doctests in build_doc (#2422)
is_prime buggy for multivariate polynomial rings (#2427)
Polynomial factorization over number fields (#2434)
Radical over number field segmentation fault (#2435)
Oscar error after Singular_jll update? (#2438)
experimental/gmodule tests noisy (#2446)
Allow AbstractUnitRange where ever we allow UnitRange (#2447)
Weird probably broken syntax in degree() (#2452)
stabilizer does not do what it says (#2457)
CI failing on nightly (#2476)
is_prime(::IdealSheaf) buggy (#2479)
Problems with the binomial_primary_decomposition docstring resp. with QQAb printing (#2484)
F-theory tools - ArxivDOI vs. Journal DOI (#2506)
implement save and load for several standard types, up to the level of, e.g., univariate and multivariate polynomials over finite fields, (simple upgrade script that will not cover all types, since the change are quite drastic. However will be extended to cover appropriate types if necessary) (#2513)
make serialization more efficient: avoid that each coefficient must declare its ring (#2514)
Duplicate radical(I::MPolyQuoIdeal) (#2518)
decide_du_val_singularity: Ideal does not describe a single K-point (#2531)
Toric variety timing test failing on julia 1.10-alpha1 (#2539)
BrauerGroup: assertion error in nightly CI on master (#2541)
nightly + 1.10-alpha1: GC marking segfault during GAP tests (#2543)
Output of ?Oscar (#2549)
Two different skew-symmetry checks (#2555)
Error in fixed field computation (#2565)
some problem with default finite fields (#2593)
Doctest failing on 1.10 and nightly (#2596)
Commands not defined using latest Julia and Oscar versions (downloaded < 3 weeks ago) (#2612)
Oscar.build() is broken (#2631)
Problem with present_as_cokernel on graded submodule (#2659)
multi_hilbert_series: does not detect infinite dimensional case (#2674)
Doctest regression in hilbert_series tests (#2678)
Master CI failing since JLLWrappers.jl v1.4.2 (#2693)
Polymake crashes, if trying to test Oscar with too many parallel workers. (#2701)
Superfluous line(s) and column(s) in minimal Betti Table (#2705)
Tune @registerSerializationType macro (#2720)
Regression: CI tests fail on master due to serialization code changes (#2731)
New release? (#2746)

Merged pull requests:

Adv/file formatting (#2102) (@antonydellavecchia)
2192 Adapt serialization to finite field changes (#2195) (@antonydellavecchia)
Varieties docu and avoid computing radicals (#2307) (@simonbrandhorst)
Basic constructors for “standard finite fields” as described by Lübeck. (#2366) (@mjrodgers)
homogenization for ideal with ZZ^m grading (#2372) (@JohnAAbbott)
Add hash methods for many types with == method (#2373) (@lgoettgens)
[FTheoryTools] Hypersurface model (#2382) (@HereAround)
Parallel Testing (#2388) (@aaruni96)
test_module: set julia project dir to Oscar of the calling process (#2415) (@aaruni96)
Adapt more experimental code to new conventions (#2416) (@fingolfin)
LieAlgebras: Add docs (#2425) (@lgoettgens)
Change return argument order of is_prime_power_with_data (#2426) (@lgoettgens)
Revert “Make algebraic sets and varieties internal (#2424)” (#2430) (@thofma)
Version 0.12.2-DEV (#2431) (@thofma)
Load hulpke/extraperfect as lazy artifact (#2432) (@lgoettgens)
Change argument order in factor and roots (#2433) (@lgoettgens)
cache automorphism groups of number fields (#2436) (@fieker)
Make abelian closure respect unicode setting (#2437) (@thofma)
Adv/meta data (#2439) (@antonydellavecchia)
Bump Aqua.jl to 0.6.2 (#2440) (@lgoettgens)
fix docstrings (#2442) (@fieker)
Ensure always_for_in in JuliaFormatter settings (#2443) (@mjrodgers)
Refactor imports.jl (#2444) (@lgoettgens)
Remove QQBar export (#2445) (@lgoettgens)
First stab at more functionality for Laurent polynomial rings (#2448) (@thofma)
Track invalidations in CI, report if they increase (#2449) (@lgoettgens)
Address TODO for finite algebras as vector spaces. (#2450) (@HechtiDerLachs)
Fix bad syntax in a degree method (#2453) (@fingolfin)
Trivial cleanup in hilbert_series code (#2454) (@fingolfin)
Cleanup of Groups/directproducts.jl (#2456) (@lgoettgens)
Add absolute_automorphism_group(::Type{PermGroup}, …) (#2458) (@thofma)
FieldElem scalars in PolyhedralGeometry (#2459) (@alexej-jordan)
Spec cleanup (#2460) (@HechtiDerLachs)
Two fixes (#2461) (@joschmitt)
[TropicalGeometry] Fix weird looking docs (#2463) (@lkastner)
Remove duplicate import of MPolyRingElem (#2466) (@joschmitt)
Add lowercase constructor for Partition (#2467) (@lgoettgens)
Du val sing detector (#2468) (@afkafkafk13)
Remove obsolete examples/Invariants.jl (#2469) (@fingolfin)
[FTheoryTools] Overhaul base-independent models (#2470) (@HereAround)
[ToricVarieties] Bugfix in ideal of linear relations (#2472) (@HereAround)
addresseing Issue #2427 (#2473) (@wdecker)
Change the order of arguments in MapFromFunc (#2475) (@lgoettgens)
Fix standard_basis documentation (#2481) (@RafaelDavidMohr)
doctest_fix: support Documenter stable version (#2486) (@fingolfin)
Another set of intermediate improvements (#2487) (@HechtiDerLachs)
Remove convert(::Vector{Int}, ::Perm) usage (#2488) (@thofma)
Import and extend conjugate from upstream (#2490) (@thofma)
Rename default non-unicode variable for QQAbElem from ‘z’ to ‘zeta’ (#2491) (@fingolfin)
bump polymake, tropical number (#2492) (@lkastner)
Implement degree(I::MPolyIdeal) (#2493) (@taboege)
Transform cones for toric varieties (#2495) (@lkastner)
[PolyhedralGeometry] Implement most general form of star subdivision (#2496) (@HereAround)
Add some more optimizations. (#2497) (@HechtiDerLachs)
Cache canonical_matrix(::MonomialOrdering) (#2499) (@lgoettgens)
Introduce lazy computation of glueing domains. (#2502) (@HechtiDerLachs)
PolyhedralGeoemtry: Enhance fan with gp action constructor (#2503) (@lkastner)
Decomposition info (#2504) (@HechtiDerLachs)
PolyhedralGeometry: Assert correct dimensions of input of subdivision of points (#2505) (@lkastner)
fix/FreeAssAlgIdeal (#2507) (@Sequenzer)
various fixes for schemes (#2508) (@simonbrandhorst)
More lazy algebraic cycles (#2509) (@HechtiDerLachs)
Elliptic surfaces (#2510) (@simonbrandhorst)
extend iso_oscar_gap(FO::AnticNumberField) (#2511) (@ThomasBreuer)
remove std_spec duplicate (#2512) (@simonbrandhorst)
Use Rabinowitsch’s trick for conversion. (#2515) (@HechtiDerLachs)
iso_oscar_gap(FO::SimpleNumField{T}) where T <: FieldElem (#2516) (@ThomasBreuer)
various improvements for characters (#2519) (@ThomasBreuer)
updates of the test code concerning new Oscar functionality (#2520) (@ThomasBreuer)
Literature model improvements (#2521) (@apturner)
Fix some fallout of fixing piracy in Hecke (#2523) (@lgoettgens)
Merge nv and nvertices (#2524) (@lgoettgens)
Bump AA, Nemo, Hecke (#2526) (@lgoettgens)
repair issue #2518 (#2527) (@afkafkafk13)
LieAlgebras: further improvements and new features (#2528) (@lgoettgens)
Refinements for separation of ideal sheaves with disjoint supports. (#2529) (@HechtiDerLachs)
Bump dependencies (#2530) (@thofma)
Update julia versions in CI (#2533) (@lgoettgens)
Some improvement on default ordering (#2535) (@jankoboehm)
Suggestions of new printings for the schemes functionalities (#2537) (@StevellM)
timings: exclude gctime, repeat stanley reisner test, increase factor for polyhedral timing (#2542) (@benlorenz)
Minimal_generating_set/small_generating_set – local cases (#2545) (@afkafkafk13)
Allow AbstractUnitRange (#2546) (@mgkurtz)
Refactor parts of toric geometry (#2547) (@lkastner)
Fix version number in ‘?Oscar’; update name of our university (#2550) (@fingolfin)
Rename invalidations CI test (#2551) (@fingolfin)
Add expand() for rational functions (#2553) (@thofma)
new: Perles’ nonrational 8-polytope (#2554) (@micjoswig)
Rename is_hermitian_matrix to is_hermitian (#2556) (@lgoettgens)
[PolyhedralGeometry] fix property list for scalar detection (#2557) (@benlorenz)
Rename is_*_form to is_* (#2558) (@lgoettgens)
add is_isomorphic_with_permutation for graphs (#2559) (@simonbrandhorst)
Further refactoring (#2560) (@lkastner)
[FTheoryTools] Improve construction of models over arbitrary base spaces (#2561) (@HereAround)
Wrap saturation2 and use it for Laurent polynomials (#2562) (@thofma)
Quadratic forms and isometries - an Oscar (experimental) project (#2563) (@StevellM)
FTheoryTools: A bit of cleanup (#2564) (@HereAround)
Change is_skewsymmetric_matrix to is_alternating (#2566) (@lgoettgens)
[FTheoryTools] Add Morrison–Park model and KBar parameter (#2567) (@apturner)
Prepare for type renaming (#2568) (@thofma)
[FTheoryTools] Support for literature model parameters (#2569) (@apturner)
Adjust to type name change for embedded fields (#2571) (@thofma)
Fix tests for primitive_by_shape and an_sn_by_shape (#2573) (@fingolfin)
Start web server after building the documentation (#2574) (@joschmitt)
Avoid some explicit distinction of characteristic in the invariant theory code (#2575) (@joschmitt)
Elliptic surfaces and rational maps (#2577) (@HechtiDerLachs)
Add a way to reset multiple global random seeds (#2578) (@fingolfin)
[ToricVarieties] Improve tests (#2579) (@HereAround)
Follow-up PR #2537 (#2580) (@StevellM)
Bring pullbacks of divisors to the best state. (#2581) (@HechtiDerLachs)
Fix formatting error in docstring note (#2583) (@taboege)
Fix printing for EllipticSurface (#2585) (@StevellM)
Reorder input arguments of matrix_group (#2587) (@joschmitt)
polyhedral: more standard constructions (#2591) (@micjoswig)
Added Laurent Mpoly elem and ideals to serialization (#2592) (@antonydellavecchia)
Katsura documentation (#2594) (@ederc)
change random strategy slightly, fixes #2565 (#2595) (@fieker)
Saturate via cascade instead of product (#2597) (@JohnAAbbott)
Tweak some docstrings (mostly whitespace) (#2600) (@fingolfin)
Tb/polyhedral (#2601) (@tbrysiewicz)
moved AlgClosureFp from experimental to src (#2602) (@ThomasBreuer)
Mpolyquo orderings (#2606) (@ederc)
Fix #2593 (#2607) (@thofma)
minor improvements (#2609) (@ThomasBreuer)
moved QQAb related stuff from experimental to src (#2610) (@ThomasBreuer)
small corrections to Hilbert stuff (#2611) (@wdecker)
Martin (#2613) (@fieker)
Homog ideal zm (#2614) (@JohnAAbbott)
[ToricVarieties] Method blow_up returns the blowdown morphism (#2616) (@HereAround)
Add docstring for expand (#2617) (@thofma)
[FTheoryTools] Yet more general bases (#2619) (@HereAround)
next round for algebraic_closure (#2621) (@ThomasBreuer)
Comparison of Groebner bases (#2622) (@jankoboehm)
initial commit for the orthogonal discriminants stuff (#2623) (@ThomasBreuer)
docu monomials_of_degree (#2625) (@wdecker)
Rational points of varieties/schemes (#2627) (@simonbrandhorst)
More hilbert_series (#2630) (@JohnAAbbott)
Modular Gröbner bases (#2632) (@ederc)
Non simple fields (#2633) (@fieker)
Resfix (#2634) (@jankoboehm)
Rename monomials_of_degree into monomial_basis, create related me… (#2635) (@wdecker)
Fix Oscar.build() (#2636) (@aaruni96)
Removes duvalsing and FTheory tests which randomly fail (#2637) (@ederc)
Fix minor triangulation bug (#2640) (@lkastner)
change printing of complexes, resolutions and presetations (#2641) (@fieker)
LieAlgebras: Homomorphisms for Lie algebras and modules (#2644) (@lgoettgens)
add line in Betti diagram (#2645) (@wdecker)
Add get function and fix assure (#2646) (@jankoboehm)
Update Project.toml to Hecke 0.20 (#2647) (@fieker)
Minimal betti tables (#2648) (@HechtiDerLachs)
admit has_preimage for embedding into abelian closure (#2649) (@ThomasBreuer)
remove some expensive test for the preprocessing of borcherds method (#2650) (@simonbrandhorst)
rearrange and document cycle structures (#2651) (@ThomasBreuer)
Certificate for modular Gröbner basis computations (#2652) (@ederc)
Change all occurrences of Hecke.Map to Map (#2654) (@lgoettgens)
Graded by (#2655) (@fieker)
avoid calling FamilyPcgs (#2656) (@ThomasBreuer)
Removing groebner_assure() in MPolyQuo (#2658) (@ederc)
truncate ideals, modules (#2660) (@wdecker)
QuadFormWithIsom patch 1 (#2661) (@StevellM)
Singular var name fix (#2662) (@mjrodgers)
Fix some signatures (#2663) (@jankoboehm)
Improve documentation for morphisms from rational functions. (#2665) (@HechtiDerLachs)
Catelnuovo-Mumford regularity (#2666) (@wdecker)
Gorenstein and Picard index (#2667) (@justus-springer)
Make Cox rings of linear quotients work in greater generality (#2669) (@joschmitt)
Fix assure bug invariant theory (#2670) (@jankoboehm)
small additions concerning characters (#2671) (@ThomasBreuer)
Fix more assures (#2673) (@jankoboehm)
Adjust doctest (#2680) (@thofma)
Pullback of rational functions along strict transforms (#2681) (@HechtiDerLachs)
Cf work in progress (#2682) (@fieker)
assure bug in localizations (#2683) (@jankoboehm)
fix the fix from #2656 (#2684) (@ThomasBreuer)
ToricGeometry: Fix well definedness check; Allow disabling (#2685) (@lkastner)
Adv/abstract serializer (#2687) (@antonydellavecchia)
Betti diagrams in Docu (#2688) (@wdecker)
fix for elliptic_parameter in case of torsion (#2692) (@HechtiDerLachs)
Fix is_right_G_module (#2694) (@fingolfin)
More adaptions to JLLWrappers.jl v1.4.2 (#2695) (@lgoettgens)
Vinberg overhaul (#2696) (@HechtiDerLachs)
Unary minus for toric divisors (#2697) (@justus-springer)
Hilbert series integration (#2698) (@JohnAAbbott)
Attempt for toric schemes (#2700) (@HereAround)
Module syzygies for invariant rings (#2702) (@joschmitt)
more on Betti diagrams (#2706) (@wdecker)
Remove zero entries. (#2707) (@HechtiDerLachs)
Use conversion to modules (#2708) (@jankoboehm)
Remove empty spaces in Betti show (#2709) (@jankoboehm)
Add documentation for morphisms of covered schemes. (#2710) (@HechtiDerLachs)
Correct error shown by doctest_fix (#2711) (@fingolfin)
Adv/update scripts (#2713) (@antonydellavecchia)
Fibration hop functionality (#2715) (@HechtiDerLachs)
FreeAssAlg-serialisation (#2716) (@Sequenzer)
Correcting is_positively_graded (#2717) (@wdecker)
Use Oscar.doctestsetup() in more places (#2722) (@fingolfin)
Make some global variables const (#2723) (@fingolfin)
Weierstrass chart on minimal model (#2724) (@HechtiDerLachs)
FreeAssAlgebra: enable serialization tests (#2725) (@benlorenz)
Remove OSCAR and oscar aliases for Oscar (#2726) (@fingolfin)
Fix minor docstring issues (#2727) (@fingolfin)
PolyhedralGeometry: Refactor facets (#2730) (@lkastner)
quick fix for FreeAssAlgIdeal (#2733) (@antonydellavecchia)
Sort src/exports.jl (#2734) (@fingolfin)
Fix another trivial type stability issue (#2735) (@fingolfin)
docs: monkeypatch documenter into printing blocks and timings (#2736) (@benlorenz)
small additions, mainly about class fusions (#2737) (@ThomasBreuer)
Adv/serialization cleanup (#2738) (@antonydellavecchia)
make use of the subfield lattice to not have double entries (#2739) (@fieker)
[ToricVarieties] Implement projectivization (#2742) (@mgemath)
Remove obsolete has_elem_basic_encoding (#2743) (@fingolfin)
fixes saving a filename without a dirname (#2744) (@antonydellavecchia)
Fix docs (#2745) (@fingolfin)
docs: stop verbose doctest output after a failure (#2749) (@benlorenz)
serialize ZZModRing (note the capital ZZ) (#2750) (@antonydellavecchia)
Fix hom_product docstring (#2751) (@lgoettgens)
Fix typos (#2752) (@lgoettgens)
type -> _type, refs -> _refs (#2754) (@antonydellavecchia)
Sb/two neighbor (#2756) (@simonbrandhorst)
Format proj() to the Oscar standard (#2757) (@mgemath)
Bump Aqua compat (#2758) (@lgoettgens)
Version 0.13.0 (#2762) (@fingolfin)