Oscar.jl 0.6.0 released

13 Aug 2021

Today Oscar.jl 0.6.0 has been released.

Diff since v0.5.2

Closed issues:

Groups: Replace adhoc linear algebra code (#407)
iszero duplicate (#417)
Absolute factorization docstring example failing (#420)
Documentation broken (#422)
OSCAR website should link to docs (#443)
Don’t forget to fix singular_ring(::NmodRing) (#444)
Random error in FreeModules-graded-test.jl (#451)
Introduce (resp. import from Hecke) coefficient_ring for our polynomial rings (including decorated) (#454)
Ideal membership (#485)
inexplicable behaviour of QabField (#491)
bug in hilbert_polynomial (#505)
docs: collapse all top-level entries in the navigation by default (#512)
docs: ordering of top-level entries (#516)
Missing functionality for quotients of graded rings (#526)
Kroki (#529)
Determinants of matrices with polynomial entries (#545)
problem with building the Oscar documentation (#547)
Printing roots of unity (#552)
segmentation fault primary decomposition over number field (#557)
No singular_ring for finite fields (#566)
geometric_genus(C::ProjectivePlaneCurve{S}) is wildy type unstable (#572)
Importing Oscar breaks display of Vectors in Pluto notebooks (#597)
docs: disable doctests by default, allow enabling (#604)
galois_group problems (#613)

Merged pull requests:

Binomial ideals (#401) (@CarloSircana)
Projective elliptic curves and points on it (#411) (@delphinepol)
Bump version to 0.5.3-DEV (#415) (@thofma)
Don’t run doctest of upstream packages (#416) (@thofma)
add mpoly-parametric file for Q(t)[x] (#418) (@tthsqe12)
Remove duplicate method for iszero(I::MPolyIdeal) (#419) (@fingolfin)
Nestings (#421) (@tthsqe12)
Fix documentation build (+ tweaks) (#423) (@thofma)
Mat elim (#425) (@GDeFranceschi)
homogenous -> homogeneous (#428) (@fingolfin)
access to GAP’s “tester” and “setter” functions (#431) (@ThomasBreuer)
small changes in Docu (#433) (@wdecker)
Remove the module name from the docstring (#435) (@thofma)
Bugfix in “noether_normalization” (#436) (@raulepure)
various changes in docu (#438) (@wdecker)
small change suggest by @rfourquet (#439) (@wdecker)
Fix binomial primary decomposition (#440) (@CarloSircana)
Export MPolyQuoElem for better printing (#441) (@thofma)
Bump dependencies (#442) (@thofma)
added labelled_matrix_formatted (#445) (@ThomasBreuer)
Decorate MPolyElem_dec with another type parameter (#446) (@thofma)
Begin new structure docu CA (#447) (@wdecker)
Normal form (#448) (@ederc)
Improvements on isunital function (#450) (@CarloSircana)
Removed homogenization.jl (#452) (@delphinepol)
simple tests for ideals (#453) (@wdecker)
Groebner fixes (#455) (@ederc)
Fix #451 (#456) (@thofma)
correction + addition (#457) (@wdecker)
include binomial_ideals.jl (#458) (@CarloSircana)
Fix for binomial primary decomposition (#459) (@CarloSircana)
add upper_bound_theorem in polytopes (#460) (@OguzhanYueruek)
add interface, protoptype, to Singular fancy orderings (#462) (@fieker)
Extend PolynomialRing constructors (#463) (@thofma)
Wolfram (#464) (@wdecker)
Wolfram2 (#465) (@wdecker)
Adapted genus for curves to recent changes (#466) (@delphinepol)
Reorder include statements (#467) (@thofma)
Polytopes: Initial documentation (#468) (@lkastner)
fix some nesting bugs (#469) (@tthsqe12)
Primality proving (#470) (@delphinepol)
more on quotient rings, various, docu (#471) (@wdecker)
add absolute_primary_decomposition over QQ (#472) (@tthsqe12)
Restructured docu (#473) (@wdecker)
Clarify groebner assure (#474) (@tthsqe12)
Two trivial changes (#476) (@fingolfin)
Added the available docstrings for Groups (#477) (@ThomasBreuer)
start docu binomial ideals (#478) (@wdecker)
Fix binomial ideals (#479) (@CarloSircana)
Update Algebra Homomorphisms (#481) (@raulepure)
split groups.md into several files (#482) (@ThomasBreuer)
Bump dependencies (#486) (@thofma)
fix coordinates to return graded polys (#487) (@fieker)
fixes leading_ideal stuff (see issue #485) (#489) (@ederc)
deepcopy bug fixes (#490) (@tthsqe12)
Remove illegal == for QabField (#492) (@thofma)
add interface to Conway polys in flint (#493) (@fieker)
small changes affine algebras and Docu (#494) (@wdecker)
added an index to the Oscar documentation (#495) (@ThomasBreuer)
Use DocumenterCitations >= 0.2.5 for docs (#496) (@fingolfin)
changed/fixed references (#498) (@ThomasBreuer)
started docu invariant theory (#500) (@wdecker)
Add docs/README.md (#501) (@fingolfin)
try to automate and improve the doc building. WIP (#502) (@fieker)
Some minor doc tweaks (#503) (@fingolfin)
Basic functionality for quotient rings (#506) (@ederc)
corrected hilbert_polynomial (#507) (@wdecker)
Wolfram (#509) (@wdecker)
First attempt for a documentation for the PlaneCurveModule (#510) (@delphinepol)
Use @cite in two more places (#511) (@fingolfin)
basic function field support (#519) (@8d1h)
docs: reorder top-level entries (#521) (@fingolfin)
docs: collapse level 1 in the navbar (#522) (@fingolfin)
Refactor code for building the documentation (#524) (@fingolfin)
Small fix for AlgHom (#527) (@raulepure)
Fix nmod ring (#528) (@tthsqe12)
mostly cosmetics (#530) (@wdecker)
Fix return type of homogenous_components (#531) (@thofma)
Fix coercion into quotient rings (#532) (@thofma)
Fix evaluation for graded polynomials (#533) (@thofma)
Fix promotion (#534) (@thofma)
Rename function to obtain underlying abelian group (#535) (@thofma)
some doctest examples (#537) (@wdecker)
Towards char 0 matrix groups in Oscar (#538) (@joschmitt)
Make degree of zero elements throw (#543) (@thofma)
fix divides for zero dividend (#544) (@tthsqe12)
add “Introduction” sections to the documentation (#549) (@ThomasBreuer)
docs: try harder to use the same module instances (#550) (@fingolfin)
replaced more bib entries (#551) (@ThomasBreuer)
Bump dependencies, ad some ad hoc methods and fix promote rules (#555) (@thofma)
example absolute primary decomposition (#556) (@wdecker)
Adjust AbstractAlgebra doc refs after recent rearrangement. (#562) (@wbhart)
proper singular_ring(::AnticNumberField) (#563) (@tthsqe12)
Minor changes to Plane Curve and Curve Divisor (#565) (@delphinepol)
add singular_ring(::FqNmodFiniteField) (#567) (@tthsqe12)
fix printing of QabElem (#568) (@tthsqe12)
fix ideal printing (#570) (@tthsqe12)
Clean up for abelian closure (#571) (@thofma)
Fixed problem of stability of types for genus of curves (issue #572) (#579) (@delphinepol)
Fix typo in __init_JuliaData, simplify code (#580) (@fingolfin)
introductary text (#581) (@wdecker)
WIP: next step for documentation of groups (#583) (@ThomasBreuer)
First interface for invariant theory of finite groups (#584) (@joschmitt)
Upgrade to GAP.jl 0.6 (#586) (@fingolfin)
Run CI tests with Julia 1.7 (#587) (@fingolfin)
Fix AA version in the documentation (#593) (@thofma)
changed the rand methods for groups and cosets … (#598) (@ThomasBreuer)
some more docu for invariant theory (#599) (@wdecker)
Bump dependencies (#600) (@thofma)
fixed omega_group(d, q) for odd d and even q (#601) (@ThomasBreuer)
fix doctests in invariants (Array->Vector) (#602) (@benlorenz)
docs: rework docs-project, allow doctest option (#606) (@benlorenz)
more details on set-up in docu of invariant theory (#607) (@wdecker)
Feature/polytopes/catalan_solid (#608) (@OguzhanYueruek)
Improve isomorphic_group_over_finite_field (#609) (@fingolfin)
Polytopes: Add SubdivisionOfPoints object (#610) (@lkastner)
Docs/polytopes (#611) (@tbrysiewicz)
Update Singular.jl to 0.6.0 (#612) (@tthsqe12)
CI: enable color in docu workflow (#614) (@fingolfin)
Enh/polytopes/normal cone (#616) (@lkastner)
Polytopes: Further improve docs (#619) (@lkastner)
Set version to 0.6 (#620) (@thofma)

What’s Changed

Binomial ideals by @CarloSircana in https://github.com/oscar-system/Oscar.jl/pull/401
Bump version to 0.5.3-DEV by @thofma in https://github.com/oscar-system/Oscar.jl/pull/415
Don’t run doctest of upstream packages by @thofma in https://github.com/oscar-system/Oscar.jl/pull/416
Projective elliptic curves and points on it by @delphinepol in https://github.com/oscar-system/Oscar.jl/pull/411
add mpoly-parametric file for Q(t)[x] by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/418
Remove duplicate method for iszero(I::MPolyIdeal) by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/419
Fix documentation build (+ tweaks) by @thofma in https://github.com/oscar-system/Oscar.jl/pull/423
Nestings by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/421
small changes in Docu by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/433
Remove the module name from the docstring by @thofma in https://github.com/oscar-system/Oscar.jl/pull/435
Bugfix in “noether_normalization” by @raulepure in https://github.com/oscar-system/Oscar.jl/pull/436
various changes in docu by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/438
Fix binomial primary decomposition by @CarloSircana in https://github.com/oscar-system/Oscar.jl/pull/440
small change suggest by @rfourquet by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/439
Export MPolyQuoElem for better printing by @thofma in https://github.com/oscar-system/Oscar.jl/pull/441
Bump dependencies by @thofma in https://github.com/oscar-system/Oscar.jl/pull/442
Begin new structure docu CA by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/447
Normal form by @ederc in https://github.com/oscar-system/Oscar.jl/pull/448
Decorate MPolyElem_dec with another type paramter by @thofma in https://github.com/oscar-system/Oscar.jl/pull/446
simple tests for ideals by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/453
Removed homogenization.jl by @delphinepol in https://github.com/oscar-system/Oscar.jl/pull/452
Improvements on isunital function by @CarloSircana in https://github.com/oscar-system/Oscar.jl/pull/450
Fix #451 by @thofma in https://github.com/oscar-system/Oscar.jl/pull/456
include binomial_ideals.jl by @CarloSircana in https://github.com/oscar-system/Oscar.jl/pull/458
correction + addition by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/457
add upper_bound_theorem in polytopes by @OguzhanYueruek in https://github.com/oscar-system/Oscar.jl/pull/460
Groebner fixes by @ederc in https://github.com/oscar-system/Oscar.jl/pull/455
Extend PolynomialRing constructors by @thofma in https://github.com/oscar-system/Oscar.jl/pull/463
Wolfram by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/464
Reorder include statements by @thofma in https://github.com/oscar-system/Oscar.jl/pull/467
Wolfram2 by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/465
more on quotient rings, various, docu by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/471
fix some nesting bugs by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/469
add interface, protoptype, to Singular fancy orderings by @fieker in https://github.com/oscar-system/Oscar.jl/pull/462
add absolute_primary_decomposition over QQ by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/472
Restructured docu by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/473
Clarify groebner assure by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/474
Two trivial changes by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/476
Fix for binomial primary decomposition by @CarloSircana in https://github.com/oscar-system/Oscar.jl/pull/459
start docu binomial ideals by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/478
Fix binomial ideals by @CarloSircana in https://github.com/oscar-system/Oscar.jl/pull/479
homogenous -> homogeneous by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/428
Added the available docstrings for Groups by @ThomasBreuer in https://github.com/oscar-system/Oscar.jl/pull/477
Mat elim by @GDeFranceschi in https://github.com/oscar-system/Oscar.jl/pull/425
added labelled_matrix_formatted by @ThomasBreuer in https://github.com/oscar-system/Oscar.jl/pull/445
Bump dependencies by @thofma in https://github.com/oscar-system/Oscar.jl/pull/486
fix coordinates to return graded polys by @fieker in https://github.com/oscar-system/Oscar.jl/pull/487
split groups.md into several files by @ThomasBreuer in https://github.com/oscar-system/Oscar.jl/pull/482
fixes leading_ideal stuff (see issue #485) by @ederc in https://github.com/oscar-system/Oscar.jl/pull/489
added an index to the Oscar documentation by @ThomasBreuer in https://github.com/oscar-system/Oscar.jl/pull/495
Use DocumenterCitations >= 0.2.5 for docs by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/496
small changes affine algebras and Docu by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/494
Remove illegal == for QabField by @thofma in https://github.com/oscar-system/Oscar.jl/pull/492
add interface to Conway polys in flint by @fieker in https://github.com/oscar-system/Oscar.jl/pull/493
deepcopy bug fixes by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/490
changed/fixed references by @ThomasBreuer in https://github.com/oscar-system/Oscar.jl/pull/498
Polytopes: Initial documentation by @lkastner in https://github.com/oscar-system/Oscar.jl/pull/468
started docu invariant theory by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/500
Some minor doc tweaks by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/503
corrected hilbert_polynomial by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/507
Basic functionality for quotient rings by @ederc in https://github.com/oscar-system/Oscar.jl/pull/506
try to automate and improve the doc building. WIP by @fieker in https://github.com/oscar-system/Oscar.jl/pull/502
Use @cite in two more places by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/511
Wolfram by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/509
Update Algebra Homomorphisms by @raulepure in https://github.com/oscar-system/Oscar.jl/pull/481
Add docs/README.md by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/501
docs: reorder top-level entries by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/521
docs: collapse level 1 in the navbar by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/522
basic function field support by @8d1h in https://github.com/oscar-system/Oscar.jl/pull/519
Small fix for AlgHom by @raulepure in https://github.com/oscar-system/Oscar.jl/pull/527
mostly cosmetics by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/530
Fix promotion by @thofma in https://github.com/oscar-system/Oscar.jl/pull/534
Fix evaluation for graded polynomials by @thofma in https://github.com/oscar-system/Oscar.jl/pull/533
Fix coercion into quotient rings by @thofma in https://github.com/oscar-system/Oscar.jl/pull/532
Fix return type of homogenous_components by @thofma in https://github.com/oscar-system/Oscar.jl/pull/531
some doctest examples by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/537
Refactor code for building the documentation by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/524
fix divides for zero dividend by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/544
Make degree of zero elements throw by @thofma in https://github.com/oscar-system/Oscar.jl/pull/543
replaced more bib entries by @ThomasBreuer in https://github.com/oscar-system/Oscar.jl/pull/551
Bump dependencies, ad some ad hoc methods and fix promote rules by @thofma in https://github.com/oscar-system/Oscar.jl/pull/555
docs: try harder to use the same module instances by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/550
example absolut primary decomposition by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/556
add “Introduction” sections to the documentation by @ThomasBreuer in https://github.com/oscar-system/Oscar.jl/pull/549
proper singular_ring(::AnticNumberField) by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/563
Fix nmod ring by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/528
add singular_ring(::FqNmodFiniteField) by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/567
Rename function to obtain underlying abelian group by @thofma in https://github.com/oscar-system/Oscar.jl/pull/535
fix prining of QabElem by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/568
Adapted genus for curves to recent changes by @delphinepol in https://github.com/oscar-system/Oscar.jl/pull/466
fix ideal printing by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/570
Primality proving by @delphinepol in https://github.com/oscar-system/Oscar.jl/pull/470
Minor changes to Plane Curve and Curve Divisor by @delphinepol in https://github.com/oscar-system/Oscar.jl/pull/565
Clean up for abelian closure by @thofma in https://github.com/oscar-system/Oscar.jl/pull/571
Adjust AbstractAlgebra doc refs after recent rearrangement. by @wbhart in https://github.com/oscar-system/Oscar.jl/pull/562
First attempt for a documentation for the PlaneCurveModule by @delphinepol in https://github.com/oscar-system/Oscar.jl/pull/510
Fixed problem of stability of types for genus of curves (issue #572) by @delphinepol in https://github.com/oscar-system/Oscar.jl/pull/579
Fix typo in __init_JuliaData, simplify code by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/580
introductary text by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/581
First interface for invariant theory of finite groups by @joschmitt in https://github.com/oscar-system/Oscar.jl/pull/584
Upgrade to GAP.jl 0.6 by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/586
Run CI tests with Julia 1.7 by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/587
Towards char 0 matrix groups in Oscar by @joschmitt in https://github.com/oscar-system/Oscar.jl/pull/538
Fix AA version in the documentation by @thofma in https://github.com/oscar-system/Oscar.jl/pull/593
access to GAP’s “tester” and “setter” functions by @ThomasBreuer in https://github.com/oscar-system/Oscar.jl/pull/431
changed the rand methods for groups and cosets … by @ThomasBreuer in https://github.com/oscar-system/Oscar.jl/pull/598
some more docu for invariant theory by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/599
Bump dependencies by @thofma in https://github.com/oscar-system/Oscar.jl/pull/600
fix doctests in invariants (Array->Vector) by @benlorenz in https://github.com/oscar-system/Oscar.jl/pull/602
docs: rework docs-project, allow doctest option by @benlorenz in https://github.com/oscar-system/Oscar.jl/pull/606
more details on set-up in docu of invariant theory by @wdecker in https://github.com/oscar-system/Oscar.jl/pull/607
Improve isomorphic_group_over_finite_field by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/609
fixed omega_group(d, q) for odd d and even q by @ThomasBreuer in https://github.com/oscar-system/Oscar.jl/pull/601
Update Singular.jl to 0.6.0 by @tthsqe12 in https://github.com/oscar-system/Oscar.jl/pull/612
Docs/polytopes by @tbrysiewicz in https://github.com/oscar-system/Oscar.jl/pull/611
Polytopes: Add SubdivisionOfPoints object by @lkastner in https://github.com/oscar-system/Oscar.jl/pull/610
Feature/polytopes/catalan_solid by @OguzhanYueruek in https://github.com/oscar-system/Oscar.jl/pull/608
Enh/polytopes/normal cone by @lkastner in https://github.com/oscar-system/Oscar.jl/pull/616
WIP: next step for documentation of groups by @ThomasBreuer in https://github.com/oscar-system/Oscar.jl/pull/583
Polytopes: Further improve docs by @lkastner in https://github.com/oscar-system/Oscar.jl/pull/619
CI: enable color in docu workflow by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/614
Set version to 0.6 by @thofma in https://github.com/oscar-system/Oscar.jl/pull/620

New Contributors

@8d1h made their first contribution in https://github.com/oscar-system/Oscar.jl/pull/519

Full Changelog: https://github.com/oscar-system/Oscar.jl/compare/v0.5.2…v0.6.0