Oscar.jl 0.6.0 released
13 Aug 2021Today Oscar.jl 0.6.0 has been released.
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 oddd
and evenq
(#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)