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::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

• Change some things from British to American spelling by @lgoettgens in #3367

• Remove deprecated functions by @joschmitt in #3366

• Performance improvements for PointVector, RayVector, SubObjectIterator by @fingolfin in #3369

• CI: switch to 1.11-nightly for now by @benlorenz in #3379

• add map_entries for matrix groups by @ThomasBreuer in #3341

• rename and change some *_reps functions by @ThomasBreuer in #3291

• New linear solving interface + more upstream changes by @joschmitt in #3350

• Overhaul root system type detection by @lgoettgens in #3351

• Make partitions and (semi)standard_tableaux return iterators by @joschmitt in #3365

• Adv/upgrade regression fix by @antonydellavecchia in #3325

• Version 1.1.0-DEV by @benlorenz in #3380

• Fix Grassmann Pluecker by @antonydellavecchia in #3382

• Fix show for RelativeBrauerGroupElem by @fingolfin in #3373

• Enable edit and show source buttons in docs by @lgoettgens in #3381

• galois_group: fix is_normal call after removed deprecations by @benlorenz in #3385

• Rename vec for AbstractAlgebra matrices to _vec by @lgoettgens in #3387

• Fix an equality check by @joschmitt in #3399

• Remove unneeded GAP package sla by @lgoettgens in #3398

• Make is_exterior_power (and friends) internal by @lgoettgens in #3346

• improve two pieces of documentation by @ThomasBreuer in #3402

• Fixes for the degree function by @HechtiDerLachs in #3298

• Degree for finite affine schemes by @ooinaruhugh in #3189

• ModStdQt ref_ff_rc regression fix by @antonydellavecchia in #3405

• Draft - InvRing for SLn by @Lax202 in #2823

• Hide AbstractAlgebra ordering of a polynomial ring (a bit) by @joschmitt in #3374

• Fixes for phylogenetic adjacency tree by @antonydellavecchia in #3406

• QuadFormAndIsom: fixes and a new feature by @StevellM in #3394

• Add all_primitive_groups and all_transitive_groups variants taking a single int or int range by @lgoettgens in #3404

• feat: add regular_character by @thofma in #3393

• Corrected defn of deg(ideal); correction from W Decker by @JohnAAbbott in #3412

• Serialize Polyhedral Objects over Oscar fields by @antonydellavecchia in #3386

• Tweak exterior_algebra tests by @fingolfin in #3415

• Eliminate more spelling differences between American and British English by @lgoettgens in #3392

• Adapt interface for orthogonal and symplectic Lie algebras by @lgoettgens in #3391

• Add QQBar docs to the manual by @lgoettgens in #3423

• do not show the OscarInterface banner by @ThomasBreuer in #3422

• Add test example for degree(::Ideal) by @wdecker in #3417

• list the needed GAP packages by @ThomasBreuer in #3421

• fix bugs in all_OD_infos by @ThomasBreuer in #3419

• Ep/ Rename Spec to AffineScheme #3345 by @paemurru in #3425

• Remove two mentions of Arb_jll by @lgoettgens in #3431

• Tweak epimorphism_from_free_group by @fingolfin in #3430

• Add all_perfect_groups by @fingolfin in #3434

• support gen(G::GAPGroup, 0) by @ThomasBreuer in #3332

• Align all_*_groups methods some more by @fingolfin in #3433

• CI: re-enable nightly by @benlorenz in #3435

• fix a docstring by @ThomasBreuer in #3436

• Fixes multivariate division by @ederc in #3396

• TropicalGeometry: add and improve polymake conversions by @benlorenz in #3426

• Docu invariants tori by @wdecker in #3428

• Bugfix for printing of affine schemes by @HechtiDerLachs in #3437

• add docstrings for acting_group and action_function by @mjrodgers in #3432

• Improve docstrings for is_conjugate/is_conjugate_with_data. by @mjrodgers in #3384

• Bugfix for bugfix for printing of affine schemes by @thofma in #3445

• Yr/tropical bugs by @YueRen in #3411

• Fix ambient_module(M::SubquoModule) by @fingolfin in #3448

• Update OSCAR banner by @paemurru in #3410

• support group properties for character tables by @ThomasBreuer in #3449

• Unexport normalise by @lgoettgens in #3453

• add od_from_atlas_group, od_from_p_subgroup, and helpers by @ThomasBreuer in #3444

• Docu invariants lin. red. groups (Lakshmi Ramesh and Wolfram Decker) by @wdecker in #3443

• TropicalGeometry: removed redundant intersect by @YueRen in #3462

• SubdivisionOfPoints: allow vector of vector as input by @benlorenz in #3463

• Added comment on convention by @wdecker in #3467

• Ensure fp_group(G) transfers group attributes by @fingolfin in #3464

• Export weierstrass_chart_on_minimal_model and patch transform_to_weierstrass by @HechtiDerLachs in #3458

• Fix a doc signature by @joschmitt in #3466

• Adjust to renaming of rank(A::FinGenAbGroup) to torsion_free_rank(A::FinGenAbGroup) by @fingolfin in #3457

• Grading + caching for affine algebra of torus invariants by @Lax202 in #3469

• Some more uses of GAPWrap by @fingolfin in #3465

• Fix free_group for Char arguments by @fingolfin in #3474

• Rename InvRing + small changes to invariant theory by @joschmitt in #3442

• G-Modules missing methods (part 1) by @mjrodgers in #3441

• Rewrite Gap(::GModule) to use @attr macro by @fingolfin in #3476

• add documentation about group libraries by @ThomasBreuer in #3478

• Add (truncated) basis computation of the coordinate ring of a fixed Kodaira embedding by @lgoettgens in #3456

• Fix load polymake regression by @antonydellavecchia in #3481

• faster loading for free ass algebras by @antonydellavecchia in #3460

• Simplify for modules by @HechtiDerLachs in #3451

• reworked FreeAssAlgIdeals by @Sequenzer in #3479

• Add is_conjugate* to docs/src/Groups/action.md by @mjrodgers in #3483

• Functions for simplicial complexes from polymake by @antonydellavecchia in #3487

• Serialization for sparse matrices by @antonydellavecchia in #3485

• Speed up fundamental invariants of finite groups by @joschmitt in #3470

• TropicalGeometry: Fix dual subdivision by @lkastner in #3440

• adds description to johnson solids by @antonydellavecchia in #3493

• Betti tables over quotient rings by @HechtiDerLachs in #3500

• Fix #3496 by @joschmitt in #3497

• Allow number field of degree 1 in iso_oscar_gap by @joschmitt in #3501

• [FTheoryTools] Rewrite _kodaira_type to work with any locus by @apturner in #3424

• Serialization: fix save/load of Int matrices/vectors in polymake numberfield objects by @benlorenz in #3508

• Toric ideals again by @HechtiDerLachs in #3513

• Lazy ideal sheaves by @HechtiDerLachs in #3490

• Lazy toric ideals by @HechtiDerLachs in #3514

• release managing docs by @benlorenz in #3420

• uses the schema during serialization testing by @antonydellavecchia in #3452

• Make experimental packages more self-contained by @lgoettgens in #3409

• changed the function flag_pluecker_ideal by @Sequenzer in #3509

• polyhedral/remove_zero_rows: use polymake epsilon for float comparison by @benlorenz in #3521

• Fix for normal form computation using F4 by @ederc in #3523

• Unify printing of all MPoly*Ideal types by @joschmitt in #3507

• more functionality for dict serialization by @antonydellavecchia in #3516

• Add cycles for PermGroupElem by @joschmitt in #3505

• Handle empty charts for subschemes of ideal sheaves by @HechtiDerLachs in #3526

• Deprecated use of glueing by @joschmitt in #3527

• Resolution structure (and curve case) by @afkafkafk13 in #3480

• Provide links for some documentation references by @joschmitt in #3503

• Normalization of covered schemes by @paemurru in #3494

• Bugfixes for normalization of covered schemes by @simonbrandhorst in #3535

• Fixes bug with loading vectorof Fields by @antonydellavecchia in #3534

• add a remark to the docstring of iso_oscar_gap by @ThomasBreuer in #3530

• Adapt basis_coordinate_ring_kodaira by @lgoettgens in #3511

• Add is_finite_dimensional_vector_space by @joschmitt in #3532

• Add CI job that runs tests without the experimental folder by @lgoettgens in #3525

• Remove unnecessary doctest filter by @joschmitt in #3537

• for issue #3488 -- avoid corruption of internal ideal data by @afkafkafk13 in #3536

• Tjurina Algebra/Number and finite determinancy for Hypersurfaces by @Syz-MS in #3495

• fix: remove some (broken) leftover from surface serialization by @thofma in #3545

• [FTheoryTools] Unify blowup of singularities among toric varieties and schemes by @HereAround in #3519

• TropicalGeometry: tropical_linear_space, added input check by @YueRen in #3542

• Update experimental/MatrixGroups to experimental structure by @lgoettgens in #3550

• TropicalGeometry: fixed typo in documentation by @YueRen in #3552

• Few fixes in QuadFormAndIsom by @StevellM in #3539

• Update experimental/ExteriorAlgebra to experimental structure by @lgoettgens in #3549

• Adds gb details to stanley reisner ideal by @antonydellavecchia in #3489

• Adresses issue with equality/hashing on module orderings by @RafaelDavidMohr in #3400

• Upgrade serialization of ZZLatWithIsom by @StevellM in #3540

• Move error message inside test_module by @lgoettgens in #3554

• Update experimental/ModStd to experimental structure by @lgoettgens in #3555

• Remove julia 1.9 from CI matrix by @lgoettgens in #3559

• Adjust to some renamings in AbstractAlgebra 0.40 by @fingolfin in #3556

• add map_word for PcGroupElem by @ThomasBreuer in #3472

• Add check to NoExperimental whitelist to being current by @lgoettgens in #3558

• Move partial characters from experimental/Rings/ to src/ by @lgoettgens in #3551

• is_finiteorder -> is_finite_order by @joschmitt in #3560

• feat: add resultant for list of multivariate polynomials by @thofma in #3546

• G module 2 by @mjrodgers in #3561

• Fix precompilation issue by @lgoettgens in #3565

• Normalization output is now a triple by @paemurru in #3562

• Add functions for arithmetic and geometric genus by @HechtiDerLachs in #3253

• Add missing ``` to disjoint_union by @paemurru in #3566

• [FTheoryTools] Remove stanley reisner ideal for family of spaces by @HereAround in #3544

• Fix Liu citation, make Stacks URL clickable by @paemurru in #3567

• improve isomorphism(FPGroup, abelian_group(...)) by @ThomasBreuer in #3572

• Remove dependency Preferences by @lgoettgens in #3570

• Remove outdated printing code by @lgoettgens in #3571

• change fp_group_with_isomorphism, pc_group_with_isomorphism by @ThomasBreuer in #3563

• QuadFormAndIsom: small optimizations after users' feedbacks by @StevellM in #3575

• Add paragraph about number_of_ to the styleguide. by @lgoettgens in #3305

• Experimental: Partitioned Permutations by @BjSchaefer in #3439

• README.md: fix OSCAR book title by @fingolfin in #3579

• Fix a vcat by @joschmitt in #3580

• [FTheoryTools] Introduce optional argument generic for literature model constructor by @HereAround in #3578

• Temp fix: Show FTheoryTools docs again by @lgoettgens in #3585

• Standard basis computations using highest corner by @ederc in #3577

• Adds functionality for automorphisms of simplicial complexes by @antonydellavecchia in #3498

• Add information on how to cite OSCAR to doc by @joschmitt in #3587

• Hide Oscar.jl banner, when used in other module by @lkastner in #3541

• PolyhedralGeometry: Format most of the files by @lkastner in #3591

• [ToricSchemes] Fixes to blow up of toric variety from new ray by @HereAround in #3590

• fix a problem with isomorphism for trivial groups by @ThomasBreuer in #3586

• experimental/GModule: collect AA/Nemo/Hecke stuff in Misc.jl by @ThomasBreuer in #3584

• Add covered_scheme for AbsAffineScheme by @paemurru in #3595

• Add tests of book chapter to CI. by @lkastner in #3588

• Fix links to people in Kaiserslautern by @fingolfin in #3597

• README.md: update citation info once more by @fingolfin in #3600

• internal consistency of GModule objects by @ThomasBreuer in #3589

• fix: better performance for labelled matrix display by @thofma in #3602

• booktests: move one currently broken tests to skipped, remove another by @benlorenz in #3604

• Function is_normal for covered and affine schemes by @paemurru in #3605

• Format some parts of experimental by @lgoettgens in #3598

• GModule: replace _hom by @ThomasBreuer in #3603

• Maintenance and new functionality for elliptic surfaces by @simonbrandhorst in #3607

• Weak compositions by @joschmitt in #3573

• remove obsolete fix by @afkafkafk13 in #3608

• booktests: clear verbosity levels before running each chapter by @benlorenz in #3612

• booktest: make path filter more robust by @benlorenz in #3613

• Format invariant theory code by @joschmitt in #3614

• Use a new OSCAR email address on our domain by @fingolfin in #3596

• Matroids: add constructors for algebraic matroids by @taboege in #3606

• Delete unused old code and tests for graded modules by @fingolfin in #3557

• Manually store gbs for mirrors of modules over quotient rings by @HechtiDerLachs in #3518

• Finish Bruhat order for Weyl groups and add tests by @felix-roehrich in #3615

• Improve conversion between OSCAR and GAP prime fields by @fingolfin in #3611

• WIP on elliptic fibrations again by @HechtiDerLachs in #3609

• docs: explain about @show_name, @show_special by @fingolfin in #3620

• Cleanup of the work on Oguiso's automorphism by @HechtiDerLachs in #3623

• Test functions for regular solids by @zkgeiselmann in #3512

• Visualization in Polyhedral Geometry: Allow options and multiple objects by @alexej-jordan in #3569

• booktest: fix projects when called from test_module by @benlorenz in #3628

• Workaround for oscar-system/Singular.jl#796 by @RafaelDavidMohr in #3624

• improve isomorphism(FPGroup, G, on_gens = true) by @ThomasBreuer in #3617

• Add dev docs on caching parent objects by @fingolfin in #3619

• Fix doctest breakage by @fingolfin in #3638

• Add _ring_iso helper to help avoid some Base.getproperty methods by @fingolfin in #3637

• [FtheoryTools] Added F-theory models on all toric hypersurfaces by @emikelsons in #3568

• Add reduce(::MPolyRingPoly, ::IdealGens) etc. by @joschmitt in #3640

• Implement morphisms of elliptic surfaces given by translations by @HechtiDerLachs in #3630

• Use matrix(::MatrixGroupElem) in more places ; remove getproperty(::MatrixGroupElem, sym) code for sym == :elm by @fingolfin in #3643

• [FTheoryTools] More models from "F-theory on all toric hypersurfaces" by @HereAround in #3642

• avoid GAP errors when computing G.X for classical matrix groups by @ThomasBreuer in #3644

• document the direction of group isomorphisms by @ThomasBreuer in #3645

• Small fixes by @joschmitt in #3648

• Avoid one soon-to-be deprecation in Hecke by @lgoettgens in #3646

• Speed up comparison of monomial orderings by @joschmitt in #3647

• Moebius transformations by @HechtiDerLachs in #3651

• call GAP's ImagesRepresentative instead of Image by @ThomasBreuer in #3649

• Update GH actions by @fingolfin in #3655

• Use more fat_scheme for AbsProjectiveAlgebraicSet by @StevellM in #3657

• Some convenience methods to push rational points around by @HechtiDerLachs in #3656

• Make default_ordering type stable by @joschmitt in #3661

• Normal form checks for msolve compatibility by @ederc in #3666

• add linear_characters, extend syntax of induce, restrict by @ThomasBreuer in #3664

• Use @include_deprecated_bindings from upstream by @lgoettgens in #3662

• Refactor deprecations by @lgoettgens in #3663

• tests and cleanup for elliptic surfaces by @simonbrandhorst in #3654

• Remove last singular_ring method by @fingolfin in #3670

• Replace many uses of G.X by GapObj(X) by @fingolfin in #3671

• Improve _normal_form_singular: accept more inputs, allocate less by @fingolfin in #3659

• docs: Returns -> Return by @fingolfin in #3678

• Refactor AuxDocTests by @lgoettgens in #3631

• FTheoryTools: Clarify and improve mechanics of literature model constructor by @HereAround in #3675

• Bump dependencies by @lgoettgens in #3667

• feat: more information in banner for dev version by @thofma in #3687

• Update to flint 3 by @thofma in #3689

• First version of adjunction theory (surfaces) by @wdecker in #3684

• Some fix for hypercomplexes by @HechtiDerLachs in #3686

• Remove dep DocStringExtensions by @lgoettgens in #3691

• Reparametrized literature models by @emikelsons in #3693

• Use new is_terse and terse functions by @fingolfin in #3690

• Compositions from JuLie by @joschmitt in #3682

• Disable a test in elliptic surfaces by @joschmitt in #3698

• Use coordinates accessor function by @fingolfin in #3696

• Speed-up canonical bundle thanks to @HechtiDerLachs by @wdecker in #3694

• Remove a weird and broken getindex method by @fingolfin in #3697

• Deprecate another weird getindex method by @lgoettgens in #3702

• Some bugfixes and improvements by @HechtiDerLachs in #3672

• FTheoryTools: Updates to hypersurface model constructor by @HereAround in #3699

• Allow for Enriques surfaces in adjunction process by @wdecker in #3704

• Revert "Disable a test in elliptic surfaces (#3698)" by @joschmitt in #3708

• First attempt: use selfhosted macOS runner by @aaruni96 in #3650

• Attach warning to docs of functions in experimental by @lkastner in #3709

• hilbert series via Singular.hilbert_series_data by @hannes14 in #3713

• [ToricVarieties] Fix for is_effective of toric divisor class by @HereAround in #3668

• FTheoryTools: More improvements yet by @HereAround in #3712

• Have is_ample and is_cartier error gracefully by @lkastner in #3719

• Upgrade Schemes to new experimental structure by @lgoettgens in #3723

• TropicalGeometry: fixed det over tropical polynomials by @YueRen in #3725

• Fix vector_space(K, polynomials) by @fingolfin in #3717

• Streamline docs for vertices/rays and minimal_faces/rays_modulo_lineality by @alexej-jordan in #3618

• Call GapObj instead of accessing chi.values (for group characters) or f.map (for group homomorphisms) by @ThomasBreuer in #3681

• Create misc files to accumulate pirated methods... by @lgoettgens in #3715

• Zariski/Lipman approach to resolution of singularities for 2-dim. schemes by @afkafkafk13 in #3639

• introduce SubPcGroup by @ThomasBreuer in #3166

• Upgrade Schemes to new experimental structure, part 2 by @lgoettgens in #3735

• replace GAP.GapObj by GapObj by @ThomasBreuer in #3736

• Fix documentation formatting in Normal Toric Varieties by @paemurru in #3734

• Simplify some GAP related code by @fingolfin in #3733

• Types for rational maps by @HechtiDerLachs in #3683

• Documentation for Experimental: Partitioned Permutations by @BjSchaefer in #3724

• Enhance booktests by @lkastner in #3745

• star_subdivision: refactor facet_signs to operate on oscar types by @benlorenz in #3716

• adds support for QQBar Serialization by @antonydellavecchia in #3721

• Fix indentation of doc strings by @joschmitt in #3744

• Some improvements to make the QSM models accessible for scheme theoretic analysis by @HechtiDerLachs in #3741

• adding missing reference by @wdecker in #3746

• Fix blow_up for non-prime ideals by @simonbrandhorst in #3738

• Bump Hecke by @lgoettgens in #3750

• Remove stuff from docs that should not be there in a 1.0 version by @fingolfin in #3729

• restructured Chapter Algebraic Geometry in docu by @wdecker in #3751

• FTheoryTools: Add support for F-theory QSMs by @HereAround in #3363

• changed printing of SubPcGroups by @ThomasBreuer in #3747

• CI: disable cache for selfhosted runner by @benlorenz in #3752

• Tweak vector_space(K, polynomials) a bit more by @joschmitt in #3727

• Tweak printing of algebraic_closure(GF(p)) by @fingolfin in #3753

• clean up code adjunction process by @wdecker in #3755

• bug: fix galois_group regression by @thofma in #3763

• list group types that can be serialized by @ThomasBreuer in #3767

• Make a few ordering structs immutable by @fingolfin in #3756

• Improve performance of permutation_of_terms, monomials by @fingolfin in #3679

• Temporarily change the default ordering by @joschmitt in #3660

• Fixes mres and nres in free_resolution by @RafaelDavidMohr in #3700

• Revising affine algebra part of docu by @wdecker in #3774

• Remove examples/MatrixDisplay.jl by @lgoettgens in #3778

• No longer load code dependent on is_dev by @lgoettgens in #3779

• README: use the correct badge (or make it static?) by @thofma in #3758

• Fix Oscar.build() by @aaruni96 in #3728

• Removes some more singular_assure() calls by @ederc in #3775

• Remove examples/BinomialIdeal.jl by @lgoettgens in #3777

• add schur_cover by @ThomasBreuer in #3776

• grassmann pluecker in graded ring by @danteluber in #3765

• added to documentation about reverse type map by @antonydellavecchia in #3768

• Book Metadata by @aaruni96 in #3783

• Use special printing macros for Lie algebras by @lgoettgens in #3781

• Convert partition methods to return iterators by @mjrodgers in #3389

• Make simplify_light return maps also for FreeModule case by @aaruni96 in #3786

• Remove superfluous whitespace in documentation by @lgoettgens in #3784

• Use the 'official' partitions in intersection theory by @joschmitt in #3788

• Implement simplify for ComplexOfMorphisms by @HechtiDerLachs in #3780

• Consolidate and optimize minimal_subalgebra_generators_with_relations by @joschmitt in #3636

• Regular Solids by @zkgeiselmann in #3739

• Fixes grading in _presentation_minimal by @ederc in #3799

• Fix printing of RootSystem and WeylGroup by @lgoettgens in #3801

• improve map_word by @ThomasBreuer in #3802

• introduce SubFPGroup by @ThomasBreuer in #3754

• Some requests in polyhedral geometry by @lkastner in #3791

• Finish formatting of PolyhedralGeometry by @lkastner in #3626

• Fix citations to CLS11 in toric varieties by @paemurru in #3740

• Remove two more files from examples/ dir by @fingolfin in #3807

• editorconfig: explicitly disable trim_trailing_whitespace by @fingolfin in #3804

• QuadFormAndIsom: Serialization infinite order isometries and a minor fix by @StevellM in #3762

• Unify style for 'recursive' kwarg by @fingolfin in #3737

• Adjusting docu following PR #3700 by @wdecker in #3795

• bug fix for automorphism group of simplicial complex by @antonydellavecchia in #3803

• doc: use set_current_module in .md files, too by @fingolfin in #3808

• No Reynolds Operator - Invariant theory of linearly reductive groups by @Lax202 in #3766

• Remove mpoly-local.jl. by @HechtiDerLachs in #3790

• QuadFormAndIsom: enhancements in user interface by @StevellM in #3811

• Adv/update serialization docs by @antonydellavecchia in #3793

• To fix issue with Betti Tables by @Lax202 in #3800

• [FTheoryTools] Allow tuning sections to zero by @HereAround in #3726

• forbid quo(G::SubFPGroup, elms::Vector{T}) by @ThomasBreuer in #3813

• add a paragraph about CTRL-C in Julia and GAP by @ThomasBreuer in #3814

• Small change to docu by @wdecker in #3824

• Add a new constructor for toric affine space by @paemurru in #3825

• Small changes to experimental docs by @joschmitt in #3823

• Allow ideal(f) for a single element f by @paemurru in #3826

• Remove unnecessary set_name! calls in resolutions and presentations by @lgoettgens in #3815

• Another small change to docu by @wdecker in #3829

• change _common_parent_group by @ThomasBreuer in #3817

• Fix some minor inconsistencies in the manual by @fingolfin in #3820

• Book2 by @fieker in #3818

• support FinGenAbGroup in GSets by @ThomasBreuer in #3833

• add degree coercion for permutation groups by @ThomasBreuer in #3832

• fix Ehrhart by @fieker in #3836

• Partitions again by @joschmitt in #3830

• Upgrade GModule to new experimental structure by @lgoettgens in #3837

• Add function is_quotient for matroids by @danteluber in #3627

• Update .mailmap file a bit by @fingolfin in #3846

• add galois_orbit_sum for group characters by @ThomasBreuer in #3840

• Fix Regression in K3Auto by @simonbrandhorst in #3847

• Make IntersectionTheory load after Schemes by @thofma in #3853

• devdocs: add a preamble to the code formatting section by @fingolfin in #3805

• More test coverage and fixes by @simonbrandhorst in #3855

• Fix is_smooth for projective space by @paemurru in #3827

• booktests: remove duplicate include, add env var to suppress spammy plots output by @benlorenz in #3851

• PolyhedralGeometry: make n-gon use exact QQBarFieldElem by @benlorenz in #3848

• refactor vertex-edge graph and dual graph of a polyhedron by @micjoswig in #3834

• polynomial_ring cached=false for ... by @ederc in #3857

• Export fpField, FpField explicitly, cleanup by @fingolfin in #3852

• Remove the "old experimental structure" by @lgoettgens in #3849

• interface to GAP's group recognition (first attempt) by @ThomasBreuer in #3845

• Graph: Add adjacency_matrix and laplacian_matrix by @lkastner in #3862

• Backports for 1.1.0 by @benlorenz in #3869:

  • Fix some combinatorics #3860
  • fix: change idel to idele and improve printing #3859
  • Added more attributes including gauge algebras #3822
  • Fibration hopping presentation #3839
  • fixes (hopefully) #3841 #3866
  • [FTheoryTools] Refactor F-Theory QSMs #3871
  • Some more fixes for the fibration hopping. #3877
  • parts of Set version to 1.2.0-DEV #3867 to avoid upgrading serialized data messages / doctest-errors.

Full Changelog: v0.14.0...v1.1.0