v0.11.3

Oscar v0.11.3

Diff since v0.11.2

Closed issues:

• Homomorphisms from polynomial rings into "arbitrary" rings (#560)
• Toric Varieties: Completed goals from fall 2021 until December 2022 (#763)
• Collect deprecations in one place and document the process (#1567)
• More efficient Serialization of Arrays (#1706)
• Invalid equality in quotient rings. (#1716)
• Serialization problems with cyclotomic fields (#1719)
• Memory leak while accessing polymake incidence matrix (#1742)
• real_solutions does not find real solutions (#1743)
• rational_solutions (#1744)
• Integration of bibtool into the CI possible? (#1773)
• Addition of empty ideals fails (#1778)
• _compute_standard_basis_with_transform does not work over number field coefficients (#1794)
• One test is not running, see https://github.com/oscar-system/Oscar.jl/actions/runs/3647065768/jobs/6158842919 (#1802)
• Segmentation fault in _rational_solutions (#1812)
• is_irreducible for group characters broken (#1823)
• save and load not backwards compatible. (#1839)
• Wrap Gap.Globals.SmallGeneratingSet (#1847)
• Save MILP to .lp file (#1852)
• Overrides for Nemo._hnf and Nemo._hnf_with_transform are causing invalidations (#1863)
• add dimension range checks to visualize (#1870)
• Morphisms between GAP groups and abelian groups (#1884)
• GCD is buggy for polynomial rings over number fields (#1886)
• frequent CI failures with Julia nightly and 1.9 on macOS due to timeout (#1888)
• StackOverflowError invoking simplex with bad arguments (#1889)
• CI failing due to msolve update (#1896)
• CI reproducibly runs into timeout at a precise point in tests (#1900)
• quo fails for polynomial rings over exotic coefficient rings (#1901)
• right_transversal should do better argument checking (#1904)
• Deprecation warnings during tests (#1947)
• New OSCAR release before the big renaming next week? (#1952)
• Precompiling Oscar InitError: GAP variable _JULIAINTERFACE_ERROR_BUFFER not bound (#1955)

Merged pull requests:

• provide random number generator with fixed seed, seed mpoly-localizations tests (#1459) (@benlorenz)
• Toric covered schemes (#1636) (@HechtiDerLachs)
• Matroid strata and realization spaces (#1658) (@dcorey2814)
• 1719 serialization problems with cyclotomic fields (#1720) (@antonydellavecchia)
• Adv/efficient vector serialization (#1730) (@antonydellavecchia)
• Blowups (#1764) (@HechtiDerLachs)
• add all orderings functions for FreeModElem (#1767) (@tthsqe12)
• ToricVarieties: More on toric morphisms (#1770) (@HereAround)
• When computing matrix group orders, inform GAP about the result (#1780) (@fingolfin)
• PolyhedralGeometry: Allow solve_mixed to return an iterator (#1783) (@lkastner)
• Cb/document matrix files (#1785) (@CameronBraunstein)
• Minor adjustment of ideals (#1787) (@thofma)
• Version 0.11.3-DEV (#1788) (@thofma)
• Update on FGLM (#1789) (@ederc)
• Docu GR-algebras following PR #1774 (#1790) (@wdecker)
• remove coords, coeffs, ... and ONLY use coordinates (#1791) (@fieker)
• Some fixes (#1795) (@HechtiDerLachs)
• polishing docu w.r.t. GBs (#1796) (@wdecker)
• Clean up printing (#1797) (@HechtiDerLachs)
• Use sparse matrices in the pre_saturation_data. (#1798) (@HechtiDerLachs)
• bump singular to 0.15 (#1799) (@tthsqe12)
• tiny addendum following PR #1767, typo (#1800) (@wdecker)
• Template for ìs_cohen_macaulay function (#1801) (@wdecker)
• restructering docu to prepare for more on homological algebra (#1803) (@wdecker)
• Fix all warnings again (#1804) (@thofma)
• Mpolyquo modules (#1805) (@HechtiDerLachs)
• Introduce bibtool CI test (#1807) (@HereAround)
• make work again and move function to Hecke (#1808) (@fieker)
• Algebraic solving updates (#1810) (@ederc)
• Borcherds' Method (#1811) (@simonbrandhorst)
• Orthogonal group for TorQuadMod extended (#1813) (@StevellM)
• Fix1794 (#1814) (@HechtiDerLachs)
• ToricVarieties: Coordinate names in direct product & overhaul of introduction (#1815) (@HereAround)
• Improvements for documentation (#1816) (@HereAround)
• Reorganize serialization docs (#1817) (@lkastner)
• Length of modules (#1818) (@HechtiDerLachs)
• Fixes for singular locus (#1819) (@HechtiDerLachs)
• bump singular.jl to 0.16 (#1820) (@tthsqe12)
• Adds Hilbert driven standard basis computation (#1821) (@RafaelDavidMohr)
• first step in the Oscarification of pc groups (#1822) (@ThomasBreuer)
• fix is_irreducible (#1824) (@ThomasBreuer)
• Improvements for rational_solutions (#1825) (@thofma)
• Collect deprecations (#1827) (@lkastner)
• Add is total (#1828) (@tthsqe12)
• added some tests for complement_class_reps (#1829) (@ThomasBreuer)
• moved some code (#1830) (@ThomasBreuer)
• Adjust SubdivisionOfPoints output types (#1833) (@alexej-jordan)
• fix the definition of FPGroup (#1837) (@ThomasBreuer)
• Coherent sheaves vol. 1 (#1840) (@HechtiDerLachs)
• Fix some experimental GAP code (#1841) (@fingolfin)
• Graphs: add some more functions (#1842) (@benlorenz)
• Matroid: fix independent set for cycle matroids and a few minor improvements (#1843) (@benlorenz)
• Semi-invariants / relative invariants (#1845) (@joschmitt)
• Improve coverings, round I (#1846) (@HechtiDerLachs)
• Update copyright to 2023 (#1848) (@fingolfin)
• small improvements of docu (#1849) (@wdecker)
• Free resolution offset (#1850) (@ederc)
• milp serialization (#1851) (@antonydellavecchia)
• added small_generating_set(::GAPGroup) (#1853) (@ThomasBreuer)
• Add Cohen-Macaulay test for affine algebras (#1854) (@wdecker)
• Improve coverings, round II (#1855) (@HechtiDerLachs)
• introduce is_full_fp_group ... (#1856) (@ThomasBreuer)
• more homological algebra functions (#1857) (@wdecker)
• Make struct CycleType immutable (#1858) (@fingolfin)
• Improve primitive_by_shape and an_sn_by_shape (#1859) (@fingolfin)
• Minor tweaks for perm groups / cycle types (#1860) (@fingolfin)
• bug correction (#1862) (@wdecker)
• Fix method invalidations by disabling SLP getindex methods (#1864) (@fingolfin)
• Local h2 (#1865) (@fieker)
• small improvements to affine algebras (#1866) (@wdecker)
• Introduce morphism_of_covered_schemes for projective morphisms. (#1867) (@HechtiDerLachs)
• Adding modules over quotient and local rings to Docu (#1868) (@wdecker)
• More on automorphism groups of ZLat and TorQuadMod (#1869) (@StevellM)
• Remove hnf code (#1871) (@thofma)
• Bump Hecke version and remove duplicated method (#1873) (@thofma)
• computation of kernels for towers of polynomial rings via flattenings (#1876) (@HechtiDerLachs)
• Projective bundles part I (#1879) (@HechtiDerLachs)
• rename ChainComplex -> ComplexOfMorphisms (#1880) (@fieker)
• Projective bundles part ii (#1881) (@HechtiDerLachs)
• Projective bundles part III (#1882) (@HechtiDerLachs)
• Projective bundles part iv (#1887) (@HechtiDerLachs)
• Morphisms between GAP groups and abelian groups (#1890) (@ThomasBreuer)
• init: add terminfo dirs when installing GAPs browse (#1891) (@benlorenz)
• Revision of quotient rings (#1892) (@ederc)
• ToricVarieties: Bugfix in vanishing sets (#1893) (@HereAround)
• minor cleanups for singular_locus (#1894) (@afkafkafk13)
• fix typo/ julia change: ' -> transpose (#1895) (@fieker)
• Fixes tests for msolve v0.4.9 (#1897) (@ederc)
• add localization of quotients of multivarate polynomial rings to docu (#1898) (@wdecker)
• require polymake.jl 0.9 for polymake 4.9 (#1902) (@benlorenz)
• ToricVarieties: Several bugfixes (#1909) (@HereAround)
• Mj/polyhedral (#1911) (@micjoswig)
• PolyhedralGeometry: add {load,save}_{lp,mps} to save (MixedInteger)LinearPrograms (#1916) (@benlorenz)
• Make Groebner basis computation in quo construction lazy (#1917) (@thofma)
• Concrete intersection theory (#1918) (@HechtiDerLachs)
• DevDocs: suggest to honor .editorconfig (#1919) (@fingolfin)
• better error message for right_transversal (#1921) (@ThomasBreuer)
• ToricVarieties: Provide link to the tutorial on toric varieties (#1922) (@HereAround)
• Local h2 (#1923) (@fieker)
• fix trivia - and rename (#1924) (@fieker)
• docs: change some '->' to proper LaTeX arrows (#1925) (@fingolfin)
• Fix finite orthogonal group (#1927) (@simonbrandhorst)
• Some leftovers from 1911 (#1928) (@lkastner)
• add example Hilbert driven Buchberger, some text polishing (#1932) (@wdecker)
• Improve visualize (Polyhedral Geometry) (#1933) (@alexej-jordan)
• Fix local h2 (#1934) (@fieker)
• Heisenbug factoring (#1936) (@fieker)
• Improvements for toric geometry (#1937) (@HereAround)
• LPFiles: fix docstring + doctest (#1939) (@benlorenz)
• update docu on affine algebras following recent discussions and PRs (#1941) (@wdecker)
• Tests: create github action summary with run-times and compile-times per test-file (#1942) (@benlorenz)
• Localization docu part ii (#1943) (@HechtiDerLachs)
• PolyhedralGeometry: more keyword arguments for rand_spherical_polytope (#1945) (@benlorenz)
• Reduce number of things put into the group lattice (#1948) (@thofma)
• is... ---> is_... (#1949) (@wdecker)
• Repair broken tests (#1951) (@HechtiDerLachs)
• Tests for projective bundles iv (#1953) (@HechtiDerLachs)
• ToricVarieties: Remove more deprecation warnings (#1956) (@HereAround)
• CI: Fail on deprecation warning (#1957) (@HereAround)
• add Koszul complex (#1959) (@wdecker)
• Version 0.11.3 (#1960) (@benlorenz)