Oscar.jl 0.6.0 released

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)