v0.12.0

Oscar v0.12.0

Diff since v0.11.3

Closed issues:

• Oscar Roadmap (#1)
• Add facilities to streamline GAP wrappers for GAP properties/attributes; reduce overhead (#128)
• GAP groups: bring GAP groups and Hecke.jl groups (GrpAbFinGen) together (e.g. providing homomorphisms, aligning names) (#161)
• Group: issubgroup convention (#163)
• Vector spaces complement. (#221)
• Loading order affects load time (#289)
• Update list of subproject maintainers (#296)
• printing of objects should compose better (#347)
• Enabling CI tests against Julia nightlies: custom builds of several of our JLLs (#558)
• Wishlist for documentation (#559)
• Add docstrings for types like fmpz, fmpz_mat, etc. etc (#648)
• groups: Base.length(C::GroupConjClass) and also for (double) cosets should return fmpz / have adjustable return type (#658)
• Document how to run parts of the test suite (#756)
• Missing constructors for Fans and other polyhedral stuff (#772)
• ToricVarieties: A few minor changes/additions (#1036)
• Addition of ideals fails (#1058)
• Why is it called MPolyRing_dec? (#1119)
• Glitch in manual: unexpected extra method for base_ring appears (#1143)
• conventions about function names (#1335)
• Oscar.build() fails due to GAP's "foreign Julia type" not being serializable (#1400)
• Support Singular.ordering_a in Oscar (#1412)
• printing an integer inside jupyter kernel (#1424)
• Documentation should point to source code (#1463)
• Proposal: Better printing of parent objects (#1540)
• Polyhedron constructor with Float arguments fails (#1617)
• Support / for dividing fmpq and/or rationals by other fmpz/rationals/integers (#1618)
• Clarify naming policy further: "long_form_names" over "shrt_frm_nms" (#1623)
• hilbert_series is buggy in extreme cases (#1663)
• Problem in the Flint-Subsystem when calculating Gröbner Bases (#1702)
• maximal_polyhedra of PolyhedralComplexes produces warnings and broken polyhedra. (#1715)
• Make Vector(SparseVectorBool) work (#1746)
• Move OSCAR homepage from oscar.computeralgebra.de to www.oscar-system.org ? (#1792)
• Argument order in is_maximal, is_normal, is_characteristic, ... (#1793)
• Mixed volume with Polymake (#1832)
• Orders of matrix groups over arbitrary number field (#1930)
• Add contacts for all OSCAR parts (#1938)
• combinatorial_symmetries crashes (#1966)
• Code improvement (among others for ToricVarieties) (#1969)
• New rule: export only one identifier at a time (#1971)
• Algebraic geometry: Standard constructions & organization of documentation (#1973)
• is_conjugate for matrix groups (#1974)
• Document what was renamed and to what (#1980)
• noisy functions from geometry(?) (#1985)
• Error loading Oscar from different nodes on HPC cluster (#1995)
• characteristic_polynomial vs charpoly (#2026)
• CI tests broken, failures related to GAP code (#2027)
• JuLie: bounds error in partitions function (#2043)
• Export f4? (#2046)
• Support mapping quadratic_field elements to GAP and back (#2049)
• enhancing JuLie imports (#2057)
• Add diagonal_matrix variant taking base ring as first argument (#2061)
• orbit(matrixgroup, polynomial) does not work (#2063)
• solve broken? (#2065)
• Visualization of polytope: vertex labels vs. automorphisms (#2068)
• Universal polynomials are broken (#2076)
• factor_absolute sometimes fails to fully factorize (#2081)
• Unrecognised data type MPolyRingElem (#2082)
• Support more graded_polynomial_ring argument variants (#2088)
• Error when running using Oscar in a jupyter notebook for the first time (#2090)
• is_zero is slow for quotient rings (#2099)
• Promote rules for quotient rings seem buggy (#2119)
• Optional argument in build_doc to prevent opening browser (#2124)
• Mutliplication of sparse matrix with scalar changes size (#2128)
• Promote rules, once again (#2129)
• duplicated method for primary_decomposition (#2131)
• Addition of sparse matrices seems to drop zero columns (#2135)
• Structure in experimental (#2146)
• CI failure due to serialization of universal polynomials (#2158)
• Speed-up for doctests of FTheoryTools needed (#2162)
• Enable codecov report comments (#2165)
• A lot of infos during tests about "AUXILIARY ambient space" (#2180)
• OSCAR tests failing on 1.9 CI (precompilation failing) (#2199)
• Absolute primary decomposition fails for the zero ideal (#2212)
• Cone constructor to construct cones from inequalities and equations (#2218)
• relative_interior_point(Cone) (#2232)
• galois_group on relative extension of number fields error (#2235)
• Surprisingly many memory allocations (factor a large polynomial) (#2247)

Merged pull requests:

• Experimental module SymInt (#1926) (@StevellM)
• NAIVE impl of exterior_algebra (via PBM alg) (#1931) (@JohnAAbbott)
• Integrating JuLie into Oscar (#1935) (@ClaudiaHeYun)
• Fix coxring gradings & renaming some constructors (#1958) (@HereAround)
• Rework of Hilbert-driven GB computation (#1961) (@RafaelDavidMohr)
• matroid automorphisms (#1962) (@antonydellavecchia)
• ToricVarieties: More CamelCase constructors to snake_case (#1963) (@HereAround)
• import only defined names from Hecke (#1965) (@ThomasBreuer)
• Fix typos (#1967) (@fingolfin)
• Add contact section to introduction page of all specialized chapters in OSCAR (#1968) (@HereAround)
• ToricVarieties: Rename more constructors - Part 2 (#1970) (@HereAround)
• The big renaming (#1972) (@fingolfin)
• Fix some incorrect macro invocations (#1975) (@fingolfin)
• Enforce print convention: No leading "A" in printouts (#1976) (@HereAround)
• Better organization of algebraic geometry code (both source and documentation) (#1977) (@HereAround)
• support iso_gap_oscar for multivariate pol. rings (#1978) (@ThomasBreuer)
• Global h2 (#1979) (@fieker)
• The Big Renaming (#1982) (@fingolfin)
• PolyhedralGeometry: automorphism_group fixed for trivial case (#1983) (@lkastner)
• changes in argument orders of functions (#1988) (@ThomasBreuer)
• added center, det, is_rational, kernel, order for group characters (#1989) (@ThomasBreuer)
• less noise in K3 test (#1991) (@simonbrandhorst)
• added index fix for Grassmann Pluecker Relations (#1992) (@antonydellavecchia)
• Unbreak master branch (#1994) (@fingolfin)
• Remove invalid root test (#1996) (@fingolfin)
• Update URLs to www.oscar-system.org (#1997) (@fingolfin)
• fix renaming artifacts (#1998) (@lgoettgens)
• First draft of how experimental should be used. (#1999) (@lkastner)
• Fix some typos (#2000) (@fingolfin)
• Small fixes for Polyhedral Geometry (Float64, IncidenceMatrix) (#2002) (@alexej-jordan)
• provide iso_oscar_gap and iso_gap_oscar for number fields (#2003) (@ThomasBreuer)
• Combinatorics: Add sanity check to add_edge!(Graph) (#2004) (@lkastner)
• graded_polynomial_ring and forget_grading (#2005) (@joschmitt)
• fixed is_conjugate for matrix groups (#2006) (@ThomasBreuer)
• changed the export statements for src/Groups (#2007) (@ThomasBreuer)
• let iso_gap_oscar choose Nemo._GF (#2008) (@ThomasBreuer)
• Properties covered schemes (cleaned up version of #2001) (#2009) (@afkafkafk13)
• Stop using @gapwrap (#2010) (@fingolfin)
• cleanup -- minor leftovers from previous PR/review (#2012) (@afkafkafk13)
• Fix warning about coordinate_ring (#2013) (@fingolfin)
• Minor changes/extensions in toric geometry (#2015) (@HereAround)
• Collect export (#2016) (@HereAround)
• Basic (and not so basic) functionality for linear quotients (#2018) (@joschmitt)
• update docu following PR #1961 + trivia (#2022) (@wdecker)
• unified behaviour of blow_up (in scheme context) (#2023) (@afkafkafk13)
• Collect more export statements (#2024) (@HereAround)
• Improve matrix_group() (#2025) (@fingolfin)
• move (most of) Galois to src (#2030) (@fieker)
• Fixes caching of GBs in Hilbert driven attempt (#2031) (@ederc)
• Resolve duplicate _is_homogeneous(f::MPolyElem) (#2032) (@fingolfin)
• Fix finite field conversion between OSCAR and GAP (#2033) (@fingolfin)
• Use macro @req in more places (#2037) (@fingolfin)
• Miscellaneous changes (#2038) (@fingolfin)
• Revise schur_polynomial (#2039) (@fingolfin)
• Update experimental SymInt (#2040) (@StevellM)
• Changes related to recent Hecke release (#2041) (@StevellM)
• Final stab towards organizing export statements (#2045) (@HereAround)
• Renaming f4 to groebner_basis_f4 (#2047) (@ederc)
• Jaa/exterior algebra (#2048) (@JohnAAbbott)
• Don't throw strings or ErrorException (#2051) (@fingolfin)
• Add {characteristic,minimal}_polynomial aliases (#2053) (@fingolfin)
• iso_oscar_gap for quadratic_field (#2056) (@ThomasBreuer)
• Fix Oscar.build() (#2058) (@fingolfin)
• docs/faq: use delete for tmpdir instead of setting to nothing (#2059) (@benlorenz)
• Simplify a hcat invocation (#2060) (@fingolfin)
• Remove uses of Oscar.Graphs (#2062) (@fingolfin)
• Fix ehrhart_polynomial docstring (#2067) (@fingolfin)
• added a missing gset_by_type method (#2069) (@ThomasBreuer)
• PolyhedralGeometry: set one-based ray labels for visualization (#2070) (@benlorenz)
• Fix wrong method (again) (#2071) (@StevellM)
• natural embedding of quadratic fields into QQAbField (#2072) (@ThomasBreuer)
• Convert more examples to doctests (#2073) (@fingolfin)
• deal with trivial case, should fix #2065 (#2074) (@fieker)
• Prepare for finite field changes (#2075) (@thofma)
• Polyhedron: add and use is_lattice_polytope check (#2077) (@benlorenz)
• jldoctest: add some missing end markers (#2083) (@benlorenz)
• Fix serialization so that there is no conflict with Hecke update to defining_polynomial (#2085) (@antonydellavecchia)
• Support more types in graded_polynomial_ring (#2091) (@mgkurtz)
• Towards moving FTheoryTools into OSCAR's experimental folder (#2092) (@HereAround)
• Add OscarInterface GAP package (#2094) (@fingolfin)
• Warham preparations (#2095) (@HechtiDerLachs)
• Fix decomposition of affine varieties into its components. (#2096) (@HechtiDerLachs)
• Avoid direct access to struct member base_ring where possible (#2097) (@fingolfin)
• Modifications in PolyhedralGeometry for GITFans (#2100) (@lkastner)
• added missing closing backquotes of a @docs block (#2101) (@ThomasBreuer)
• Remove DocumenterMarkdown (#2103) (@fingolfin)
• Provides Examples for the study of surfaces (#2104) (@wdecker)
• improve experimental/Matrix (#2105) (@ThomasBreuer)
• Lazy toric schemes (#2106) (@HechtiDerLachs)
• Abstract types for varieties (#2107) (@simonbrandhorst)
• Fix syntax for Markdown docstrings (#2108) (@fingolfin)
• Minor fixes for mpoly_type (#2110) (@thofma)
• Add serialization for universal polynomials (#2113) (@SoongNoonien)
• Towards Migrating projective schemes out of experimental (#2114) (@HechtiDerLachs)
• Fix factor_absolute(::MPolyRingElem) (#2116) (@fieker)
• affine varieties concrete types (#2120) (@simonbrandhorst)
• Fix promotion for quotient rings (#2121) (@thofma)
• caching for properties of ideals (#2122) (@simonbrandhorst)
• support GrpAbFinGen groups in group functions (#2123) (@ThomasBreuer)
• Add optional parameter to build_doc to prevent browser from opening (#2125) (@lkastner)
• Change gitfan from polymake to Oscar types (#2126) (@jankoboehm)
• Project.toml: allow Singular 0.18.x (#2127) (@fingolfin)
• pretty print FreeMod over a named ring (#2130) (@fieker)
• cache by hand (#2132) (@simonbrandhorst)
• Add domain, codomain methods for MPolyAnyMap (#2136) (@fingolfin)
• Remove auxillary Base.:/ method (now in AA 0.28.4) (#2137) (@fingolfin)
• Remove one more direct access to .base_ring (#2138) (@fingolfin)
• Run the renaming script again (#2139) (@fingolfin)
• Remove faulty promote rule for SpecOpenRingElem (#2140) (@HechtiDerLachs)
• Fix a trivial docstring typo (#2141) (@fingolfin)
• PBWDeformations: Integrate code into OSCAR part 1 (#2145) (@lgoettgens)
• Migration projective schemes iii (#2147) (@HechtiDerLachs)
• Printing guidelines (#2148) (@simonbrandhorst)
• Works with AA 0.29, too (#2149) (@fingolfin)
• Make MPolyQuoRingElem great again (#2150) (@thofma)
• Avoid creating a matrix space just to create a zero or identity matrix (#2151) (@fingolfin)
• Replace more unnecessary uses of matrix_space (#2153) (@fingolfin)
• Improved Experimental/JuLie/partitions (#2154) (@ulthiel)
• Adapt mpoly_type methods to AA 0.29 (#2156) (@fingolfin)
• Give experimental a more canonical structure (#2157) (@lkastner)
• Remove final mpoly_type methods (#2159) (@fingolfin)
• Add back serialization for universal polynomials (#2160) (@SoongNoonien)
• Attempt to speed-up doctests for F-theory tools (#2163) (@HereAround)
• Disable some long tests. (#2164) (@simonbrandhorst)
• MPolyElem -> MPolyRingElem (#2168) (@fingolfin)
• Raise CI timeout from 120 to 150 minutes (#2169) (@fingolfin)
• intro to non-general type surfaces in P4 (#2170) (@wdecker)
• fix broken free resolution (#2173) (@jankoboehm)
• Improve HTML rendering of our bibliography (#2174) (@fingolfin)
• cohomCalg: Improve the bibtex entry for its implementation (#2175) (@HereAround)
• Enable the codecov reports as comments (#2176) (@thofma)
• Fix type stability for empty iterators (#2177) (@thofma)
• More cleanup for ProjectiveScheme (#2178) (@simonbrandhorst)
• Uniform author formatting in bibliography (#2179) (@fingolfin)
• Adjusted FTheoryTools to new structure of experimental (#2181) (@lkastner)
• Fix several typos (#2182) (@goggle)
• Serialization: remove eval fallback in decodeType (#2185) (@fingolfin)
• Rewrite Hecke import/export without Meta.parse (#2186) (@fingolfin)
• add Oscar.test_experimental_module (#2188) (@lgoettgens)
• remove duplicate experimental docs (#2194) (@lgoettgens)
• Replace '@doc Markdown.doc' by '@doc raw' (#2196) (@fingolfin)
• Join the plane curves documentation back together (#2197) (@fingolfin)
• More projective cleanup (#2198) (@HechtiDerLachs)
• FTheoryTools: Use @vprint and add README.md (#2200) (@HereAround)
• Remove duplicate @Req macro (#2201) (@fingolfin)
• More improvements for F-Theory Tools (#2205) (@HereAround)
• fix Oscar.test_experimental_module (#2206) (@lgoettgens)
• Projective varieties (#2208) (@simonbrandhorst)
• provide character_table functionality for GrpAbFinGen (#2209) (@ThomasBreuer)
• Don't run doctests as part of documentation deployment (#2210) (@fingolfin)
• ProjectiveVarieties more tests and fixes (#2213) (@simonbrandhorst)
• Improve is_absolutely_irreducible (#2214) (@fieker)
• Avoid linking a non-existing docs/src directory (#2215) (@joschmitt)
• Adjust LinearQuotients to new structure of experimental (#2216) (@joschmitt)
• More on toric schemes (#2219) (@HereAround)
• Patch GAP package Alnuth to call OSCAR instead of PARI (#2220) (@fingolfin)
• Improve cone_from_inequalities (#2223) (@alexej-jordan)
• Some minor docstring tweaks (#2224) (@fingolfin)
• add correct(?) version of homogeneous_component (#2225) (@fieker)
• remove trivial == methods (#2226) (@lgoettgens)
• Resolving various issues (#2229) (@wdecker)
• Add some missing functions in PolyhedralGeometry (#2230) (@lkastner)
• Change in -> issubset (#2239) (@lkastner)
• make sure that ideals in graded rings of type MPolyRingand `MPolyQu… (#2240) (@wdecker)
• Remove Markdown as a dependency (#2243) (@fingolfin)
• PolyhedralGeometry: Cones of fan returns incidence matrix (#2244) (@HereAround)
• ToricVarieties: Add dictionaries linking homogeneous variables to rays (#2245) (@HereAround)
• Version 0.12.0 (#2250) (@thofma)