v0.7.0

Oscar v0.7.0

Diff since v0.6.0

Closed issues:

• supported Julia versions (#80)
• Better feedback when users try to use our packages under Windows (#235)
• Scary but harmless error about ferret binary missing (#283)
• build_doc expects that Documenter, DocumenterCitations, DocumenterMarkdown are installed (#340)
• confusion on the return of collect(permutation group) (#345)
• Constructors for polyhedral objects (#388)
• Oscar doesn't precompile with Julia 1.7.0-beta2 (#504)
• docs: weirdness in navbar with docs included from Hecke (#513)
• docs: why do some filenames have a prefix like ca_, pg_, it_? (#514)
• error installing Ferret: gmp.h not found (#540)
• singular_ring not working for finite prime fields (#564)
• Problems with $ in singular_ring (#574)
• singular_ring woes (#575)
• New binaries with flint 2.8 (#589)
• docs: add a "FAQ" or "Common questions & troubleshooting" section to the manual (#640)
• Something goes wrong with divides in quotient rings (#645)
• AlgebraHomomorphism doesn't seem to copy its own list of generators (#655)
• Add docstring for describe(G::GAPGroup) and add it to the manual (#657)
• (documentation) univariate polynomials: normalise function example (#662)
• Polymake lattice_points not in the documentation? (#663)
• number_moved_points does not know that it returns fmpz (#666)
• Some functionality missing for rings (#672)
• Unifying and streamlining Polytopes interfaces (#677)
• Add IntegerUnion = Union{Integer, fmpz} somewhere (#679)
• convert for GAP.GapObj (#681)
• Invariant ring and polynomial ring with complex coefficients (#687)
• docs: remove reference to Oscar.Integer, Oscar.Rational; update or remove IntegerTypes.svg and RationalTypes.svg (#688)
• Affine way of thinking causes confusion with trivial hyperplane (#715)
• Require Julia >= 1.6 ?! (#716)
• CI tests with Julia nightly fail precompiling Singular.jl (#721)
• CI tests segfault on master with Julia 1.7, nightly, since merge of Modules PR #461 (#735)
• Segfault in libcurl when Download.download is used by GAP.jl (#773)
• Test failures, possible caused by GAP.jl 0.7.1 (#774)
• Allow constructing ideals with no generators (#784)
• Test suite speed regression (#788)
• HomotopContinuation.jl/OSCAR compatibility issue (#792)
• Equality test for zero ideals fails (#795)
• zsolve problems on macOS (#801)
• msolve dependency broken? (#814)

Merged pull requests:

• Modules [WIP] (#461) (@AlexD97)
• Property iterators (#578) (@alexej-jordan)
• Change the presentation of the documentation for plane curves (#592) (@delphinepol)
• Interface to the Singular library Paraplanecurves.lib (#605) (@delphinepol)
• docs: unify filenames (#621) (@fingolfin)
• Combine incidencematrix (#622) (@alexej-jordan)
• docu more concise (#625) (@wdecker)
• Add type assertion to a bunch of isFOO functions (#626) (@fingolfin)
• Simplify VERSION_NUMBER computation (#627) (@fingolfin)
• more information for the non-expert (#628) (@wdecker)
• Update binomial_ideals.jl - symbols for variables given by the user (#630) (@CarloSircana)
• Change default for Qab to use ζ (#631) (@thofma)
• adjusting to #631 (#633) (@wdecker)
• Return isomorphism in isomorphic_matrix_group_over_finite_field (#634) (@thofma)
• Invariant theory (#635) (@joschmitt)
• added textbook references (#637) (@ThomasBreuer)
• more functions documented (#639) (@wdecker)
• Add Molien series for the non-modular case (#641) (@thofma)
• Use bibtool to organize bibliography (#642) (@fingolfin)
• Introduce graphs as Oscar objects (#644) (@lkastner)
• Grade the polynomial ring in an invariant ring (#646) (@joschmitt)
• Fixes divides for quotient rings (#647) (@ederc)
• Fix loading Oscar when offline (#650) (@fingolfin)
• Fix for modular groebner basis (#651) (@thofma)
• Temporarily pin Hecke version in the doc build (#653) (@thofma)
• Fix a problem with MappedWord (#654) (@joschmitt)
• fundamental invariants, invariant rings as affine algebras (#656) (@wdecker)
• Fix #655 (#661) (@thofma)
• Fix Oscar (#665) (@thofma)
• Purge Oscar.Integer (#668) (@thofma)
• Minor change (#669) (@delphinepol)
• Fix type instability in number_moved_points (#670) (@thofma)
• Improve some GAP related code (#671) (@fingolfin)
• Clean up docs/oscar_references.bib (#673) (@fingolfin)
• Added functionalities for non plane curves (#675) (@delphinepol)
• Add some defensive asserts in MPolyQuo* constructors (#678) (@thofma)
• Add conversion from oscar GapGroup and GapGroupElem to GAP.GapObj. (#680) (@FriedrichRober)
• Add IntegerUnion (#686) (@fingolfin)
• Finish the integer purge (#689) (@tthsqe12)
• Remove broken Coveralls integration (#692) (@fingolfin)
• Refactor parts of the groups code (#693) (@fingolfin)
• Add Singular's implementation of King's algorithm (#694) (@joschmitt)
• Reynolds operator and bases of invariant rings (#695) (@joschmitt)
• Fix performance regression (#698) (@thofma)
• Issue/677 (#700) (@lkastner)
• fix typos in orderings (#701) (@fieker)
• Gal qt (#702) (@fieker)
• bump dep versions (#706) (@tthsqe12)
• docs: fix incorrect Pages entries in @contents blocks (#708) (@fingolfin)
• Replace Vector{<:Any} by Vector (#709) (@fingolfin)
• added a helper to convert certain GAP matrices (#710) (@ThomasBreuer)
• Remove CompatHelper, it just creates noise (#711) (@fingolfin)
• Feature/polytopes/new standard constructions (#717) (@OguzhanYueruek)
• first attempt to stabilizer for groups (#718) (@ThomasBreuer)
• added a docstring for describe(G::GAPGroup) (#719) (@ThomasBreuer)
• Require Julia >= 1.6 (#720) (@fingolfin)
• move some code from experimental/GaloisGrp (#724) (@ThomasBreuer)
• first version of GITFans in Oscar (#725) (@ThomasBreuer)
• Merging the code of Polymake/ into Polytopes/ (#726) (@lkastner)
• group characters stuff (#727) (@ThomasBreuer)
• Polymake: bump compat to 0.6 for new polymake version 4.5 (#728) (@benlorenz)
• Update to GAP 0.7 (#729) (@fingolfin)
• Replace many uses of GAP.gap_to_julia (#734) (@fingolfin)
• SubQuo: add type annotation to fix crash with julia 1.7 and nightly (#738) (@benlorenz)
• Import JToric code (#739) (@fingolfin)
• Move docs for sub(G::GAPGroup, elems) into docstring (#740) (@fingolfin)
• Remove hash(::FreeModuleElem), already in AA 0.22.2 (#741) (@fingolfin)
• Drop unused Requires.jl dependency (#742) (@fingolfin)
• start docu for monomial orderings (#743) (@wdecker)
• First draft for FAQ, style guide, diffs to other systems (#744) (@fingolfin)
• Toric variety structs (#745) (@lkastner)
• Introduce Cyclic Quotient Singularities (#746) (@lkastner)
• Polytopes: Minor improvements (#747) (@lkastner)
• Documentation for strong Gröbner bases over the integers (#748) (@ederc)
• Use IncidenceMatrix for PolyhedronOrConeIterator (#749) (@alexej-jordan)
• fixed QabElem, improved printing of char. tables (#752) (@ThomasBreuer)
• overhaul after implementing King's algorithm (#754) (@wdecker)
• Extended toric functionality (#755) (@HereAround)
• unified docu of quotient rings and affine algebras into affine algebr… (#757) (@wdecker)
• move functions into Hecke for this branch (#759) (@fieker)
• Kemper's algorithm for primary invariants of minimal degree (#761) (@joschmitt)
• Refactor order(::MatrixGroup) (#762) (@fingolfin)
• Introduce computation of toric ideals (#764) (@lkastner)
• Short paragraph on constructing polynomials. (#765) (@wdecker)
• Rename accessor to underlying polymake object (#767) (@lkastner)
• Localization framework for commutative rings (#768) (@HechtiDerLachs)
• update singular to v0.8 (#775) (@tthsqe12)
• Change perfect_group to return permutation groups by default (#776) (@fingolfin)
• docs: workflow to cleanup doc preview after closing PR (#778) (@benlorenz)
• ToricVarieties: Move docs under Algebraic Geometry, minor improvements (#779) (@lkastner)
• Issue/772 and SubObjectIterator (#780) (@alexej-jordan)
• Introduces msolve functionality to OSCAR (#781) (@ederc)
• Faq: WIP (#782) (@fieker)
• initial step towards matrix groups in char. zero (DRAFT) (#783) (@ThomasBreuer)
• Some code unification (#785) (@lkastner)
• Documentation by Wolfram on ungraded modules (#786) (@AlexD97)
• Add birkhoff, pyramid, bipyramid to manual (#789) (@fingolfin)
• move Cohomology to GModule to experimental (#793) (@fieker)
• get rid of the mat_iso field in matrix groups (#796) (@ThomasBreuer)
• changed show for MatrixGroupElem ... (#797) (@ThomasBreuer)
• fix for ring_iso_oscar_gap (#799) (@ThomasBreuer)
• Improve documentation of toric varieties (#800) (@HereAround)
• Adjust doctest to latest Singular.jl (#804) (@fingolfin)
• Fix #788 (Test suite speed regression) (#805) (@AlexD97)
• Fix direct product of modules (#806) (@AlexD97)
• Some tweaks to the GAP code (#807) (@fingolfin)
• improve ring_iso_oscar_gap for finite fields (#808) (@ThomasBreuer)
• CI: cancel superfluous CI runs for pull requests (#810) (@fingolfin)
• Fixes #795 (#811) (@thofma)
• Fewer nested rings in tests, and groebner over immutables (#812) (@tthsqe12)
• Tweak the "cancel" workflow (#813) (@fingolfin)
• Improvements (and minor extension) for toric varieties (#815) (@HereAround)
• Minor tweaks to the group actions code (#816) (@fingolfin)
• support empty lists of group generators (#817) (@ThomasBreuer)
• CI: use cancel-in-progress (#818) (@fingolfin)
• Optimize some calls into GAP (#819) (@fingolfin)
• Implement group of torusinvariant Cartier divisors and the Picard group (#820) (@HereAround)
• Fix (work around...) #784 (#821) (@joschmitt)
• small changes in preparation of docu (#822) (@wdecker)
• Fix minor bugs (#823) (@AlexD97)
• Require GAP 0.7.2 (#824) (@fingolfin)
• Fix some matrix(...) call relying on soon to be changed method (#825) (@thofma)
• Fill in some Hecke stubs (#826) (@thofma)
• Require Singular 0.9.0 (#827) (@tthsqe12)
• Rework folder structure and some minor improvements to PolyhedralGeometry (#828) (@lkastner)
• overhauling the commutative algebra docu for release (#830) (@wdecker)
• Bump Hecke version to 0.10.25 (#832) (@thofma)
• Version 0.7.0 (#833) (@fingolfin)