v0.6.0

Oscar v0.6.0

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

New Contributors

• @8d1h made their first contribution in #519

Full Changelog: v0.5.2...v0.6.0