v1.2.0

Oscar v1.2.0

• Do not cache polynomial rings by @ederc in #3838
• Sets poly ring caching to false for invariant theory by @ederc in #3864
• Fix some combinatorics by @joschmitt in #3860
• Added more attributes including gauge algebras by @emikelsons in #3822
• fix: change idel to idele and improve printing by @thofma in #3859
• fixes (hopefully) #3841 by @fieker in #3866
• PolyhedralGeometry: Document IncidenceMatrix feature for maximal_* functions by @lkastner in #3854
• Add option to endow tensor product with product ordering by @joschmitt in #3868
• Fibration hopping presentation by @HechtiDerLachs in #3839
• TropicalGeometry: new linear_space algorithm for triv val on QQ by @YueRen in #3759
• Checking for product orderings by @ederc in #3873
• Set version to 1.2.0-DEV by @benlorenz in #3867
• matroids: fix automorphism for some matroids by @benlorenz in #3878
• [FTheoryTools] Refactor F-Theory QSMs by @HereAround in #3871
• arrangement_polynomial by @danteluber in #3806
• Some more fixes for the fibration hopping. by @HechtiDerLachs in #3877
• rearrange how Oscar loads GAP packages at runtime by @ThomasBreuer in #3874
• catch a corner case for elliptic surfaces by @simonbrandhorst in #3880
• speedup elliptic surfaces by @simonbrandhorst in #3884
• Experimental: Algebraic Statistics by @bkholler in #3812
• Improve type stability of tropical code by @fingolfin in #3879
• Updates AlgebraicSolving to v0.5.0 by @ederc in #3897
• Taking up intersection theory again by @wdecker in #3889
• undo most of #3874 by @ThomasBreuer in #3890
• Banff presentation rebased by @HechtiDerLachs in #3898
• change the handling of the init argument in map_word by @ThomasBreuer in #3892
• Remove caching of Lie algebras by @lgoettgens in #3894
• abstract blowups and more by @wdecker in #3901
• CI: update julia-actions/cache to v2 by @fingolfin in #3902
• Construct Lie algebras from root system by @lgoettgens in #3831
• Add direct sums of Lie algebras by @lgoettgens in #3896
• Iteratorify some tableaux by @joschmitt in #3887
• avoid calling GAP.Packages.install if possible by @ThomasBreuer in #3903
• FTheoryTools: Use direct sum of Lie algebras by @HereAround in #3908
• Enhance show for IdealGens by @lgoettgens in #3893
• Intersection theory: Further examples by @wdecker in #3906
• [FTheoryTools] Small QOL changes by @emikelsons in #3911
• Make LieAlgebraModule tests better gc-able by @lgoettgens in #3913
• Abstract bundles and more by @wdecker in #3917
• adjusting code in intersection theory by @wdecker in #3922
• fixes regression for persistent uuids across multiple sessions by @antonydellavecchia in #3920
• Adv/fix fq field elem load by @antonydellavecchia in #3919
• remove global variables and disable a check by @simonbrandhorst in #3925
• [ToricVarieties] Limit coefficient values in generic sections by @HereAround in #3930
• Intersection theory: code correction, new example by @wdecker in #3929
• add tables of marks by @ThomasBreuer in #3916
• [Serialization] Support ToricDivisorClass by @HereAround in #3931
• Intersection theory: start to document abstract variety maps and more by @wdecker in #3942
• Add/move some type assertions by @fingolfin in #3927
• Rename QQAbElem -> QQAbFieldElem by @lgoettgens in #3935
• Make global variables const by @lgoettgens in #3945
• Fix doctests by @joschmitt in #3948
• Minor tweaks by @fingolfin in #3936
• Matroid serialisation and matroid encodings by @Sequenzer in #3886
• Added the groebner_basis method for FreeAssAlgIdeals to the docs. by @Sequenzer in #3949
• Intersection theory: Correct code + corresponding example by @wdecker in #3952
• tropical determinant via Hungarian method by @micjoswig in #3943
• [FTheoryTools]Small QOL changes 2 by @emikelsons in #3941
• Intersection theory: extend documentation by @wdecker in #3953
• Use algebraic_closure(QQ) instead of QQBar by @lgoettgens in #3954
• Make Lie algebra construction faster by @lgoettgens in #3937
• Mj/various cleanup by @micjoswig in #3955
• Sets poly ring caching to false for modules by @ederc in #3872
• Disable Solving tests by @ederc in #3957
• [FTheoryTools] Overhaul Serialization by @HereAround in #3932
• Intersection theory: Schubert calculus by @wdecker in #3959
• updates related to polymake 4.12 by @benlorenz in #3819
• Schemes: disable cremona transformation test due to random failures by @benlorenz in #3960
• A few toric fixes and additions by @HereAround in #3964
• tests if a set of tropical vectors are tropically generic by @danteluber in #3938
• Fix vinberg booktests by @simonbrandhorst in #3939
• [ToricVarieties] Overhaul equality of normal toric varieties by @HereAround in #3946
• chore: bump dependencies by @thofma in #3958
• [ToricSchemes] Fix underlying_divisor for trivial toric divisor by @HereAround in #3962
• Stop pretending OscarInterface has a manual by @fingolfin in #3968
• fix: use updated documentation source for Hecke by @thofma in #3971
• Intersection theory: hyperplane classes by @wdecker in #3970
• Nicer show for GAPGroupClassFunction by @fingolfin in #3972
• [FTheoryTools] Implement G4-fluxes by @HereAround in #3965
• FTheoryTools: Add comment to explain similar terminology; doc fix by @apturner in #3975
• Add tensor_product for two GAPGroupClassFunction by @fingolfin in #3973
• CI: stop testing for invalidations by @fingolfin in #3977
• QuadFormAndIsom: Galois action on cyclotomic genera by @StevellM in #3966
• Add smaller_degree_permutation_representation, lazy double cosets by @simonbrandhorst in #3899
• test and improvements for borcherds method by @simonbrandhorst in #3984
• [FTheoryTools] Some docstring fixes by @lgoettgens in #3985
• Remove custom non-conformant Base.:/ method for MPolyLocRingElem by @HechtiDerLachs in #3981
• Intersection theory: Correct function abstract_projective_bundle by @wdecker in #3990
• [ToricVarieties] Add link to docu of immaculate line bundles by @HereAround in #3991
• following musings and diskussions at ANTS by @fieker in #3994
• fix Lloyd's problem - kind off by @fieker in #3993
• Some module improvements by @HechtiDerLachs in #3995
• subgroup_reps is deprecated by @joschmitt in #3997
• fix: correct path to Hecke documentation by @thofma in #3999
• Intersection theory: Correct one method for the function `abstract_fl… by @wdecker in #3998
• Fix LaTeX in some doc strings by @joschmitt in #4000
• Include correct doc string by @joschmitt in #4005
• [FTheoryTools] Some minor improvements by @HereAround in #4002
• Turn semistandard_tableaux(shape, weight) into an iterator by @joschmitt in #4004
• [FTheoryTools] Add model 1511.03209 by @HereAround in #3978
• [FTheoryTools] Fix constructor for 1511.03209 model by @HereAround in #4015
• Optimize printing for ideals with many generators by @joschmitt in #4012
• Update generic_section to allow specified range for random integer coefficients by @apturner in #4016
• quantum_autmorphism_groups of matroid by @Sequenzer in #3950
• LinearProgram: improve objective printing, fix nightly doctest, use infinity values by @benlorenz in #4006
• TropicalGeometry + PolyhedralGeometry: fixing references in documentation by @YueRen in #3923
• Serialization fixes by @lgoettgens in #4021
• change the documentation of is_conjugate, is_conjugate_with_data by @ThomasBreuer in #4022
• A function checking if a tropical polytope is ordinarily convex (ie a polytrope) by @Sami-Halaseh in #3989
• polyhedral: use dehomogenize from polymake by @benlorenz in #4028
• Allow AbstractVectors as input for initial by @YueRen in #4027
• [Lie algebras] misc bugfixes, root system in Lie alg interface, dim_of_simple_module implementation in julia by @lgoettgens in #4030
• Serialize Types with Attributes by @antonydellavecchia in #4020
• Serialization of Lie algebras by @antonydellavecchia in #3980
• LieAlgebras: Add *(::WeylGroupElem, ::RootSpaceElem) by @lgoettgens in #4041
• LieAlgebras: Collect all types to a single file by @lgoettgens in #4042
• Use @varnames_interface free_group by @fingolfin in #3317
• Linear combinations of set partitions by @sebvz777 in #3944
• Add docu for matroid realization spaces as affine schemes by @HechtiDerLachs in #3982
• Fix fglm groebner bases for some orderings by @joschmitt in #4029
• [ToricVarieties] Introduce Chern classes of tangent bundle by @HereAround in #3996
• [FTheoryTools] More on Chern classes and topological invariants by @HereAround in #3979
• Bump Nemo compat to 0.46.2 by @lgoettgens in #4054
• Make GSets better inferreable by @lgoettgens in #4052
• [FTheoryTools] Add some missing ensure_artifact_installed to doctests by @lgoettgens in #4055
• Update .codecov.yml by @lgoettgens in #4058
• make sure char values are in the correct field by @fieker in #4057
• cache Galois results (in AbsSimpleField) by @fieker in #4056
• Add @attr types in simple cases by @lgoettgens in #4059
• TropicalGeometry: fixed initials w.r.t. t-adic valuation by @YueRen in #4040
• add warning to load by @antonydellavecchia in #4049
• fix for default prime field extension serialization by @antonydellavecchia in #4066
• add a finiteness check to small_generating_set by @ThomasBreuer in #4069
• small fix for loading without attrs by @antonydellavecchia in #4068
• [FTheoryTools] Better type inference by @lgoettgens in #4073
• Add explicit Any for all @attr functionexpr cases by @lgoettgens in #4070
• experimental: Gröbner Walk by @ooinaruhugh in #3821
• Updates to FreeAssAlgIdeal by @Sequenzer in #4035
• LieAlgebras: Serialization for modules by @lgoettgens in #4065
• change variable labeling for default grassmann pluecker ideal (Related to issue #4018) by @danteluber in #4074
• fix: remove debug statement by @thofma in #4076
• Documentation: vertices_and_rays and maximal_polyhedra (tropical variety) by @MarieKaltoft in #3918
• support group extensions of matrix groups by @ThomasBreuer in #4013
• [FTheoryTools] Improve computation of refined Tate fiber types by @apturner in #4062
• [FTheoryTools] Added more checks for G4 fluxes by @emikelsons in #4044
• Fixes groebner_assure by @ederc in #4077
• [ToricVariety] Support coordinate_ring as reference to cox_ring by @HereAround in #4075
• Fix #4039 by @joschmitt in #4071
• LieAlgebras: Streamline exports in Oscar.LieAlgebras by @lgoettgens in #4036
• Speed up loading containers of polymake types by @antonydellavecchia in #4060
• Fix #4018 by @joschmitt in #4038
• Try to fix the failing MPolyAnyMap doctest on nightly by @lgoettgens in #4080
• TropicalGeometry: Vector to AbstractVector + general cleanup in groebner_basis.jl by @YueRen in #4046
• Implement change_base_ring for hypercomplexes by @HechtiDerLachs in #3794
• Matrix groups: cleanup some use of frobenius by @fingolfin in #4079
• Trivial cleanup in _block_anisotropic_elim by @fingolfin in #4082
• Adv/multi file serialization by @antonydellavecchia in #4067
• Update to GAP.jl 0.11.3 resp. GAP 4.13.1 by @fingolfin in #3688
• Type changes for modules over non commutative rings by @HechtiDerLachs in #3988
• Run CI on experimental *.md doc files by @joschmitt in #4083
• Disable caching in a restriction_map method by @fingolfin in #4091
• Tweak ample_class(S::ZZLat) by @fingolfin in #4089
• Unify some cached varags by @fingolfin in #4088
• Lie algebras: more progress by @lgoettgens in #4053
• Disable polynomial ring caching in projective_space and affine_space methods by @fingolfin in #4094
• polynomial_ring cached=false for tropical geometry by @ederc in #3858
• ProjectivePlaneCurve: caching tweaks by @fingolfin in #4098
• Disable polynomial ring caching in adjunction_process by @fingolfin in #4099
• Move sheaves out of experimental. by @simonbrandhorst in #4092
• Misc bib cleanup by @lgoettgens in #4101
• Intersection matrix (desingularization of surfaces) by @afkafkafk13 in #4050
• bug fix by @antonydellavecchia in #4103
• Make test stat printing more coherent by @lgoettgens in #4106
• Toric Varieties/Schemes: Ep/toric blowups center #3810 by @paemurru in #4096
• Fix is_very_ample by @paemurru in #4105
• Lie algebras: Add root system detection by @lgoettgens in #4084
• LieAlgebras: Fix some typos and enhance type stability by @lgoettgens in #4109
• Disable anonymous functions in gluings by @HechtiDerLachs in #4111
• Cache module orderings elsewhere and introduce shortcut by @HechtiDerLachs in #4116
• polynomial_ring cached=false for combinatorics by @ederc in #3856
• Updates AlgebraicSolving by @ederc in #3987
• Try enabling some tests again by @joschmitt in #4113
• group attribute saving by @antonydellavecchia in #4120
• Minor Lie module serialization cleanup by @lgoettgens in #4123
• [ToricVarieties] Fix for blowup corresponding to already existing ray by @HereAround in #3926
• Format @article entries consistently by @lgoettgens in #4115
• More bib cleanup by @lgoettgens in #4118
• feat: make _canonical_matrix faster by @thofma in #4117
• Bump AA, Nemo, and Hecke compat by @lgoettgens in #4122
• Fix typo in GModule by @lgoettgens in #4125
• Get rid of trivial anonymous functions (part 1) by @lgoettgens in #4126
• Remove anonymous functions from sheaves by @HechtiDerLachs in #4121
• Get rid of trivial anonymous functions (part 2) by @lgoettgens in #4128
• Get rid of trivial anonymous functions (part 3) by @lgoettgens in #4129
• Trivial cleanups by @fingolfin in #4130
• Some more fixes and tuning on elliptic surfaces by @HechtiDerLachs in #4085
• booktests: fix version spec for pkg add to allow patch releases by @benlorenz in #4131
• load the GAP packages sotgrps and sglppow (extensions of the library of small groups) by @ThomasBreuer in #3517
• Speed up is_homogeneous by @fingolfin in #4119
• Add missing newline by @paemurru in #4135
• Prefer symbols over strings in polynomial_ring by @lgoettgens in #4133
• Aqua: don't run persistent tasks check in OscarCI for downstream tests by @benlorenz in #4140
• Revert "load the GAP packages sotgrps and sglppow" by @fingolfin in #4141
• Rename blowdown to blowup by @paemurru in #4148
• Add daily tests by @HereAround in #4127
• document and clean up algebraic cycles by @simonbrandhorst in #4137
• fix too restrictive method installations by @ThomasBreuer in #4149
• LieAlgebras: more optimizations regarding type stability by @lgoettgens in #4145
• test/polyhedron: allow different ordering by @benlorenz in #4153
• Vinbergs Algorithm by @simonbrandhorst in #4152
• switch to a better Julia to GAP conversion by @ThomasBreuer in #4086
• Move duVal-Singularity recognition to src by @afkafkafk13 in #4156
• adjust docu to writing :x instead of "x" etc. when constructing polyn… by @wdecker in #4161
• Don't collect iterators in iteration by @lgoettgens in #4164
• Adds free resolutions over quotient rings by using Singular.sres by @RafaelDavidMohr in #4134
• Speed up polynomial mappings by @HechtiDerLachs in #4124
• Update book example for GenericCharacterTables by @fingolfin in #4163
• LieAlgebras: reduce allocations by @lgoettgens in #4165
• doctest_fix: try setting fixed default terminal size by @benlorenz in #4171
• booktests: some future-proofing by @benlorenz in #4172
• Some more fixes by @HechtiDerLachs in #4142
• Implement more shortcuts and remove code duplication. by @HechtiDerLachs in #4166
• Change eltype methods for objects to types by @lgoettgens in #4173
• More signatures for quotient_ring_as_module and ideal_as_module by @wdecker in #4174
• Remove old build scripts by @lgoettgens in #4176
• Prefer symbols over strings as indeterminants by @lgoettgens in #4158
• Intersect. Theory: Code cleanup, correction, new example by @wdecker in #4180
• Avoid bottlenecks in variable matching. by @HechtiDerLachs in #4178
• Elliptic surfaces fixes by @HechtiDerLachs in #4177
• Add missing Abelian groups docs by @lgoettgens in #4186
• Update exterior_algebra by @lgoettgens in #4093
• CI: add workaround for new gcc with julia 1.6 on github runners by @benlorenz in #4189
• Intersect. theory: Further clean up by @wdecker in #4188
• two_neighbor_step without computing intersection numbers by @simonbrandhorst in #4185
• add a missing in method by @ThomasBreuer in #4190
• Fix indent in a docstring by @fingolfin in #4192
• [FTheoryTools] Fixed some bugs that were missed before by @emikelsons in #4182
• [FTheoryTools] More on serialization of FTheoryTools by @HereAround in #4008
• doc fix: remove extra 'we' in design_decisions.md by @Fe-r-oz in #4199
• More type stability for GSets by @lgoettgens in #4194
• allow == for two groups/group elements in fewer cases by @ThomasBreuer in #4196
• gitignore: also ignore Manifest-vX.Y.toml by @benlorenz in #4210
• add stabilizer for G-sets by @ThomasBreuer in #4206
• AlgebraicSolving v0.8.0 by @ederc in #4212
• Implement isreal(elm::QQAbFieldElem) by @fingolfin in #4207
• Implement syzygy_generators for lists of module elements by @HechtiDerLachs in #4204
• Fix JuliaFormatter version to 1.x to avoid breaking changes of 2.x for now by @lkastner in #4216
• Enhance inference in LieAlgebras, GSets, and MatrixGroups by @lgoettgens in #4208
• Module quotients I by @wdecker in #4217
• Minor improvements for FTheoryTools by @HereAround in #4219
• booktest: add error checking for non-jlcon files also on master by @benlorenz in #4209
• booktests: merge updates from book repo by @benlorenz in #4221
• No type piracy: remove matrix*vector methods for Nemo types by @fingolfin in #760
• Module quotients II by @wdecker in #4225
• Some fixes and performance improvements for iso_oscar_gap(::LieAlgebra) by @lgoettgens in #4227
• Extend is_invertible_with_inverse to rings of type MPolyQuoRing{<:MPolyDecRingElem} by @wdecker in #4226
• Add parent checks to PBW algebra arithmetics by @fingolfin in #4231
• show methods: lower case halfspaces and hyperplanes by @fingolfin in #4232
• Tjurina module by @Syz-MS in #4234
• Ideal saturation: Resolving old question found in code by @wdecker in #4238
• Improve stability of tests in PolyhedralGeometry by @alexej-jordan in #4197
• Add dedicated printing for empty combinatorial objects by @lgoettgens in #4236
• Improve performance of bracket for AbstractLieAlgebraElem by @lgoettgens in #4228
• Add characteristic for multivariate quotient rings over fields by @joschmitt in #4241
• [ToricVarieties] Assert coordinate names from cox ring by @HereAround in #4240
• Adds algorithm option :modular for Gröbner basis computations by @ederc in #4246
• Introduce snake case function incidence_matrix by @alexej-jordan in #4245
• Splits groebner.jl into parts by @ederc in #4250
• README.md: remove month in OSCAR book bib by @fingolfin in #4252
• Saturation for modules by @wdecker in #4249
• Yet another attempt to revise printing for modules by @fingolfin in #4251
• PolyhedralGeometry: minor fixes by @benlorenz in #4253
• Fix show method for FreeMod_dec by @fingolfin in #4254
• Version 1.2.0 by @fingolfin in #4255

Diff since v1.1.2