Oscar.jl - Browse /v1.4.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-05-30	9.1 kB	0
v1.4.0 source code.tar.gz	2025-05-30	3.5 MB	0
v1.4.0 source code.zip	2025-05-30	4.7 MB	0
Totals: 3 Items		8.1 MB	0

Oscar v1.4.0

Diff since v1.3.0

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

#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

#4894 Bump AbstractAlgebra to v0.45

#4894 Bump AlgebraicSolving to v0.9.0

#4894 Bump Hecke to v0.36

#4894 Bump Nemo to v0.50

#4894 Bump Polymake.jl to v0.12

#4613 Optimize conversions from/to Singular

Source: README.md, updated 2025-05-30

Oscar.jl Files

A comprehensive open source computer algebra system for computations