v0.14.0

Oscar v0.14.0

What's Changed

• Reduce functionality by @ederc in #2759
• Two neighbor cleanup by @HechtiDerLachs in #2760
• Version 0.13.1-DEV by @fingolfin in #2764
• CI: use buildpkg@v1 by @benlorenz in #2770
• adjusting docu to PR #2759 by @wdecker in #2767
• Fix dim for affine schemes (#2369) by @paemurru in #2766
• Fix printing guidelines by @fingolfin in #2769
• Serialize some stuff in FTheoryTools by @lkastner in #2478
• Reenables duvalsing tests by @ederc in #2776
• Adv/serialize zz lat with isom retry by @antonydellavecchia in #2778
• More polish for elliptic surfaces by @simonbrandhorst in #2768
• Put weierstrass_chart back on the weierstrass_model by @HechtiDerLachs in #2782
• Make check as a keyword argument by @StevellM in #2763
• [ToricVarieties] Enhance blow_up method by @HechtiDerLachs in #2741
• some methods for computing orth. discriminants by @ThomasBreuer in #2748
• [ToricVarieties] Add total_space(E) by @mgemath in #2781
• fixes for empty containers by @antonydellavecchia in #2784
• Change some tabs to spaces by @fingolfin in #2785
• Combinatorics: Print graphs nicely by @lkastner in #2786
• Add filter to convention(::TropicalSemiring) doctest by @lgoettgens in #2787
• Printing for MPolyAnyMap by @simonbrandhorst in #2790
• PolyhedralGeometry: Enhance docs of solve_mixed by @lkastner in #2798
• Bump dependencies by @lgoettgens in #2796
• Sheaf cohomology tables and potential rework of Betti tables by @RafaelDavidMohr in #2392
• add permutation action on FreeAssAlgElems by @ThomasBreuer in #2792
• fixup #2792: enable test file by @benlorenz in #2805
• Test algebraic independence by @wdecker in #2804
• Sb/print local rings by @simonbrandhorst in #2806
• Add present_as_cokernel(::FreeMod) dummy method by @RafaelDavidMohr in #2803
• add character field degrees to the stored data by @ThomasBreuer in #2800
• CI: add code coverage to doctests by @benlorenz in #2811
• Add mres and nres Singular Calls for Free resolutions by @RafaelDavidMohr in #2500
• twisted modules by @wdecker in #2807
• all_small_groups: allow filtering by 'exponent' by @fingolfin in #2808
• automorphism_group fix for rank 0 matroids + added test by @Sequenzer in #2799
• Move test_save_load_roundtrip to init file by @lgoettgens in #2801
• Reorganize tests to always use runtests.jl files by @fingolfin in #2813
• Refactor canonical_{in/pro}jection by @lgoettgens in #2747
• LieAlgebras: Constructions for module homs by @lgoettgens in #2753
• Change 'nonnegative' to 'non-negative' for consistency by @fingolfin in #2815
• Toric morphisms to morphisms of covered schemes by @HechtiDerLachs in #2779
• Fix reference in doc by @joschmitt in #2821
• removes more singular_assure calls by @ederc in #2817
• Revise some character table tests to use a doctest by @fingolfin in #2824
• Make with_unicode() exception safe by @fingolfin in #2822
• LieAlgebras: Follow-up to #2753 by @lgoettgens in #2818
• Resolve some JET warnings by @fingolfin in #2812
• Fix CI breakage by @fingolfin in #2826
• Add missing elem_type, parent_type for RelativeBrauerGroup by @fingolfin in #2814
• Explicitly load various GAP package by @fingolfin in #2827
• changed the format of some show tests to use jldoctest by @ThomasBreuer in #2828
• change labelled_matrix_formatted tests: use jldoctest by @ThomasBreuer in #2830
• Further singular_assure removals by @ederc in #2829
• QuadFormWithIsom Patch 2: towards better time in CI by @StevellM in #2825
• Cleaning up scalar support (Polyhedral Geometry) by @alexej-jordan in #2690
• fix Betti spacing by @jankoboehm in #2834
• Bump Hecke version by @thofma in #2838
• Free resolutions updates by @ederc in #2836
• Adv/serialization session bf by @antonydellavecchia in #2840
• Change Linear_program output to ASCII by @zkgeiselmann in #2841
• Make print_constraints use ASCII as default by @alexej-jordan in #2833
• Invariant rings with an existing polynomial ring by @joschmitt in #2845
• Remove functions moved to Hecke by @lgoettgens in #2846
• Remove trailing newlines in show methods by @fingolfin in #2849
• deduce finiteness of the normal subgroup in quo by @ThomasBreuer in #2842
• Repair quotient rings with traits by @HechtiDerLachs in #2789
• Fix doctest_fix for Documenter 1.0 by @fingolfin in #2852
• Resolve two small issues regarding direct products of groups by @joschmitt in #2588
• Remove redundant pretty calls, fix various print calls missing the io argument by @fingolfin in #2794
• Revise printing of GAP groups and homomorphisms by @fingolfin in #2774
• add missing doctest markers, fix doctest by @benlorenz in #2859
• Fix printing of character tables in Jupyter by @fingolfin in #2857
• Remove spaces in morphism printing by @lgoettgens in #2856
• Nicer detailed printing for RelativeBrauerGroupElem by @fingolfin in #2858
• support both documenter versions in doctest helper code by @benlorenz in #2866
• PolyhedralGeometry: restrict signature of visualize, add visualize(SubdivisionOfPoints) by @benlorenz in #2863
• Computeralgebra Rundbrief by @HechtiDerLachs in #2854
• WIP on lazy toric glueings by @HechtiDerLachs in #2862
• fix for serializing 0 ideal by @antonydellavecchia in #2871
• PolyhedralGeometry: (re-)add visualize for oscarnumber by @benlorenz in #2867
• versioninfo: fix oscar branch+commit by @benlorenz in #2875
• Space Germs and Milnor Algebra/Number by @afkafkafk13 in #2860
• Implement Hessian matrix for polynomials by @HechtiDerLachs in #2868
• Another fix for printing of scheme-related types by @StevellM in #2864
• Connect our serialization with Julia serialization by @antonydellavecchia in #2837
• Refactor some Map printing code by @fingolfin in #2877
• Adjust printing of Galois context objects by @fingolfin in #2865
• Switch from FiniteField to finite_field by @fingolfin in #2872
• Facet and Vertex Properties of Polyhedra and Cones by @zkgeiselmann in #2797
• Fix doctest_fix(f::Function) by @fingolfin in #2880
• Groups: add minimal_generating_set by @fingolfin in #2816
• CyclotomicField -> cyclotomic_field and so on by @fingolfin in #2884
• Disable AlgClosureFp tests for now by @fingolfin in #2888
• Include AA conformance tests centrally by @fingolfin in #2883
• Call Oscar.randseed! at start of test suite by @fingolfin in #2809
• Better implementation of show methods for schemes by @StevellM in #2882
• Interface for blowups and blowdown morphisms by @HechtiDerLachs in #2780
• ToricVarieties: Support for immaculate line bundles by @HereAround in #2080
• Bump dependencies, adjust to changes by @fingolfin in #2903
• Enable GC logging in the test suite by @fingolfin in #2904
• ToricGeometry: Eliminate 'A' from printing by @lkastner in #2911
• Matroids: Choose edges of graph as ground set for cycle_matroid by @lkastner in #2887
• LieAlgebras: Restrict to work over fields only by @lgoettgens in #2901
• Update README.md example by @fingolfin in #2892
• Prefer graded_polynomial_ring over grade by @fingolfin in #2889
• Chow rings of matroids by @bschroter in #2905
• LieAlgebras: Adapt some tests by @lgoettgens in #2900
• Update to GAP.jl 0.10 by @fingolfin in #2912
• Cf work in progress by @fieker in #2870
• Fix sheaf_cohomology_bgg docstring, sheafCohTable printing by @fingolfin in #2890
• fix iso to GrpGen by @fieker in #2917
• QuadFormWithIsom: further cleanups + preparation for incoming new features by @StevellM in #2847
• Bump DocumenterCitations to v1.0.0 by @lgoettgens in #2605
• General improvements for toric varieties by @HereAround in #2908
• UngradedModules: don't use display(...) in special show methods by @benlorenz in #2909
• Rename .bib item for ATLAS by @fingolfin in #2918
• add compat bounds for stdlibs (in preparation for julia nightly) by @benlorenz in #2921
• Add functions to get more series of subgroups by @fingolfin in #2728
• Version 0.14.0-DEV by @fingolfin in #2926
• LieAlgebras: Fix docstring by @lgoettgens in #2920
• remove src/Rings/affine-algebra-homs.jl by @benlorenz in #2923
• DevDocs: Do not use display by @lkastner in #2929
• Compare 'nothing' using === not == by @fingolfin in #2931
• Bump Documenter.jl to v1.0 by @lgoettgens in #2927
• Replace deprecated alias MPolyElem by MPolyRingElem by @fingolfin in #2932
• Add stdlib compat bounds to test/Project.toml by @lgoettgens in #2928
• Compare 'nothing' using === in more places by @fingolfin in #2933
• Exterior powers of finitely presented modules by @HechtiDerLachs in #2879
• Relax signature of ==(::MPolyIdeal, ::MPolyIdeal) by @joschmitt in #2937
• All monomial for free standard graded modules by @HechtiDerLachs in #2894
• Simple Lie algebras and root systems by @voggesbe in #2572
• Add some more tests to the bibtool CI job by @lgoettgens in #2919
• Avoid various obsolete function and type names by @fingolfin in #2938
• Suppress noisy test by @lgoettgens in #2941
• Tests: automatically run all test files by @benlorenz in #2810
• Revamp graded_polynomial_ring by @fingolfin in #2940
• Fix show(io::IO, P::ProjSpc) by @fingolfin in #2945
• Fix test failures caused by is_welldefined(M3_to_M1) by @fingolfin in #2946
• Use graded_polynomial_ring in yet more places by @fingolfin in #2924
• Make LieAlgebras compatible with new testing routine by @lgoettgens in #2943
• Clean up PlaneCurve tests by @fingolfin in #2948
• PolyhedralFan: fix for trivial fans by @benlorenz in #2951
• Implement flattenings of graded polynomial rings by @HechtiDerLachs in #2906
• Style guide on optional arguments for parents of return values by @HechtiDerLachs in #2084
• Failing tests on master fail job by @lgoettgens in #2954
• Rename mul to * by @lgoettgens in #2913
• Minor fixes for QuadFormWithIsom by @StevellM in #2957
• Polyhedral: add hash method for Cone + Polyhedron by @benlorenz in #2955
• Add a single ci job per group with depwarn=error by @lgoettgens in #2956
• Change ideal_of_linear_relations to use a graded ring by @fingolfin in #2944
• Rename isweighted -> is_weighted by @lgoettgens in #2953
• Add Coxeter Groups and Root Systems by @felix-roehrich in #2689
• init: warning for outdated manifest by @benlorenz in #2964
• De Rham complexes by @HechtiDerLachs in #2895
• Renaming of sheaf cohomology command by @ederc in #2969
• add schur_multiplier by @ThomasBreuer in #2965
• bug fix for containers by @antonydellavecchia in #2972
• Adjust some code to prior renamings by @fingolfin in #2973
• Allow choice of target while building systemimage by @aaruni96 in #2966
• rename files for windows compatibility, and shorten ipc test by @antonydellavecchia in #2979
• Adv/add version warning by @antonydellavecchia in #2975
• fixes regression loading vectors parametrized types by @antonydellavecchia in #2978
• Use find_morphism from Hecke by @thofma in #2989
• Deprecate a bunch of aliases by @fingolfin in #2980
• Serialization of quotient rings by @HechtiDerLachs in #2983
• Fix broken doctest by @thofma in #2990
• Replace yet more uses of grade by @fingolfin in #2985
• Implement some shortcut for isequal and improve checks by @HechtiDerLachs in #2986
• Replace type declarations by @fingolfin in #2981
• versioninfo: refactor and use the same code for serialization by @benlorenz in #2994
• Double complexes by @HechtiDerLachs in #2935
• Fix some type instability in fixed_field by @thofma in #2993
• Update to Singular 0.19.0 by @fingolfin in #2997
• Remove some trailing newlines in show methods by @fingolfin in #2996
• Fix up the is_complete issue by @HechtiDerLachs in #3001
• PolyhedralGeometry: Only consider relevant facets in star_subdivision by @lkastner in #3006
• first attempt to serialize some groups by @ThomasBreuer in #2410
• FTheoryTools: First extension to literature models over concrete bases by @HereAround in #3008
• PolyhedralGeometry: Simplify non-zero indices by @lkastner in #3007
• idealgens: remove isdefined checks for isGB by @benlorenz in #3009
• Polyhedral{Fan,Complex}: improve / add constructors from cones / polytopes by @benlorenz in #2959
• FTheoryTools: Overhaul resolve/blowup of global Tate models by @HereAround in #3012
• Update: Functionality for matroid realization spaces by @bschroter in #2925
• ToricGeometry: Eliminate set_attributes also from deprecations by @lkastner in #3015
• [FTheoryTools] More improvements by @HereAround in #3017
• Plane curves by @simonbrandhorst in #2988
• fixe for empty matrix serialization by @antonydellavecchia in #3016
• Hypercomplexes by @HechtiDerLachs in #2958
• [FTheoryTools] Desired_base_space -> base_space by @HereAround in #3020
• small additions, mainly parent(chi) by @ThomasBreuer in #3022
• Rename, extend, document and test all_monomials by @joschmitt in #3025
• Remove some type piracy to get rid of a warning by @simonbrandhorst in #3026
• Add docs and tests for CartanMatrix.jl by @felix-roehrich in #2982
• Revert "Disable AlgClosureFp tests for now (#2888)" by @lgoettgens in #3029
• Some cleanup in matroid code to avoid code duplication and improve type stability by @benlorenz in #3031
• Experimental: Add BasisLieHighestWeight by @lgoettgens in #2936
• Fix doctest_fix for submodules by @lgoettgens in #3028
• Bump Aqua to 0.8 and use more defaults by @lgoettgens in #3024
• Bump DocumenterCitations to 1.3 by @lgoettgens in #3003
• Module migration by @HechtiDerLachs in #3042
• fix a bug in _alg58_short_vector for K3Auto.jl by @simonbrandhorst in #3047
• Fix several things around root systems by @lgoettgens in #3048
• optimize BasisLieHighestWeight by @gfourier in #3046
• Address comments from #3048 by @lgoettgens in #3050
• Renaming of revlex, negrevlex, introduction of deginvlex by @ederc in #3038
• More on FTheory tools by @HereAround in #3037
• yr/tropicalBasics by @YueRen in #2832
• Clarify the right action on polynomials by @joschmitt in #3004
• Adjust invariant theory code to allow polynomial rings with ordering different from :degrevlex by @joschmitt in #3044
• Add initial CFF file by @jpthiele in #3053
• LieAlgebras: Add some small helper functions around simple modules by @lgoettgens in #3027
• Resolve warning could not import Oscar.is_linearly_equivalent into PlaneCurveModule by @lgoettgens in #3056
• Precise Johnson solids using serialization by @alexej-jordan in #3035
• Some improvements on the modules by @HechtiDerLachs in #3041
• Cleanup Schemes by @simonbrandhorst in #3063
• Make _isometry_group_via_decomposition optional by @StevellM in #3065
• [FTheoryTools] More improvements by @HereAround in #3052
• [FTheoryTools] More improvements by @HereAround in #3066
• Refactor graphs, streamline some polyhedral constructors by @lkastner in #2952
• rename components to connected_components and deprecate by @simonbrandhorst in #3064
• Make toric divisors compatible with Weil divisors on schemes by @HechtiDerLachs in #2963
• fix two tests in preparation for julia nightly by @benlorenz in #3033
• adds local cohomology method for computing sheaf cohomology by @RafaelDavidMohr in #3058
• Adv/refactor load by @antonydellavecchia in #3032
• Remove instance dispatches for {elem,parent}_type by @lgoettgens in #3068
• [FTheoryTools] Yet more improvements by @HereAround in #3069
• Bump dependencies by @thofma in #3071
• Derive ModuleFP from AbstractAlgebra.Module by @fingolfin in #3078
• removed unnecessary deepcopy by @antonydellavecchia in #3094
• Fixes sheaf cohomology printing, adds check that coefficient ring is a field by @RafaelDavidMohr in #3087
• Avoid factoring zero by @lgoettgens in #3104
• Primary decomposition rerouting by @HechtiDerLachs in #3091
• Rename groebner_basis(::MPolyQuoRing) by @thofma in #3100
• Follow-up to #3087 by @lgoettgens in #3095
• Add sqrt and cbrt functions for QQAbElem by @aaruni96 in #3096
• Add missing ring interface function for AlgClosure by @thofma in #3113
• Adv/serialization for multigraded implicitization by @antonydellavecchia in #3079
• adjust docu w.r.t. the quo constructor by @wdecker in #3103
• [FTheoryTools] More improvements by @HereAround in #3097
• Saturation by @ederc in #3117
• Comply to changes in Hecke by @StevellM in #3120
• Adjust to Hecke changes: Make the depth parameter accessible by @joschmitt in #3124
• Random subquotient module elements and homomorphisms by @jankoboehm in #3122
• Unexport compositions by @lgoettgens in #3128
• Two trivial changes by @fingolfin in #3130
• Add missing 'check' argument to many divexact methods by @fingolfin in #3126
• Up to date by @fieker in #3123
• Use proper morphisms in primary decomposition helpers by @thofma in #3109
• Edit .gitignore by @lgoettgens in #3134
• Further functionality for hyper complexes by @HechtiDerLachs in #3021
• init: fix manifest check for latest nightly by @benlorenz in #3135
• Add characteristic for QQAbField by @lgoettgens in #3137
• Change on_subgroups action to use the GAP interface by @StevellM in #3121
• Fix usage of assure by @jankoboehm in #2732
• Re-export deprecated bindings from AA and Nemo by @fingolfin in #3132
• [FTheoryTools] New constructor for literature models by @HereAround in #3119
• Resolve CI issue of a PR in Hecke by @StevellM in #3140
• Fix conversion bug for PBWAlgQuo elements by @JohnAAbbott in #3133
• test: make worker print test name at the beginning by @thofma in #3142
• Normal form from msolve by @ederc in #3116
• fix quo if the result is a group of automorphisms by @ThomasBreuer in #3148
• Resolve some issues of unbound type parameters by @lgoettgens in #3060
• fix: minor fix for upcoming broadcasting changes by @thofma in #3149
• Cleanup of SymmetricIntersections by @StevellM in #3150
• Sort GAP wrappers using 'sort -f' by @fingolfin in #3151
• Optimize BasisLieHighestWeight by @gfourier in #3101
• Implement Jacobian criterion for projective varieties by @paemurru in #3111
• feat: bump dependencies by @thofma in #3153
• Update .mailmap by @lgoettgens in #3138
• Use julia 1.10 as default in CI by @lgoettgens in #3144
• Force a finiteness check for matrix groups over infinite fields in describe by @lgoettgens in #3157
• Use more GAPWrap by @lgoettgens in #3163
• Improve documentation of doctest_fix by @lgoettgens in #3155
• Make some group function names consistent with overall naming by @lgoettgens in #3158
• Split macOS CI jobs by @lgoettgens in #3161
• Fiber products by @HechtiDerLachs in #3129
• Tag 0.14.0 by @thofma in #3114

New Contributors

• @zkgeiselmann made their first contribution in #2841
• @voggesbe made their first contribution in #2572
• @felix-roehrich made their first contribution in #2689
• @jpthiele made their first contribution in #3053

Full Changelog: v0.13.0...v0.14.0