Oscar.jl - Browse /v1.5.0 at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
README.md	2025-09-11	13.0 kB	0
v1.5.0 source code.tar.gz	2025-09-11	3.6 MB	0
v1.5.0 source code.zip	2025-09-11	4.7 MB	0
Totals: 3 Items		8.3 MB	0

Oscar v1.5.0

Diff since v1.4.1

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

#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

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

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

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

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

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

#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)

Source: README.md, updated 2025-09-11

Oscar.jl Files

A comprehensive open source computer algebra system for computations