Skip to content

Update changelog #5544

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

Update changelog #5544

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
137 changes: 137 additions & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,143 @@ All notable changes to this project will be documented in this file.
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this project
tries to adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).

## [1.6.0](https://github.com/oscar-system/Oscar.jl/releases/tag/v1.6.0) - 2025-11-12

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

- [#5403](https://github.com/oscar-system/Oscar.jl/pull/5403) Add `factoring_standard_basis` command which uses `facstd` from `Singular.jl`

### Combinatorics

#### New features or extended functionality

- [#5477](https://github.com/oscar-system/Oscar.jl/pull/5477) Add `multicombinations` to Oscar

#### Improvements or additions to documentation

- [#5431](https://github.com/oscar-system/Oscar.jl/pull/5431) Improve Combinatorics documentation
- [#5446](https://github.com/oscar-system/Oscar.jl/pull/5446) Further improvements to documentation for `combinations`

### Groups

#### New features or extended functionality

- [#5250](https://github.com/oscar-system/Oscar.jl/pull/5250) Add `fixed_points` for `PermGroup` and `PermGroupElem`
- [#5267](https://github.com/oscar-system/Oscar.jl/pull/5267) Add `order_bound` keyword argument to `subgroup_classes`
- [#5270](https://github.com/oscar-system/Oscar.jl/pull/5270) Add an iterator of subspaces of finite vector spaces
- [#5288](https://github.com/oscar-system/Oscar.jl/pull/5288) Add `p_rump` for `GAPGroup` and extend `torsion_subgroup` for `GAPGroup` and `WeylGroup`
- [#5453](https://github.com/oscar-system/Oscar.jl/pull/5453) Add `character_degrees` for a given group or character table, or for given invariants of a finite abelian group and finite field
- [#5532](https://github.com/oscar-system/Oscar.jl/pull/5532) add a constructive membership test for double cosets

### Lie Theory

#### Only changes experimental parts of OSCAR

- [#5290](https://github.com/oscar-system/Oscar.jl/pull/5290) Add `basis_coordinate_ring_kodaira_demazure`
- [#5304](https://github.com/oscar-system/Oscar.jl/pull/5304) Fix `basis_lie_demazure` which wouldn't finish for some inputs

### Number Theory

#### New features or extended functionality

- [#5339](https://github.com/oscar-system/Oscar.jl/pull/5339) Methods for group actions on `ZZLat`

### Polyhedral Geometry

#### New features or extended functionality

- [#5372](https://github.com/oscar-system/Oscar.jl/pull/5372) Add `castelnuovo_excess` and `is_castelnuovo` for lattice polytopes
- [#5384](https://github.com/oscar-system/Oscar.jl/pull/5384) polyhedral geometry: doc enhancements and further functions inherited from polymake

### Toric Geometry

#### New features or extended functionality

- [#5032](https://github.com/oscar-system/Oscar.jl/pull/5032) Improve vector of minimal exponents method for cohomology computations

### Tropical Geometry

### Changes related to the package GAP

### Changes related to the package Hecke

### Changes related to the package Singular
Comment on lines +68 to +74
Copy link
Member

@lgoettgens lgoettgens Nov 12, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why are there empty headers here without any content?

Copy link
Member

@aaruni96 aaruni96 Nov 12, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This happens when a PR was tagged with a topic label, but not with a type label. The script finds non zero number of things under tropical geometry, so generates a heading for it. But it never finds a type label, so, neither the secondary heading, nor the PR itself is printed here. They end up in the TODO section. IMO, leaving it like this might be fine, so, we know where to (manually) insert something.

Copy link
Member

@fingolfin fingolfin Nov 13, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd say it's better then to move these things with "missing labels into the right topic section, but in subsection #### TODO: missing type label or so


### Other changes

#### Changes related to serializing data in the MRDI file format

- [#5137](https://github.com/oscar-system/Oscar.jl/pull/5137) Adds OscarDB to experimental

#### Only changes experimental parts of OSCAR

- [#4798](https://github.com/oscar-system/Oscar.jl/pull/4798) Multigraded Implicitization implementation
- [#5329](https://github.com/oscar-system/Oscar.jl/pull/5329) Add documentation for action polynomial rings

#### Improvements or additions to documentation

- [#5314](https://github.com/oscar-system/Oscar.jl/pull/5314) Improve documentation of fields

### **TODO** release notes: to be added

If there are any PRs listed below, check their title and labels.
When done, change their label to "release notes: use title".

- [#5295](https://github.com/oscar-system/Oscar.jl/pull/5295) Reduce yet more randomness in FTheoryTools
- [#5512](https://github.com/oscar-system/Oscar.jl/pull/5512) Toric line bundles

### **TODO** insufficient labels for automatic classification

The following PRs only have a topic label assigned to them, not a PR type. Either assign a type label to them (e.g., `enhancement`), or manually move them to the general section of the topic section in the changelog.
Copy link
Member

@lgoettgens lgoettgens Nov 12, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can you instead put the into their respective general section, but with a todo note each? I think it is easier to just manually remove todo notes than moving things around in this file.
I am asking because I see a bunch of things here, that don't fit into any subsection, e.g. updates of dependencies

Copy link
Member

@aaruni96 aaruni96 Nov 13, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Day's event have started. I shall look at it again today at night.


#### Algebraic Geometry

- [#5265](https://github.com/oscar-system/Oscar.jl/pull/5265) Add `f4ncgb` algorithm for non-commutative groebner basis computation

#### Combinatorics

- [#5235](https://github.com/oscar-system/Oscar.jl/pull/5235) Construct `PhylogeneticTree` from graph
- [#5485](https://github.com/oscar-system/Oscar.jl/pull/5485) Fix spelling of `is_acyclic` for directed graphs. Deprecate `is_acylic`.

#### Number Theory

- [#5251](https://github.com/oscar-system/Oscar.jl/pull/5251) Allow `discriminant_annihilator` as input for `enumerate_classes_of_lattices_with_isometry`
- [#5457](https://github.com/oscar-system/Oscar.jl/pull/5457) Allow to specify several characteristic polynomials in lattice with isometry enumeration

#### Polyhedral Geometry

- [#4444](https://github.com/oscar-system/Oscar.jl/pull/4444) add transformations for polyhedral fans and complexes

#### Tropical Geometry

- [#4001](https://github.com/oscar-system/Oscar.jl/pull/4001) Tropical polyhedra: Types and basic properties

#### Changes related to the package GAP

- [#5374](https://github.com/oscar-system/Oscar.jl/pull/5374) Update GAP.jl to 0.16, i.e. GAP to 4.15.1

#### Changes related to the package Hecke

- [#5533](https://github.com/oscar-system/Oscar.jl/pull/5533) Update Hecke to v0.39

#### Changes related to the package Singular

- [#5489](https://github.com/oscar-system/Oscar.jl/pull/5489) Update to Singular.jl 0.27


### **TODO** Uncategorized PR

If there are any PRs listed below, either apply the same steps
as above, or change their label to "release notes: not needed".

- [#5447](https://github.com/oscar-system/Oscar.jl/pull/5447) Hotfix Oscar.build()

## [1.5.0](https://github.com/oscar-system/Oscar.jl/releases/tag/v1.5.0) - 2025-09-11

The following gives an overview of the changes compared to the previous release. This list is not
Expand Down