Oscar.jl 0.12.0 released

17 Apr 2023

Today Oscar.jl 0.12.0 has been released.

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)