Skip to content

CHANGELOG.md

Latest commit

 

History

History
821 lines (551 loc) · 52.2 KB

CHANGELOG.md

File metadata and controls

821 lines (551 loc) · 52.2 KB

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project tries to adhere to Semantic Versioning.

The following gives an overview of the changes compared to the previous releases. This list is not complete, many more internal or minor changes were made, but we tried to only list those changes which we think might affect some users directly.

1.7.2 - 2026-04-08

Commutative Algebra

Other fixed bugs

  • #5918 Fix parent of the generators of the ideal returned from groebner_basis_f4 when used with eliminate > 0

Miscellaneous changes

  • #5903 Fix fitting_ideal to always return an ideal, even if it is the ideal generate by 1 (where sometimes the ring was returned instead)

Polyhedral Geometry

Improvements or additions to documentation

  • #5917 Fix documentation for polyhedral_fan to give the correct argument order

Other changes

Changes related to serializing data in the MRDI file format

  • #5906 Fix a bug that could prevent loading some serialized data

1.7.1 - 2026-03-26

Commutative Algebra

Fixed bugs that returned incorrect results

  • #5785 Fix issubset for complements of prime and kpoint ideals
  • #5875 Fix Fitting ideal for free modules
  • #5876 Fix mres issue due to presentation

Miscellaneous changes

  • #5873 Fix length of free resolution of free module

Polyhedral Geometry

Fixed bugs that returned incorrect results

  • #5856 Fix f_vector for fans with positive lineality dimension

Other changes

Changes related to serializing data in the MRDI file format

  • #5850 Fix deserialization of SMat with trailing zero cols
  • #5883 Fix deserialization of MatGroup

Only changes experimental parts of OSCAR

  • #5892 Fix bug in diff_action and provide convenience constructors

Fixed bugs that returned incorrect results

  • #5800 Remove incorrect * method for FreeAssociativeAlgebraIdeal

1.7.0 - 2026-02-13

Algebraic Geometry

New features or extended functionality

  • #5681 Add some minor improvements for finitely presented modules and cache representatives of inverses in quotient rings
  • #5626 Add ample_class for EllipticSurface

Other fixed bugs

  • #5626 Fix a bug in K3_surface_automorphism_group

Combinatorics

New features or extended functionality

  • #5558 Add new collection SelfProjectingMatroidRealizations to the OscarDB
  • #5618 Extend betti_numbers for SimplicialComplex to allow computing Betti numbers over a field instead of the integers
  • #5696 Provide access to phylogenetic tree data available from OscarDB
  • #5708 Add (has_)disjoint_automorphisms, petersen_graph, and clebsch_graph

Commutative Algebra

New features or extended functionality

  • #5588 Add puiseux_expansion
  • #5689 Improve is_principal for ideals in multivariate rings to handle some "easy" cases better
  • #5729 Allow general subquotient modules as input to vector_space_dimension and friends.

Other fixed bugs

  • #5596 Check that all variables are from the same ring when generating an ordering
  • #5652 Fix regression in components_of_kernel

Groups

Renamings

  • #5704 Rename MatrixGroup, MatrixGroupElem to MatGroup, MatGroupElem, to better fit in with MatElem and MatRingElem

New features or extended functionality

  • #5619 Add variant of perm function which takes a degree
  • #5640 Add ree_group and suzuki_group constructors
  • #5755 Add characteristc and minimal polynomial for matrix group elements

Number Theory

New features or extended functionality

  • #5583 Introduce TorQuadModuleWithIsom
  • #5634 Add isometry_positive function for ZZLatWithIsom
  • #5761 Add unit groups of finite rings

Fixed bugs that returned incorrect results

  • #5684 Improve the handling of non-nice polynomials in galois_group

Polyhedral Geometry

New features or extended functionality

  • #5610 Improve normal_cone to support multiple vertices as input, and provide an option for calculating outer or inner normal cones.
  • #5670 Allow field coercion and pre-set coefficient fields for polyhedra

Fixed bugs that returned incorrect results

  • #5716 Fix f_vector for cones with lineality (and the point)

Other fixed bugs

  • #5647 Fix and improve polymake visualization with jupyter

Changes related to the package AbstractAlgebra

  • #5710 Update AbstractAlgebra to v0.48

Changes related to the package Nemo

  • #5613 Update Nemo to v0.53, FLINT to 3.4.0
  • #5710 Update Nemo to v0.54

Other changes

Renamings

  • #5702 Replace induced_map_on_exterior_powers by exterior_power(::Map)

Changes related to serializing data in the MRDI file format

  • #5672 Fix loading of empty tuples
  • #5717 Add kwarg compression=:gzip to produce gzip compressed serialization files

Only changes experimental parts of OSCAR

  • #5587 Las Vegas algorithm for exterior algebraic shifting
  • #5660 Allow oscar_worker_pool to accept abstract cluster managers

1.6.0 - 2025-11-29

The following gives an overview of the changes compared to the previous release. This list is not complete, many more internal or minor changes were made, but we tried to only list those changes which we think might affect some users directly.

Algebraic Geometry

New features or extended functionality

  • #5265 Add f4ncgb algorithm for non-commutative groebner basis computation
  • #5403 Add factoring_standard_basis command which uses facstd from Singular.jl
  • #5585 Precomputed Gröbner basis for quantum symmetric groups

Fixed bugs that returned incorrect results

  • #5492 Fix computing saturation of modules over quotient rings

Combinatorics

New features or extended functionality

  • #5235 Construct PhylogeneticTree from graph
  • #5477 Add multicombinations to Oscar
  • #5530 Support optional "inplace" iteration for combinations and multicombinations

Improvements or additions to documentation

  • #5431 Improve combinatorics documentation
  • #5446 Further improvements to documentation for combinations

Miscellaneous changes

  • #5228 Major changes and updates to AlgebraicStatistics
  • #5485 Fix spelling of is_acyclic for directed graphs. Deprecate is_acylic.

F-Theory Tools

Performance improvements or improved testing

  • #5295 Reduce yet more randomness in FTheoryTools

Groups

New features or extended functionality

  • #4826 Improve the handling of matrix groups over number fields
  • #5250 Add fixed_points for PermGroup and PermGroupElem
  • #5267 Add order_bound keyword argument to subgroup_classes
  • #5270 Add an iterator of subspaces of finite vector spaces
  • #5288 Add p_rump for GAPGroup and extend torsion_subgroup for GAPGroup and WeylGroup
  • #5453 Add character_degrees for a given group or character table, or for given invariants of a finite abelian group and finite field
  • #5456 Add encode and pc_group for encoding finite pc groups into integers and back
  • #5532 Add a constructive membership test for double cosets

Fixed bugs that resulted in unexpected errors

  • #5594 Fix raising matrix group elements to negative powers

Lie Theory

Only changes experimental parts of OSCAR

  • #5290 Add basis_coordinate_ring_kodaira_demazure

Number Theory

New features or extended functionality

  • #5251 Allow discriminant_annihilator as input for enumerate_classes_of_lattices_with_isometry
  • #5339 Methods for group actions on ZZLat
  • #5457 Allow to specify several characteristic polynomials in lattice with isometry enumeration

Performance improvements or improved testing

  • #5545 Implement the decomposition approach for orthogonal group computation and isometry testing of integer lattices. This results in a vast speedup for lattices which are not generated by their shortest vectors.

Polyhedral Geometry

New features or extended functionality

  • #4444 Add transformations for polyhedral fans and complexes
  • #4709 Introduce various variants of halfspace_matrix_pair(ZZ, ...) for polyhedral objects to access facets etc as matrices
  • #5372 Add castelnuovo_excess and is_castelnuovo for lattice polytopes
  • #5384 Enhance documentation and add further functions inherited from polymake

Toric Geometry

New features or extended functionality

  • #5032 Improve vector of minimal exponents method for cohomology computations
  • #5512 Deprecate all_cohomologies in favor of sheaf_cohomology
  • #5512 Support line bundle cohomology computation via local cohomology, including functorial aspects

Tropical Geometry

New features or extended functionality

  • #4001 Tropical polyhedra: Types and basic properties

Changes related to the package GAP

  • #5374 Update GAP.jl to 0.16, i.e. GAP to 4.15.1

Changes related to the package Hecke

  • #5533 Update Hecke to 0.39

Changes related to the package Singular

  • #5489 Update Singular.jl to 0.27
  • #5578 Update Singular.jl to 0.28

Other changes

Changes related to serializing data in the MRDI file format

  • #5137 Add OscarDB to experimental

Only changes experimental parts of OSCAR

  • #4798 Implement multigraded implicitization
  • #5329 Add documentation for action polynomial rings

1.5.1 - 2025-11-20

The following gives an overview of the changes compared to the previous release. This list is not complete, many more internal or minor changes were made, but we tried to only list those changes which we think might affect some users directly.

Lie Theory

Only changes experimental parts of OSCAR

  • #5304 Fix basis_lie_demazure which wouldn't finish for some inputs

Other changes

Improvements or additions to documentation

  • #5314 Improve documentation of fields

1.5.0 - 2025-09-11

The following gives an overview of the changes compared to the previous release. This list is not complete, many more internal or minor changes were made, but we tried to only list those changes which we think might affect some users directly.

Highlights

  • #4983 Don't export internal helpers singular, singular_assure, singular_coeff_ring, singular_poly_ring (they were never meant to be exported)
  • #5046 Graduate "Quadratic forms and isometries" from experimental to officially supported

Renamings

  • #5102 Rename some potentially ambiguous usages of dim and use krull_dim, rank or vector_space_dim instead

Algebraic Geometry

  • #4951 Add support for spectral sequences in Cech cohomology
  • #5065 Irreducible components for schemes
  • #5186 Improve is_smooth for affine schemes.

Combinatorics

  • #4933 Add type parameter to Matroid
  • #4995 Add maximal_cliques(::Graph{Undirected})
  • #5091 Add documentation for multi-sets and subset iterators to manual
  • #5179 Add mixed graphs (graphs with both directed and undirected edges)
  • #5182 Fix a bug in the computation of matroid realization spaces with saturated defining ideal
  • #5193 Add documentation for graph visualization using Graphviz
  • #5211 Add is_acyclic function for directed graphs
  • #5244 Add induced_subgraph

Commutative Algebra

  • #4915 Add support for generic modules over the integers and fields
  • #4967 Introduce and use additional is_noetherian, krull_dim & vector_space_dim methods
  • #5004 Print sheaf cohomology tables more compactly
  • #5030 Deprecate vector_space_dimension, use vector_space_dim instead
  • #5078 Support kernel of maps with Laurent polynomials as codomain
  • #5080 Don't allow grade on graded polynomial ring
  • #5185 Fix radical for ideals in polynomial rings over the integers
  • #5240 Add change_base_ring for graded multivariate rings
  • #5241 Add rational_solutions over larger field

F-Theory Tools

  • #5017 Chern classes can be serialized
  • #5019 For all QSMs, remember that toric ambient space is complete and smooth
  • #5031 Compute integral and rational coefficients for all G_4-fluxes
  • #5031 Upon construction, automatically express the defining cohomology class of each G_4-flux using the internally chosen generating set
  • #5031 Deprecate basis_of_h22_hypersurface in favor of gens_of_h22_hypersurface
  • #5031 Deprecate basis_of_h22_hypersurface_indices in favor of gens_of_h22_hypersurface_indices
  • #5048 Breaking: Stop support for su5_weierstrass_model_over_arbitrary_3d_base
  • #5048 Breaking: Stop support for su5_tate_model_over_arbitrary_3d_base
  • #5071 Extended flexibility for HypersurfaceModel constructors
  • #5071 Improved implementation of set_weierstrass_model(h::HypersurfaceModel)
  • #5071 Improved implementation of set_global_tate_model(h::HypersurfaceModel)
  • #5071 Breaking: Remove support for sample_toric_variety()
  • #5071 Breaking: Remove support for weierstrass_model(w::WeierstrassModel)
  • #5083 Breaking: Remove support for set-functions of metadata attributes of literature models.
  • #5083 Breaking: Remove support for (most) has-functions, to tell if a (literature) model has a particular attribute.
  • #5083 Introduce add_torsion_section method.
  • #5156 Stabilize singular_loci's refined Tate fiber type computation (Monte Carlo) with fixed seed
  • #5161 Breaking: Drop support for add_model_parameter(m::AbstractFTheoryModel, addition::String)
  • #5198 Serialize mappings of properties of toric varieties and update QSMDB
  • #5200 Drop support for cox_ring of FamilyOfSpaces
  • #5214 Breaking: Kwarg check renamed according to the role it plays/adjusting its role when needed. In most places, it was renamed to completeness_check. For constructors of G4-fluxes, we introduced the kwarg consistency_check (is the flux properly quantized? does it pass the transversality constraints?).
  • #5214 Support for kwarg completeness_check extended. For instance, it is now allowed as input to is_well_quantized, passes_transversality_checks, d3_tadpole for individual G4-fluxes. But it is also used internally in many more places.
  • #5214 Kwargs completeness_check and consistency_check are described in docstrings.
  • #5214 Breaking: Stop support for chosen_g4_flux_basis, basis_of_h22_hypersurface and basis_of_h22_hypersurface_indices.
  • #5269 Breaking: Stop support for _blowup_global, _blowup_global_sequence, and _is_nontrivial
  • #5278 Make generic_section and functions derived thereby less random by providing a seed as kwarg

Groups

  • #4987 Add natural_gset method for permutation, matrix & Weyl groups
  • #4999 Add extraspecial_group and is_extraspecial_group
  • #5026 Add functionality for pc groups and their elements: hirsch_length, depth, relative_order, exponent_vector, leading_exponent
  • #5055 Add permutation_character(G::GAPGroup, H::GAPGroup)
  • #5140 Add smallest_moved_point and largest_moved_point

Lie Theory

  • #4570 Extend functionality of the experimental BasisLieHighestWeight module to Demazure modules

Number Theory

  • #5082 Change root_of_unity(K::QQAbField, n::Int) to return always the root corresponding to $\exp(2\pi i/n)$
  • #5109 Fix a bug in galois_group that resulted in too small groups being returned
  • #5126 Add isinteger, is_rational and is_integral for QQAbFieldElem

Polyhedral Geometry

  • #5217 n_cones and cones now properly consider all cones
  • #5220 Add filename and backend keyword arguments to visualize
  • #5246 Add support for serializing linear programs over non-rational fields

Toric Geometry

  • #4928 Use symbols instead of strings for variables in toric geometry
  • #5064 Introduce class_group_with_map and picard_group_with_map
  • #5073 Use Laurent polynomial ring approach to speed up computation of toric_ideal
  • #5234 Refine optional checks in toric varieties: introduce kwarg completeness_check
  • #5278 Make generic_section and functions derived thereby less random by providing a seed as kwarg
  • #5284 Implement chamber counting algorithm for toric line bundles
  • #5287 Breaking: Require simplicial, projective toric varieties in the current cohomCalg implementation; update input tests

Changes related to serializing data in the MRDI file format

  • #4992 Fix loading FreeAssociativeAlgebraElems
  • #4997 Allow loading matrices with non-commutative entries
  • #5024 Move serialization code into new submodule Oscar.Serialization, replace @import_all_serialization_functions by using Oscar.Serialization
  • #5094 Add option to JSONSerializer to suppress saving refs
  • #5122 Add serialization for Matrix Groups
  • #5191 Add support for multidimensional Array serialization
  • #5196 Add serialization of FinGenAbGroupHom

Only changes experimental parts of OSCAR

  • #5212 Add difference polynomial rings and differential polynomial rings

Changes related to the package AbstractAlgebra

  • #4965 No longer export misleading @perm_str from AA
  • #5110 Bump AbstractAlgebra to v0.46
  • #5282 Bump AbstractAlgebra to v0.47

Changes related to the package GAP

  • #4952 Add a QQBar interface to GAP
  • #5049 Add support for GAP.jl 0.14
  • #5226 Update to GAP.jl 0.15

Changes related to the package Hecke

  • #5110 Bump Hecke to v0.37
  • #5282 Bump Hecke to v0.38

Changes related to the package Nemo

  • #5110 Bump Nemo to v0.51
  • #5282 Bump Nemo to v0.52

Changes related to the package Polymake

  • #5114 Update Polymake.jl to v0.13, polymake to v4.14

Changes related to the package Singular

  • #5281 Update Singular.jl to 0.26

Other changes

  • #4988 New implementation of map_from_func with changed argument order
  • #5051 Drop support for julia versions older than current LTS (1.10)

1.4.1 - 2025-06-07

The following gives an overview of the changes compared to the previous release. This list is not complete, many more internal or minor changes were made, but we tried to only list those changes which we think might affect some users directly.

Commutative Algebra

  • #4950 Fix minimal_generating_set for ideals created by a f4 groebner basis

F-Theory Tools

  • #4957 Resolve hash error for FTM-1511-03209 artifact

1.4.0 - 2025-05-30

The following gives an overview of the changes compared to the previous release. This list is not complete, many more internal or minor changes were made, but we tried to only list those changes which we think might affect some users directly.

Algebraic Geometry

  • #4452 Add graph_curve(::Graph)

Combinatorics

  • #4746 Import Multipartition functionality from JuLie
  • #4735 Add iterator for combinations
  • #4663 Add labelings for graphs
  • #3928 Add partially ordered sets
  • #3928 Add indegree and outdegree for graphs

Commutative Algebra

  • #4890 Restrict is_global, is_local to total monomial orderings, add is_(global|local)_block
  • #4850 Add quo for LaurentMPolyWrapRing
  • #4810 Fix tensor_product for SubquoModules
  • #4765 New wrapper for Singular triangular decompositions
  • #4706 Improve comparison of morphisms of modules
  • #4683 Add hint for eliminate using a proper subring
  • #4626 Allow sorting w.r.t. monomial orderings / module orderings

F-Theory Tools

  • #4876 Rename global_gauge_quotients to global_gauge_group_quotient
  • #4869 Update QSM Artifact
  • #4844 Improve printing of G4-flux and families thereof
  • #4844 Bug fix in computing smallest containing flux family for a given individual G4-flux
  • #4844 Update .mrdi-files (artifact) for model 1511.03209
  • #4779 Add exceptional classes and indices
  • #4728 Include 1/2 c2 in identification of flux families
  • #4711 Add convenience constructors for flux instances
  • #4694 Rename is_vertical to passes_transversality_checks and execute related checks

Groups

  • #4921 Allow inducing G-sets along group homomorphisms
  • #4888 Document the relation between "abelian invariants" and "elementary divisors"
  • #4839 Add accessors group and subgroup for SubgroupTransversal
  • #4821 Export/document character_table_complex_reflection_group
  • #4771 Use Set for GSet block systems
  • #4698 Add rank and torsion_free_rank methods for permutation groups, pc groups, free groups
  • #4692 Add GSet methods for blocks and related functions
  • #4661 Add dicyclic_group, is_dicyclic_group and have quaternion_group and is_quaternion_group be aliases of those
  • #4659 Implement transitivity and rank_action for G-sets
  • #4628 Add local Schur indices for a character (Unger's algorithm)
  • #4609 Generalize G-sets to Weyl groups

Lie Theory

  • #4878 Fix symmetric_power of a dim 0 module
  • #4807 Change default ordering in universal_enveloping_algebra to be admissible
  • #4789 Add highest_root(R::RootSystem) for convenience
  • #4729 Experimental: Add support for reducible types in isomorphism(PermGroup, ::WeylGroup)
  • #4687 Experimental: Add braid moves for words in Weyl groups
  • #4641 Experimental: Add irreducible_factors and inner_direct_product for Weyl groups

Number Theory

  • #4905 Fix pc_group_with_isomorphism(::FinGenAbGroup)
  • #4903 Fix irreducibility test for AbsSimpleNumFieldOrderElem
  • #4879 Add is_perfect for algebraic closures of finite fields
  • #4837 Fix maximal_order for NfNSGen
  • #4740 Add degree_of_character_field

Tropical Geometry

  • #4838 Fix tropical_variety_zerodimensional
  • #4781 Add roots for tropical polynomials
  • #4703 Add tropical prevarieties generated by intersecting tropical hypersurfaces
  • #4697 Remove broken tropical Groebner basis shortcut for binomial ideals
  • #4447 Add positive_tropical_variety
  • #4445 Add tropical linear spaces from graphs
  • #4061 Overhaul tropical varieties, add various new options

Changes related to serializing data in the MRDI file format

  • #4331 Unify type encoding for similar types
  • #4162 Cleaner handling of type parameter serialization. This update forces entries of container types to share the same output of Oscar.type_params when serializing. Deserialization speed improvements.

New features or extended functionality

  • #4797 Add experimental support for wreath Macdonald polynomials

Only changes experimental parts of OSCAR

  • #4899 IntersectionTheory: Rename abstract_projective_bundle -> projective_bundle and abstract_flag_bundle -> flag_bundle
  • #4845 GroebnerWalk: Remove perturbed walk
  • #4780 Oscar Worker Pool and parallel functions functionality such as pmap.
  • #4772 Intersection theory: Introduce Gromov-Witten invariants
  • #4769 Intersection theory: extend documentation on Bott formula
  • #4764 Intersection Theory: Kontsevich spaces
  • #4100 Injective and irreducible resolutions of Q-graded modules
  • #2183 Add basics for quantum analogs

Improvements or additions to documentation

  • #4758 Collapse docstrings in documentation to allow for easier navigation

Changes related to the package AbstractAlgebra

  • #4894 Bump AbstractAlgebra to v0.45

Changes related to the package AlgebraicSolving

  • #4894 Bump AlgebraicSolving to v0.9.0

Changes related to the package Hecke

  • #4894 Bump Hecke to v0.36

Changes related to the package Nemo

  • #4894 Bump Nemo to v0.50

Changes related to the package Polymake

  • #4894 Bump Polymake.jl to v0.12

Changes related to the package Singular

  • #4613 Optimize conversions from/to Singular

1.3.1 - 2025-03-14

The following gives an overview of the changes compared to the previous release. This list is not complete, many more internal or minor changes were made, but we tried to only list those changes which we think might affect some users directly.

Lie Theory

  • #4676 Fix bracket for LieSubalgebras (the return value had the wrong type)
  • #4695 Fix chevalley_basis (sometimes returning wrong results)
  • #4695 Add change_base_ring(::Field, ::LieAlgebra)
  • #4695 Add structure_constant_table(::LieAlgebra, basis)

Polyhedral Geometry

  • #4690 SubdivisionOfPoints: reject duplicate points

Other fixed bugs

  • #4696 Restore Oscar<->Singular conversion for multivariate rational function fields

Improvements or additions to documentation

  • #4701 Include linear solving doc page in the Oscar docs

1.3.0 - 2025-02-28

The following gives an overview of the changes compared to the previous release. This list is not complete, many more internal or minor changes were made, but we tried to only list those changes which we think might affect some users directly.

Highlights

  • #4399 Graduate Weyl groups and root systems from experimental to officially supported
  • #4294 Graduate elliptic surfaces from experimental

Renamings

  • #4526 Rename blowup and blow_up_points to blow_up and blow_up_points, and other intersection theory changes
  • #4433 Rename new_ray to exceptional_ray
  • #4304 Change hom to map in in intersection theory
  • #4302 Rename acting_domain to acting_group and some improvements for group cosets
  • #4278 Rename minimal_generating_set for groups to minimal_size_generating_set

Algebraic Geometry

  • #4615 Speed up computations for EllipticSurface by reduction to positive characteristic.
  • #4560 Add a database of Enriques surfaces
  • #4540 Support for computing automorphism groups of Enriques surfaces
  • #4534 Add stabilizer_in_orthogonal_group to compute stabilisers of timelike vectors
  • #4485 Make saturation for principal ideals faster by delegating to remove
  • #4393 Introduce -inf as potential output for the dimension of an ideal
  • #4352 Add documentation for coherent sheaves
  • #4345 Add a prototype for a moving lemma in concrete intersection theory
  • #4327 Add Eagon-Northcott complexes
  • #4272 Add Hasse-Schmidt derivatives
  • #4256 Print Betti tables more nicely
  • #4183 Add tweaks for enabling a 2-neighbor-step in characteristic 0

Combinatorics

  • #4633 Fix vertices(G) to return all vertices, including isolated ones
  • #4499 Add is_bipartite(::Graph)
  • #4459 Make vertex labels in graph visualization start at 1
  • #4450 Add in(::Int, ::Edge), signed_incidence_matrix(::Graph{Undirected}), connectivity(::Graph{Undirected})
  • #4441 Fix degree(::Graph) documentation
  • #4299 Fix leading zero bug in matroid_hex
  • #4270 Fix BoundError in weights(hook_lengths(...))

Commutative Algebra

  • #4601 Fix Krull dimension of polynomial rings over number fields
  • #4596 Support computing Gröbner basis for lattice ideals using 4ti2, and improve eliminate to avoid recomputing a Gröbner basis
  • #4497 Allow variables of same positive degree in monomials_of_degree
  • #4492 Add links to commutative algebra tutorials
  • #4488 Overhaul preprocessing for radical, primary_decomposition, and friends over number fields
  • #4468 Graduate present_finite_extension_ring from experimental to supported (and fix a bug in it)
  • #4456 Generalize monomials_of_degree to allow graded rings with grading group Z
  • #4400 Speed up evaluation of maps of MPolyRings which take variables to variables
  • #4379 Fix bug in comparison function in module orderings
  • #4346 Fix characteristic method for localized rings
  • #4248 Add Cartan eilenberg resolutions of complexes
  • #4235 Add monomial_basis for MPolyQuoLocRing

F-Theory Tools

  • #4636 Add attribute for more detailed info on tunable sections
  • #4597 Update tune function and related definitions/functions
  • #4562 Align names of properties and attributes among families of and individual G4-fluxes
  • #4503 Fix and extend strict_transform
  • #4500 Extend support for G4-flux families and individual G4-fluxes
  • #4491 Save updated intersection numbers after costly computation
  • #4487 Compute D3-tadpole for family of G4-fluxes
  • #4466 Introduce families of G4-fluxes
  • #4446 Add support for all vertical, well-quantized G4s that do not break the non-abelian gauge group
  • #4423 Use Zenodo data as artifact
  • #4422 Print known properties of G4-fluxes
  • #4343 Extend support for zero section and zero section class
  • #4286 Support computation of all well-quantized and vertical G4-fluxes
  • #4268 Implement ambient space models for G4-flux candidates
  • #4243 Support computation of basis of H^(2,2) and H^4

Groups

  • #4608 Add is_primitive for $G$-sets
  • #4594 Add $G$-set docstrings to main documentation
  • #4582 Cache parents for permutations in perm, cperm and @perm
  • #4490 Make the @perm macro more powerful by supporting more argument variants and increased consistency
  • #4469 Add dedicated stabilizer methods for matrix groups for improved performance
  • #4465 Add orbit_representatives_and_stabilizers for 0-dim. subspaces
  • #4416 Add is_atlas_character_table
  • #4411 Support character_field for a vector of characters
  • #4409 Add the library of groups with at most 14 conjugacy classes
  • #4401 Add isomorphic_subgroups
  • #4378 Fix wrong result of isomorphism(FPGroup, G, on_gens = true) for trivial G with more than 0 generators
  • #4361 Speed up cperm
  • #4359 Add cycle_length for PermGroupElem
  • #4357 Improve isomorphism from pc groups and fp groups to FinGenAbGroup
  • #4337 Speed up orbit_representatives_and_stabilizers for not too large examples
  • #4319 Make isomorphism(PcGroup, A) for infinite abelian A work
  • #4311 Add action on matrices in row reduced echelon form
  • #4307 Speed up orbits of permutation groups on integers
  • #4298 Add is_left and is_right for SubgroupTransversal
  • #4281 Speed up stabilizer methods for the natural action of permutation groups, and the actions on sets, tuples, and vectors of pos. integers
  • #4265 Add stabilizer for $G$-sets with action on Set, Vector or Tuple objects
  • #4259 Add argument check to $G$-set constructor
  • #4202 Add letters function for PcGroupElem

Lie Theory

  • #4676 Fix bracket for LieSubalgebras (it sometimes returned the wrong result)
  • #4621 Add (dual_)geometric_representation(::WeylGroup), is_finite_order(::WeylGroupElem) and order(::WeylGroupElem)
  • #4589 Implement syllables, letters and their inverse for WeylGroup and WeylGroupElem
  • #4536 Add weyl_group(::Matrix{<:IntegerUnion}) convenience constructor
  • #4519 Add map_word and parabolic_subgroup for Weyl groups
  • #4478 Add isomorphism(PermGroup, ::WeylGroup) for missing irreducible types
  • #4414 Add WeightLattice serialization
  • #4374 Change Weyl group action to a right action
  • #4339 Add demazure_character
  • #4264 Add isomorphism(::Type{PermGroup}, ::WeylGroup) for some cases

Number Theory

  • #4585 Improve usability of abelian_closure(QQ), e.g. for elements representing real values allow comparisons and conversion to Float64
  • #4429 Fix R() when R is a BoundedRing
  • #4424 Fix is_irreducible for number field order elements
  • #4396 Fix regression in galois_group
  • #4370 Experimental: Add Clifford algebras and Clifford orders

Polyhedral Geometry

  • #4482 Add integer_hull and gomory_chvatal_closure
  • #4454 Fix blowups along rays and singular cones
  • #4451 Add tutte_lifting(::Graph)
  • #4392 Allow checking containment of points in hyperplanes and halfspaces via in
  • #4260 Experimental: Add algebraic shifting

Toric Geometry

  • #4529 Add lattice of one-parameter subgroups
  • #4509 Implement equality for toric varieties
  • #4508 Change diagonal to barycenter in toric blowup docs
  • #4505 Simplify code for toric blowup along a cone
  • #4484 Improve performance of strict transform under toric blowups
  • #4437 Support blow up along minimal supercone coordinates
  • #4266 Serialize cohomology classes
  • #4154 Support computing strict transform of an ideal in Cox ring

Improvements or additions to documentation

  • #4549 Fix experimental not showing up in search
  • #4480 Add more links to tutorials
  • #4458 Add weights method for graded rings and improve some documentation

Changes related to the package AbstractAlgebra

  • #4405 Update AbstractAlgebra to 0.44.0

Changes related to the package GAP

  • #4421 Update GAP.jl to 0.13

Changes related to the package Hecke

  • #4405 Update Hecke to 0.35.0

Changes related to the package Nemo

  • #4645 Update Nemo to 0.49

Changes related to the package Singular

  • #4548 Update Singular.jl to 0.25.0

[1.2.2] - 2024-12-13

Fixed