Oscar.jl 0.5.2 released

21 Apr 2021

Today Oscar.jl 0.5.2 has been released.

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 well… (#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)
Start 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)