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 script for type renaming by @lgoettgens in #3303
• Add describe(G::MultTableGroup) by @fingolfin in #3299
• Set-Partitions for Experimental by @pinguly in #2977
• Fix printing of exterior powers of modules by @HechtiDerLachs in #3263
• added graph_from_edges function by @Sequenzer in #3300
• Fix deprecation error by @lgoettgens in #3312
• Bump Hecke version, fix some regressions by @thofma in #3311
• Add a missing LowercaseOff by @lgoettgens in #3313
• Promote JuLie to src by @joschmitt in #3159
• change one line printing of affine schemes from V(...) to scheme(...) by @simonbrandhorst in #3306
• Sort out some weird formatting issue by @joschmitt in #3320
• Prepare for name printing changes in AA by @lgoettgens in #3318
• Fix a doc string typo by @joschmitt in #3323
• Add .swp files to .gitignore by @lgoettgens in #3326
• Update qualification of two calls by @lgoettgens in #3328
• Support matrix groups over QQBar by @fingolfin in #3310
• Polyhedral: rework input type handling, add support for QQBarField objects by @benlorenz in #3308
• docs: reorder & regroup permutation groups chapter by @fingolfin in #3309
• Add missing hash methods for maps by @fingolfin in #3315
• Clean up algebraic_closure import by @lgoettgens in #3331
• Revised interface for homogenization (old UI still there) by @JohnAAbbott in #3333
• More signatures for lift by @jankoboehm in #3335
• New method to convert toric divisors into Weil divisors by @HechtiDerLachs in #3076
• Wrap tests/doctests into with_unicode(false) by @lgoettgens in #3271
• Added function to compute defining ideal of flag variety by @danteluber in #3324
• adds fix for storing strings with characters that need escaping by @antonydellavecchia in #3340
• Adv/fix graph from edges by @antonydellavecchia in #3338
• fix: make @Tropical work again by @thofma in #3336
• CI: update to codecov/codecov-action@v4 by @fingolfin in #3334
• feat: adjust for some upcoming matrix changes by @thofma in #3352
• set version to 1.0.0-DEV by @benlorenz in #3353
• More updates for FTheoryTools by @HereAround in #3343
• tests: adjust the project and load path to add test dependencies in test_module by @benlorenz in #3357
• Adv+ac/phylogenetic trees by @andreicomaneci in #3255
• Adv/serialize gb by @antonydellavecchia in #3321
• Add Lowercase() and two exports by @joschmitt in #3349
• Adapt to name printing changes in AA by @lgoettgens in #3327
• remove deprecations from 0.14.0 and before by @benlorenz in #3358
• sphere recognition heuristics and friends by @micjoswig in #3362
• added line about function argument order by @antonydellavecchia in #3360
• Revert "Serialization: disable IPC test until #3184 is solved (#3246)" by @benlorenz in #3368
• JA homogenizer by @JohnAAbbott in #3344
• right aligned columns in betti table by @Lax202 in #3337
• Adc/sc is isomorphic by @antonydellavecchia in #3359
• refactor number of aliases by @benlorenz in #3364
• Do not return raw polymake vec for gkz_vector by @lkastner in #3375
• Move printing of banner to its own function by @aaruni96 in #3355
• fix doctest following algebraicsolving 0.4.10 by @benlorenz in #3377
• adds fix to return non reduced (co)homology by @antonydellavecchia in #3372
• Backports for Oscar 1.0-rc by @benlorenz in #3378
• Version 1.0.0-rc1 by @benlorenz in #3418
• Backports Oscar 1.0 by @benlorenz in #3429
• Backport for 1.0: G-Modules missing methods (part 1) (#3441) by @benlorenz in #3477
• Set version to 1.0.0 by @benlorenz in #3473

Backported pull requests:

• 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
• Change some things from British to American spelling #3367
• CI: switch to 1.11-nightly for now #3379
• Performance improvements for PointVector, RayVector, SubObjectIterator #3369
• rename and change some *_reps functions #3291
• Adv/upgrade regression fix #3325
• New linear solving interface + more upstream changes #3350
• Remove deprecated functions #3366
• Overhaul root system type detection #3351
• Make partitions and (semi)standard_tableaux return iterators #3365
• Remove deprecated functions #3366
• Fix Grassmann Pluecker #3382
• Fix show for RelativeBrauerGroupElem #3373
• add map_entries for matrix groups #3341
• Make is_exterior_power (and friends) internal #3346
• Enable edit and show source buttons in docs #3381
• galois_group: fix is_normal call after removed deprecations #3385
• Rename vec for AbstractAlgebra matrices to _vec #3387
• Remove unneeded GAP package sla #3398
• Fix an equality check #3399
• Hide AbstractAlgebra ordering of a polynomial ring (a bit) #3374
• Fixes for phylogenetic adjacency tree #3406
• Draft - InvRing for SLn #2823
• Fixes for the degree function #3298
• Serialize Polyhedral Objects over Oscar fields #3386
• Corrected defn of deg(ideal); correction from W Decker #3412
• Eliminate more spelling differences between American and British English #3392
• Tweak exterior_algebra tests #3415
• QuadFormAndIsom: fixes and a new feature #3394
• Adapt interface for orthogonal and symplectic Lie algebras #3391