v1.1.1

Oscar 1.1.1

Backported changes

• catch a corner case for elliptic surfaces #3880
• speedup elliptic surfaces #3884

Full Changelog: v1.1.0...v1.1.1

v1.1.0

What's Changed

• Rename two functions to avoid confusion with is_<property>_with_<extrastuff> functions by @lgoettgens in #3170
• QuadFormAndIsom: more features by @StevellM in #3160
• Version 0.15.0-DEV by @lgoettgens in #3176
• Replace some instances of 'typeof(a)<:b' by 'a isa b' by @fingolfin in #3177
• Sheaf cohomology rebase by @HechtiDerLachs in #3154
• Renaming for localizations by @HechtiDerLachs in #3174
• CI: add julia-cache action for github ci by @benlorenz in #3164
• renaming for the book and speed up by @gfourier in #3181
• Fix one docstring typo by @paemurru in #3182
• Yr/tropical bugs by @YueRen in #3169
• Rename jacobi_matrix to jacobian_matrix by @paemurru in #3180
• fix some problems with group automorphisms by @ThomasBreuer in #3190
• Fix a typo in the documentation by @joschmitt in #3188
• Catch empty polynomial ring in matroid code by @joschmitt in #3183
• Renaming for schemes by @HechtiDerLachs in #3175
• Rename are_algebraically_independent by @lgoettgens in #3172
• Streamline powers of Lie algebra modules by @lgoettgens in #3081
• Fixes length for free resolutions by @ederc in #3194
• Glueing to gluing by @HechtiDerLachs in #3195
• [FTheoryTools] More improvements by @HereAround in #3146
• Delete the old plane curves and projective space by @simonbrandhorst in #3179
• Two bugs in tropical_polynomial by @YueRen in #3187
• fix: workaround for bug in new flint binaries by @thofma in #3203
• Address a bunch of JET and Aqua issues by @fingolfin in #2995
• Some more changes for the book by @HechtiDerLachs in #3200
• Remove ambient closure ideal by @HechtiDerLachs in #3205
• Revert "fix: workaround for bug in new flint binaries (#3203)" by @benlorenz in #3206
• docs: fix reference to intersection -> intersect by @benlorenz in #3214
• different data format for pc group serialization by @ThomasBreuer in #3018
• Initial ideals and marked Groebner bases from TropicalGeometry/groebner_fan.jl/groebner_fan by @ooinaruhugh in #3215
• add special objects for subgroup transversals by @ThomasBreuer in #3216
• Add some more functionality, docs and tests for root systems by @lgoettgens in #3191
• Remove trailing newline in labelled matrix printing by @joschmitt in #3213
• Rename some methods by @HechtiDerLachs in #3208
• Make inj/proj of products groups consistent with other products objects by @lgoettgens in #3201
• Minor fix for show method of character tables; fix printing of named groups like SL(2,2) in some situations by @fingolfin in #3226
• Adv/serialization upgrades docs by @antonydellavecchia in #3112
• Exact arithmetic check for Gröbner related functionality by @ederc in #3232
• change show for nat. symmetric/alternating groups by @ThomasBreuer in #3235
• Fix function name in docstring by @StevellM in #3233
• added text to a "TODO" FAQ concerning GAP packages by @ThomasBreuer in #3236
• More functionality for Weyl groups by @felix-roehrich in #3051
• better printing for RelativeBrauerGroupElem by @fieker in #3243
• CI: disable nightly for macos to reduce test time by @benlorenz in #3245
• Some group theory changes for the OSCAR book by @fingolfin in #3242
• Adds prune_with_map by @RafaelDavidMohr in #3239
• Simple fixes for sheaf cohomology computation by @HechtiDerLachs in #3241
• tests: start message for ipc.jl, explicit GC call by @benlorenz in #3229
• Serialization: disable IPC test until #3184 is solved by @benlorenz in #3246
• Adjust casing in show(::MatroidRealizationSpace) by @lgoettgens in #3244
• let right_cosets return a G-set by @ThomasBreuer in #3223
• move tropical geometry up by @fieker in #3247
• upgrade selected GAP packages at startup by @ThomasBreuer in #3222
• Fix casing in show(::AlgClosure) by @lgoettgens in #3249
• deprecate SimplicialComplex for simplicial_complex by @antonydellavecchia in #3234
• [FTheoryTools] More improvements by @HereAround in #3251
• Remove some dead code by @fingolfin in #3090
• Make new versions of AA, Nemo, Hecke available by @lgoettgens in #3231
• TropicalGeometry: fixed bug in binomial tropical varieties by @YueRen in #3212
• Rename issubset to is_subscheme for subschemes (#3202) by @paemurru in #3252
• Implement printing guidelines for multivariate ideals by @joschmitt in #3250
• use stored OD values for factor groups by @ThomasBreuer in #3248
• add show_OD_info by @ThomasBreuer in #3267
• Remove obsolete getindex methods for accessing generators by @fingolfin in #3260
• Rename number_of_* functions by @lgoettgens in #3272
• Adapt unicode printing guidelines by @lgoettgens in #3269
• Polish linear strands by @HechtiDerLachs in #3218
• polyhedron: make sure empty [] vector works as right hand side by @benlorenz in #3278
• Fix #3107 by @HechtiDerLachs in #3211
• add is_conjugate_subgroup_with_data by @ThomasBreuer in #3281
• CI: adjust test subgroups, try macos aarch64 runner for one subgroup and doctests by @benlorenz in #3280
• Adapt unicode printing of exterior powers of Lie algebra modules by @lgoettgens in #3270
• add G-set functionality for conjugacy classes by @ThomasBreuer in #3268
• Prepare for algebraic_closure(::QQField) by @lgoettgens in #3283
• feat: adjust for upcoming indexing changes by @thofma in #3276
• Say 'Polytope' in show if it is known that a Polyhedron is bounded by @micjoswig in #3289
• Remove two temporary files by @lgoettgens in #3295
• Add two missing Lowercase() by @fingolfin in #3290
• Fixed two bugs in the matroid realization code by @LukasKuehne in #3292
• Reduce test noise by @lgoettgens in #3293
• let left_cosets return a G-set by @ThomasBreuer in #3297
• Adjust to AA/Nemo/Hecke by @joschmitt in #3288
• Fix deprecation testjob by @lgoettgens in #3301
• add support to adjoin many elements by @fieker in #3294
• Simplify and unify GAP iteration code by @fingolfin in #3302
• Fix broadcast for PointVector/RayVector by @alexej-jordan in #3285
• Add serialization upgrade script for type renaming by @lgoettgens in #3303
• Add describe(G::MultTableGro...

v1.0.4

What's Changed

• Fix Oscar.build() (#3728)
• booktests: remove duplicate include, add env var to suppress spammy plots output (#3851)
• Fix Regression in K3Auto (#3847)
• Another small change to docu (#3829)
• Small changes to experimental docs (#3823)
• Small change to docu (#3824)

Full Changelog: v1.0.3...v1.0.4

v1.0.3

Oscar v1.0.3

Diff since v1.0.2

Backported pull requests:

• list group types that can be serialized #3767 (with correction via #3771)
• booktest: fix projects when called from test_module #3628
• Small fixes #3648
• Fix indentation of doc strings #3744
• Fix documentation formatting in Normal Toric Varieties #3734
• Remove stuff from docs that should not be there in a 1.0 version #3729
• bug: fix galois_group regression #3763
• No longer load code dependent on is_dev #3779
• added to documentation about reverse type map #3768
• Enhance booktests #3745
• Book Metadata #3783
• Make simplify_light return maps also for FreeModule case #3786
• Remove superfluous whitespace in documentation #3784
• Adjust to some renamings in AbstractAlgebra 0.40 #3556 (to avoid conflicts in the next two PRs)
• Fix vector_space(K, polynomials) #3717
• Tweak vector_space(K, polynomials) a bit more #3727
• Adv/update serialization docs #3793
• To fix issue with Betti Tables #3800
• add a paragraph about CTRL-C in Julia and GAP #3814

archive-tag-1

Create dummy 'archive' branch

v1.0.2

Oscar v1.0.2

Merged pull requests:

• booktest: make path filter more robust #3613

Full Changelog: v1.0.1...v1.0.2

v1.0.1

Oscar v1.0.1

Diff since v1.0.0

Backported pull requests:

• Add is_conjugate* to docs/src/Groups/action.md #3483
• Fix precompilation issue #3565
• TropicalGeometry: fixed typo in documentation #3552
• fix: remove some (broken) leftover from surface serialization #3545
• Fixes bug with loading vectorof Fields #3534
• Provide links for some documentation references #3503
• Serialization: fix save/load of Int matrices/vectors in polymake numberfield objects #3508
• Fix load polymake regression #3481
• Add paragraph about number_of_ to the styleguide. #3305
• README.md: fix OSCAR book title #3579
• Fix a vcat #3580
• Add information on how to cite OSCAR to doc #3587
• Hide Oscar.jl banner, when used in other module #3541
• Fix links to people in Kaiserslautern #3597
• README.md: update citation info once more #3600
• Add tests of book chapter to CI. #3588
• booktests: clear verbosity levels before running each chapter #3612
• Use a new OSCAR email address on our domain #3596

v1.0.0

Oscar v1.0.0

Diff since v0.14.0

Merged pull requests:

• Rename two functions to avoid confusion with is_<property>_with_<extrastuff> functions by @lgoettgens in #3170
• QuadFormAndIsom: more features by @StevellM in #3160
• Version 0.15.0-DEV by @lgoettgens in #3176
• Replace some instances of 'typeof(a)<:b' by 'a isa b' by @fingolfin in #3177
• Sheaf cohomology rebase by @HechtiDerLachs in #3154
• Renaming for localizations by @HechtiDerLachs in #3174
• CI: add julia-cache action for github ci by @benlorenz in #3164
• renaming for the book and speed up by @gfourier in #3181
• Fix one docstring typo by @paemurru in #3182
• Yr/tropical bugs by @YueRen in #3169
• Rename jacobi_matrix to jacobian_matrix by @paemurru in #3180
• fix some problems with group automorphisms by @ThomasBreuer in #3190
• Fix a typo in the documentation by @joschmitt in #3188
• Catch empty polynomial ring in matroid code by @joschmitt in #3183
• Renaming for schemes by @HechtiDerLachs in #3175
• Rename are_algebraically_independent by @lgoettgens in #3172
• Streamline powers of Lie algebra modules by @lgoettgens in #3081
• Fixes length for free resolutions by @ederc in #3194
• Glueing to gluing by @HechtiDerLachs in #3195
• [FTheoryTools] More improvements by @HereAround in #3146
• Delete the old plane curves and projective space by @simonbrandhorst in #3179
• Two bugs in tropical_polynomial by @YueRen in #3187
• fix: workaround for bug in new flint binaries by @thofma in #3203
• Address a bunch of JET and Aqua issues by @fingolfin in #2995
• Some more changes for the book by @HechtiDerLachs in #3200
• Remove ambient closure ideal by @HechtiDerLachs in #3205
• Revert "fix: workaround for bug in new flint binaries (#3203)" by @benlorenz in #3206
• docs: fix reference to intersection -> intersect by @benlorenz in #3214
• different data format for pc group serialization by @ThomasBreuer in #3018
• Initial ideals and marked Groebner bases from TropicalGeometry/groebner_fan.jl/groebner_fan by @ooinaruhugh in #3215
• add special objects for subgroup transversals by @ThomasBreuer in #3216
• Add some more functionality, docs and tests for root systems by @lgoettgens in #3191
• Remove trailing newline in labelled matrix printing by @joschmitt in #3213
• Rename some methods by @HechtiDerLachs in #3208
• Make inj/proj of products groups consistent with other products objects by @lgoettgens in #3201
• Minor fix for show method of character tables; fix printing of named groups like SL(2,2) in some situations by @fingolfin in #3226
• Adv/serialization upgrades docs by @antonydellavecchia in #3112
• Exact arithmetic check for Gröbner related functionality by @ederc in #3232
• change show for nat. symmetric/alternating groups by @ThomasBreuer in #3235
• Fix function name in docstring by @StevellM in #3233
• added text to a "TODO" FAQ concerning GAP packages by @ThomasBreuer in #3236
• More functionality for Weyl groups by @felix-roehrich in #3051
• better printing for RelativeBrauerGroupElem by @fieker in #3243
• CI: disable nightly for macos to reduce test time by @benlorenz in #3245
• Some group theory changes for the OSCAR book by @fingolfin in #3242
• Adds prune_with_map by @RafaelDavidMohr in #3239
• Simple fixes for sheaf cohomology computation by @HechtiDerLachs in #3241
• tests: start message for ipc.jl, explicit GC call by @benlorenz in #3229
• Serialization: disable IPC test until #3184 is solved by @benlorenz in #3246
• Adjust casing in show(::MatroidRealizationSpace) by @lgoettgens in #3244
• let right_cosets return a G-set by @ThomasBreuer in #3223
• move tropical geometry up by @fieker in #3247
• upgrade selected GAP packages at startup by @ThomasBreuer in #3222
• Fix casing in show(::AlgClosure) by @lgoettgens in #3249
• deprecate SimplicialComplex for simplicial_complex by @antonydellavecchia in #3234
• [FTheoryTools] More improvements by @HereAround in #3251
• Remove some dead code by @fingolfin in #3090
• Make new versions of AA, Nemo, Hecke available by @lgoettgens in #3231
• TropicalGeometry: fixed bug in binomial tropical varieties by @YueRen in #3212
• Rename issubset to is_subscheme for subschemes (#3202) by @paemurru in #3252
• Implement printing guidelines for multivariate ideals by @joschmitt in #3250
• use stored OD values for factor groups by @ThomasBreuer in #3248
• add show_OD_info by @ThomasBreuer in #3267
• Remove obsolete getindex methods for accessing generators by @fingolfin in #3260
• Rename number_of_* functions by @lgoettgens in #3272
• Adapt unicode printing guidelines by @lgoettgens in #3269
• Polish linear strands by @HechtiDerLachs in #3218
• polyhedron: make sure empty [] vector works as right hand side by @benlorenz in #3278
• Fix #3107 by @HechtiDerLachs in #3211
• add is_conjugate_subgroup_with_data by @ThomasBreuer in #3281
• CI: adjust test subgroups, try macos aarch64 runner for one subgroup and doctests by @benlorenz in #3280
• Adapt unicode printing of exterior powers of Lie algebra modules by @lgoettgens in #3270
• add G-set functionality for conjugacy classes by @ThomasBreuer in #3268
• Prepare for algebraic_closure(::QQField) by @lgoettgens in #3283
• feat: adjust for upcoming indexing changes by @thofma in #3276
• Say 'Polytope' in show if it is known that a Polyhedron is bounded by @micjoswig in #3289
• Remove two temporary files by @lgoettgens in #3295
• Add two missing Lowercase() by @fingolfin in #3290
• Fixed two bugs in the matroid realization code by @LukasKuehne in #3292
• Reduce test noise by @lgoettgens in #3293
• let left_cosets return a G-set by @ThomasBreuer in #3297
• Adjust to AA/Nemo/Hecke by @joschmitt in #3288
• Fix deprecation testjob by @lgoettgens in #3301
• add support to adjoin many elements by @fieker in #3294
• Simplify and unify GAP iteration code by @fingolfin in #3302
• Fix broadcast for PointVector/RayVector by @alexej-jordan in #3285
• Add serialization upgrade scr...

OSCAR 1.0.0-rc1

Changes: v0.14.0...v1.0.0-rc1

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 https://github.com/oscar-system/Oscar.j...