v0.5.2

Oscar v0.5.2

Diff since v0.5.1

Closed issues:

• Factoring polynomials over finite fields does not work. (#188)
• Error in factoring polynomials over QQ (#211)
• Make a new release, soon (#234)
• wrong type? (#260)
• ideal in quotient ring (#263)
• BoundsError: attempt to access 0-element Array{GrpAbFinGenElem,1} at index [1] (#270)
• Add a bibliography to our manual(s) (#311)
• Ensure CI also covers our doctests (#323)
• Coercing a vector into a perm group should fail if it is too long (#371)
• direct_product for groups should give the embedding / projection morphisms (#372)
• groebner_basis result is different to std (#397)
• Weird behaviour with all latest masters [maybe Oscar.Integer should be the same as Base.Integer] (#403)

Merged pull requests:

• Oscar matrix (#173) (@GDeFranceschi)
• an experiment in mixing docs... (#209) (@fieker)
• Vect spaces (#244) (@GDeFranceschi)
• Jordan struct (#268) (@GDeFranceschi)
• collected stuff to compute Galois groups of type M_22 (#273) (@fieker)
• Set version to 0.5.2-DEV (#284) (@thofma)
• Add configuration for GitHub Codespaces (#286) (@fingolfin)
• Some cleanup and simplification to polytopes code (#287) (@fingolfin)
• Polytopes: support fmpz_mat, fmpq_mat in convex_hull (#288) (@fingolfin)
• Forms (#290) (@GDeFranceschi)
• Added some functionalities for polynomials using the corresponding Si… (#292) (@delphinepol)
• add normalise(::MPolyQuo) (#293) (@tthsqe12)
• powmod -> powermod. Addresses Nemo # 988 (#294) (@wbhart)
• Small fix in invariant (#295) (@Pi-tree)
• Try to fix resolvent (#297) (@Pi-tree)
• add basic qring ideal arithmetic (#299) (@tthsqe12)
• First version of polyhedral fans (#300) (@lkastner)
• permutations act on fmpz (#302) (@ThomasBreuer)
• add more functions related to primary decomposition (#303) (@tthsqe12)
• some functionality for G-sets (#304) (@ThomasBreuer)
• Small mpoly fixes (#306) (@tthsqe12)
• Transform form (#307) (@GDeFranceschi)
• split mpoly.jl into mpoly-ideal.jl (#308) (@wdecker)
• Refactor mpoly-graded-test.jl (#309) (@thofma)
• final touches (powering and intersect) (#312) (@fieker)
• Added functionalities for ProjCurveDivisor. (#313) (@delphinepol)
• fixes missing docstrings for ideal operations (#314) (@ederc)
• Refactor FreeModules-graded-test.jl, fix #270 (#315) (@thofma)
• Extracting and documenting groebner functionality (#316) (@ederc)
• make documentation examples jldoctests (#317) (@ederc)
• further functionality for ideals (#319) (@fieker)
• fix intersection of multiple ideals (#320) (@tthsqe12)
• Address some issues (#321) (@GDeFranceschi)
• no more end-user docu for internal groebner-related functionality, (#322) (@ederc)
• Don't deploy docs twice in CI, don't deploy locally (#324) (@fingolfin)
• func with monomial orderings (#325) (@fieker)
• docs: use DocumenterCitations (#326) (@rfourquet)
• Radical membership and other functionality (#327) (@fieker)
• Early attempt on an interface for elliptic curves (#328) (@delphinepol)
• converts examples from docu to jldoctests in mpoly-ideals.jl (#329) (@ederc)
• move Hilbert stuff over to Wolfram (#330) (@fieker)
• various additions (#333) (@wdecker)
• base_ring(A), modulus(A) (#334) (@wdecker)
• Fix grade (#335) (@fieker)
• Wolfram (#336) (@wdecker)
• Bump AA/Nemo/Singular version (#337) (@thofma)
• Functionality for Hilbert data of affine algebras. (#338) (@wdecker)
• add normalize_with_delta (#339) (@tthsqe12)
• isfiltrated -> isfiltered (#341) (@fingolfin)
• Build documentation on GitHub hosted runner (#342) (@fingolfin)
• CI: don't cache Julia artifacts (#343) (@fingolfin)
• CI: enable doctests (#344) (@fingolfin)
• Documentation text on Hilbert functions and further improvements on docu (#346) (@wdecker)
• adjusted help texts of Noether normalization and normalization as wel… (#350) (@wdecker)
• New isometry groups (#351) (@GDeFranceschi)
• dded function isnormal + docu (#352) (@wdecker)
• A new try on algebra homomorphisms (#354) (@raulepure)
• Add eltype + tests (#355) (@GDeFranceschi)
• fixed orbits for PermGroup (#357) (@ThomasBreuer)
• Docu for Raul's improvement of algebra homomorphisms (#358) (@wdecker)
• Deprecate coeffs (#359) (@wbhart)
• Fixed problem with missing docstring (#360) (@wdecker)
• Added help text for Hilbert data (#361) (@wdecker)
• some (harmless) things in Galois Group (#362) (@fieker)
• Further functionality for AlgHoms (#363) (@raulepure)
• Fix some doctest issues (#364) (@fingolfin)
• new functionality for Hilbert data, algebra homs (by Raul), and respe… (#365) (@wdecker)
• Replaced x by t in representing Hilbert data (#366) (@wdecker)
• Transform form groups (#368) (@GDeFranceschi)
• Modified conversion of elements related to MPolyQuo (#370) (@raulepure)
• Replace map_coeffs -> map_coefficients. (#375) (@wbhart)
• Updating AlgHom and "subalgebra_membership" (#376) (@raulepure)
• Strat to document functionality on modules (#377) (@wdecker)
• Two issues fixed. (#378) (@GDeFranceschi)
• Improved docu for ideals (#379) (@wdecker)
• Adjusted docstrings to changes by Raul, improved docu of affine algebras (#380) (@wdecker)
• Added functions for homogenization (#381) (@delphinepol)
• Weierstrass form from an elliptic curve (#382) (@delphinepol)
• Remove tail for spolys in favour of a version implemented in AbstractAlgebra. (#383) (@wbhart)
• small adjustions (#384) (@wdecker)
• CI: test with Julia 1.6 (#385) (@fingolfin)
• Simplify matrix_manipulation.jl, add cleanup TODOs (#386) (@fingolfin)
• More references, tests, small things (#387) (@wdecker)
• Remove normaliser synonym for normalizer; deprecate listperm (#390) (@fingolfin)
• Use and require Singular 0.5.1 (#391) (@fingolfin)
• docs: consistently name 'Examples' section in docstrings (#392) (@fingolfin)
• Reorganizing the Polytopes code (#393) (@lkastner)
• Fix missing lc -> leading_coefficient, coeffs -> coefficients (#394) (@thofma)
• Remove (soon to be) deprecated Hecke functionality (#395) (@thofma)
• added saturation_with_index (#396) (@wdecker)
• Genus for plane curves (#398) (@delphinepol)
• Fix doctests (#400) (@fingolfin)
• start fractional_ideal (#404) (@tthsqe12)
• Fix #403 (#405) (@thofma)
• typo (#406) (@wdecker)
• added parent_type methods for group elements (#409) (@ThomasBreuer)
• Fix duplicated function (now in Singular.jl) (#412) (@thofma)
• Bump Hecke version (#413) (@thofma)
• Bump OSCAR to 0.5.2 (#414) (@thofma)