v0.8.0

Oscar v0.8.0

Diff since v0.7.1

Closed issues:

• Document mpoly stuff (#123)
• Deprecate listperm, instead add constructors (#282)
• Create experimental PR using GroupsCore.jl (#399)
• docs: "introduction" vs "interface" (#515)
• subgroup and sub (#667)
• CI crash in test/Rings/mpoly_affine_algebras_test.jl with Julia 1.7.0-rc1 (#733)
• Remove workarounds in Polytopes after next libpolymake_julia release (#758)
• gap_to_julia (#794)
• Implement simplicial complexes (#829)
• Rename, document and advertise @declare_other and set_special/get_special (#843)
• Missing Base.deepcopy_internal for Group interface (#860)
• Allow FiniteField(fmpz(5),2) and GF(fmpz(5), 2) and GF(fmpz(5), 2, "t") (#863)
• funny spelling of function names in toric geometry section (#877)
• Fix abelian_group to accept fmpz (#884)
• allow ishomogeneous for more types of polynomials (#909)
• vertex-facet incidences for polyhedra (maybe others, too) unnecessarily expensive (#915)
• What to do for object clashes? (#922)
• CI: Codecov for experimental (#963)
• Ideals in generic polynomial rings (#988)
• missing ordering function for graded rings (#989)
• Polynomial build complex does not throw out of bounds error (#991)
• Improve show methods for Toric Line Bundles (#1017)
• README.md example is broken (#1030)

Merged pull requests:

• add a bit more compliant rand methods for GAPGroup (#402) (@kalmarek)
• Add more monomial and module orderings (#723) (@wbhart)
• added character_field (#836) (@ThomasBreuer)
• Cache computed properties for toric varieties (#839) (@HereAround)
• PolyhedralGeometry: Compute triangulations of polytope (#848) (@lkastner)
• Graded modules (#858) (@AlexD97)
• automorphism groups of GrpAbFinGen (#876) (@simonbrandhorst)
• Add PolyhedralComplex as new object (#887) (@lkastner)
• Put most toplevel import/using statements into single file (#892) (@fingolfin)
• Tidy up invariant theory code (#893) (@joschmitt)
• docu modules continued (#904) (@wdecker)
• Localizations of affine algebras and affine schemes (#905) (@HechtiDerLachs)
• Improve some functions for modules (#910) (@AlexD97)
• Bib: add some missing DOIs, minor tweaks (#913) (@fingolfin)
• Start to correct the binomials. (#914) (@tthsqe12)
• Developers Corner (#918) (@alexej-jordan)
• Added the `AutomorphismGroupElem{T} where T' and first methods (#919) (@StevellM)
• First draft of simplicial complexes (#921) (@micjoswig)
• Fix degree computation for filtered rings (#923) (@AlexD97)
• Bump dependencies (#924) (@thofma)
• Improve SubObjectIterator (BoundsError, re-naming, face(t)s) (#925) (@alexej-jordan)
• Improve type stability (#927) (@fingolfin)
• Make use of get_attribute! (#928) (@fingolfin)
• Improvements toric varieties (#929) (@HereAround)
• Torsion form orthogonal group gens (#930) (@simonbrandhorst)
• Use imperative in docstrings, as per Julia guidelines (#931) (@fingolfin)
• Edit especially ugly occurences of is* and n* (#933) (@lkastner)
• Require GAP 0.7.3 (#934) (@fingolfin)
• corrections to docu (#935) (@wdecker)
• Other minor improvements for toric varieties (#940) (@HereAround)
• New properties and attributes for toric line bundles (#941) (@HereAround)
• add accessors and constructors (#942) (@fieker)
• More grading (#943) (@fieker)
• Avoid needs_parentheses (#945) (@fingolfin)
• More work on GAP -> Oscar matrix conversion (#946) (@fingolfin)
• Addressing the issue from #945 (#947) (@HechtiDerLachs)
• Wolfram (#949) (@wdecker)
• PolyhedralGeometry: improve compatibility with fmpz and fmpq types (#950) (@benlorenz)
• Fix conversion of negative GAP integers to fmpz (#951) (@fingolfin)
• Give instructions for how to cite OSCAR (#953) (@fingolfin)
• More G-module (#954) (@fieker)
• Galois (#955) (@fieker)
• Improve show for modules (#956) (@AlexD97)
• Remove obvious zeros from intersection of modules (#957) (@AlexD97)
• Use import.jl [UngradedModules.jl] (#958) (@AlexD97)
• Adjust to recent Hecke changes (#959) (@thofma)
• Introduce Zariski open sets of affine schemes. (#961) (@HechtiDerLachs)
• CI: update codecov/codecov-action to v2 (#962) (@fingolfin)
• add stuff to compute representations for PcGroups (#964) (@fieker)
• use the "new", sparse free_module only for MPoly (#965) (@fieker)
• Add experimental folder to coverage (#967) (@thofma)
• Documentation [UngradedModules.jl] (#968) (@AlexD97)
• More GAP -> Oscar conversions (#969) (@fingolfin)
• add tests for gmodules and move to Experimental (#970) (@fieker)
• first version of schur_index (#971) (@ThomasBreuer)
• Improve type stability/inference (#974) (@fingolfin)
• Improve SimplicialComplex (#977) (@alexej-jordan)
• amendments to #965 (#978) (@wdecker)
• first attempt for iso_gap_oscar (#979) (@ThomasBreuer)
• Resolved max and min bifurcation via the word optimal (#983) (@tbrysiewicz)
• Adjust naming convention and minor cleanup (#984) (@thofma)
• Support MatrixGroup over integer matrices (#992) (@fingolfin)
• Adjust docu to PR #943 and more on graded rings (#994) (@wdecker)
• Mj/simplicial homology (#996) (@micjoswig)
• Delay Singular ring instantiation during ideal generation (#998) (@ederc)
• Improve showing toric varieties (#999) (@lkastner)
• Make parts of the groups code more Julia-ish (#1001) (@fingolfin)
• Fix promotion for graded polynomial rings (#1002) (@thofma)
• next iteration for iso_oscar_gap and iso_gap_oscar (#1004) (@ThomasBreuer)
• added maximal_abelian_quotient (#1007) (@ThomasBreuer)
• Remove Singular dependencies from msolve (#1008) (@ederc)
• Adjust docu to PR #994 (#1009) (@wdecker)
• Allow more graded ops (#1010) (@tthsqe12)
• renamed centre to center (#1011) (@ThomasBreuer)
• Reacting to an old comment by @fingolfin (#1012) (@wdecker)
• improved some assertion messages (#1014) (@ThomasBreuer)
• polyhedral: g- and h-vectors (#1016) (@micjoswig)
• Wolfram (#1018) (@wdecker)
• fixed centre -> center in a test (#1019) (@ThomasBreuer)
• New module type file (see #1013) (#1021) (@AlexD97)
• Added gelfand tsetlin polytope (#1022) (@tbrysiewicz)
• small additions concerning irrationalities (#1024) (@ThomasBreuer)
• Add restriction of codomain for abelian groups (#1025) (@thofma)
• bib: 'Pairs of Generators for Matrix Groups' is now on the arXiv (#1027) (@fingolfin)
• ToricVarieties: Bug fix (#1028) (@HereAround)
• Add etc/update_version.sh script (#1029) (@fingolfin)
• ToricVarieties: Improve show method for toric line bundles (#1031) (@HereAround)
• ToricVarieties: Resolve #922 (#1033) (@lkastner)
• ToricVarieties: Computation of Betti numbers limited to complete, simplicial varieties (#1034) (@HereAround)
• PolyhedralGeometry: Deal with fine and star triangulations. (#1035) (@lkastner)
• support deepcopy_internal for group elements (#1037) (@ThomasBreuer)
• changed compose in src/Groups ... (#1038) (@ThomasBreuer)
• Adjust for GroupsCore conformance tests (#1042) (@fingolfin)
• Replace arbitrary 'authors' list by a generic entry (#1043) (@fingolfin)
• Fix README (#1044) (@thofma)
• Bump version of AA + Nemo + Singular + Hecke (#1045) (@thofma)
• More on gradings (#1046) (@wdecker)
• Remove deprecated function listperm (#1050) (@fingolfin)
• Tag new version 0.8.0 (#1052) (@thofma)