v0.12.1

Oscar v0.12.1

Diff since v0.12.0

Closed issues:

• Use of non-ASCII characters in output (#569)
• Implement proper support for GL(n, ResidueRing(ZZ,k)) (#649)
• Support symbols resp. strings in GF and FiniteField the same way as in PolynomialRing (#862)
• Help mode for lift lists a docstring for data(R::GFElem), shouldn't (#866)
• allow coefficient_ring for ideals (#911)
• singular_poly_ring(::MPolyQuo) potentially ignores the given ordering (#1190)
• Add a more convenient way to enter permutation groups (#1907)
• Add CI tests to our projects looking for "bad" exports (#1964)
• Release OSCAR 0.12.0 (#2054)
• Developer Docs: rule (or rather, "recommendation") for file names (#2117)
• Documentation: Extra TOC at the beginning really necessary? (#2134)
• deepcopy for module elems (#2152)
• Free resolution broken in some cases (#2172)
• CI tests failing with Julia nightly / Ubuntu (#2187)
• Oscar need to precompile every time load it. (#2203)
• Unify kwarg names alg vs. algo vs. algorithm vs other (#2258)
• GAP OscarInterface / Alnuth tests slow down orthogonal_group(ZLattice) (#2259)
• Documentation updates are not deployed anymore (#2274)
• ExteriorAlgebra failing on nightly (#2283)
• Total degree ignores the grading (#2285)
• Maintain order of rays/variables after toric blow_up (#2286)
• gens is broken for the Gröbner basis cashed for quotient ideals (#2292)
• Running tests following commits (#2304)
• Problems with PolyhedralFan constructor, when lineality information is passed as SubObjectIterator{RayVector{QQFieldElem}} (#2305)
• Semantic conflict between gens(U::PrincipalOpenSubset) and getindex(U::PrincipalOpenSubset, i::Int) (#2324)
• Degree in a graded module (#2344)
• Excessive memory consumption in euler_phi_inv (#2367)
• Move test dependencies from Project.toml's [extra] to test/Project.toml (#2374)
• OscarCI-doctest failures in upstream projects (#2413)

Merged pull requests:

• IntersectionTheory again (#1986) (@thofma)
• Run doctests in Julia >= 1.7 (#2171) (@fingolfin)
• pretty printing for quotients, graded and localized multivariate polynomial rings (#2184) (@simonbrandhorst)
• Extend support for IncidenceMatrix (#2202) (@alexej-jordan)
• LieAlgebras: More Lie algebra constructions from/to GAP (#2207) (@lgoettgens)
• Graded subquotient modules (#2236) (@jankoboehm)
• Projective schemes documentation (#2248) (@HechtiDerLachs)
• support Oscar.iso_gap_oscar for Alnuth's FieldByMatrices (#2254) (@ThomasBreuer)
• Experimental template (#2257) (@HechtiDerLachs)
• LieAlgebras: Enhance module interface (#2262) (@lgoettgens)
• Varieties docu (#2267) (@simonbrandhorst)
• LieAlgebras: Fix combinatorics tests (#2268) (@lgoettgens)
• workaround for a bug in GAP.Globals.TestDirectory (#2269) (@ThomasBreuer)
• Better printing for weyl_algebra & exterior_algebra (#2270) (@JohnAAbbott)
• Intersection of ideals (#2271) (@ederc)
• Refactoring styleguide (#2272) (@lkastner)
• Fix Alnuth override when Oscar is not in Main (#2273) (@fingolfin)
• docs: remove unnecessary @setup blocks (#2276) (@fingolfin)
• Revert "Update TagBot.yml" (#2277) (@lgoettgens)
• Add v0.12.0 docs (#2278) (@lgoettgens)
• make sure that certain GAP packages are loaded (#2279) (@ThomasBreuer)
• Revise some AffAlgHom functionality (and related things) (#2280) (@joschmitt)
• ToricVarieties: Fix bug in toric blow_up (#2281) (@HereAround)
• docs: remove @contents blocks (#2282) (@fingolfin)
• [ToricSchemes] Overhaul to align with experimental structure (#2284) (@HereAround)
• Enhance star_subdivision (#2287) (@lkastner)
• provide @permutation_group and permutation_group (#2288) (@ThomasBreuer)
• Use 'VarName' instead of Symbol/String/Char (#2289) (@fingolfin)
• Define total degree and add docstring for total_degree (#2290) (@wdecker)
• Rework of minimal_generating_set for graded polynomial ideals and graded quotient ideals (#2291) (@RafaelDavidMohr)
• oscar_assure fix for MPolyQuoIdeals (#2293) (@ederc)
• Change a @test_broken into @test (#2294) (@fingolfin)
• Use kwarg 'algorithm' instead of 'alg', 'algo' (#2296) (@fingolfin)
• Yet more uses of @Req (plus some other random cleanup) (#2297) (@fingolfin)
• Notions of transform (cleanup) (#2302) (@afkafkafk13)
• cyclic_generator for groups, is_faithful for characters; make findfirst(fun, t::GAPGroupCharacterTable) work (#2303) (@ThomasBreuer)
• TropicalGeometry: groebner_fan.jl, new implementation for Groebner fans (#2306) (@YueRen)
• use unhomogenized_matrix for construction of Cone and PolyhedralFan (#2308) (@alexej-jordan)
• changed the setup for iso_gap_oscar (#2309) (@ThomasBreuer)
• Prefer 'Return' over 'Returns' in docstrings (#2310) (@fingolfin)
• Use codecovs after_n_builds (#2314) (@lgoettgens)
• Prefer gen(A,i) over gens(A)[i] (#2316) (@fingolfin)
• FTheoryTools: Rename Y4 to cy_hypersurface (#2318) (@HereAround)
• Replace _print_comma_list -> join (#2319) (@fingolfin)
• Use VarName in yet more places (#2320) (@fingolfin)
• Literature models - first steps (#2321) (@HereAround)
• Add coefficient_ring(I::MPolyIdeal) (#2322) (@fingolfin)
• FTheoryTools: Minor changes (#2323) (@HereAround)
• fixed is_subgroup(H::T, G::T) where T <: GAPGroup (#2325) (@ThomasBreuer)
• Make gens consistent for PrincipalOpenSubset. (#2326) (@HechtiDerLachs)
• Global h2 (#2328) (@fieker)
• move Wolfram's surfaces into serialised stuff (#2329) (@fieker)
• coordinates for characters, constructors for projective classical groups (#2332) (@ThomasBreuer)
• Replace GAP variable _Vector_nf_elem in Julia (#2333) (@fingolfin)
• more functionality + start docu graded modules (#2334) (@wdecker)
• [PolyhedralGeometry] Improve fan constructor (#2337) (@lkastner)
• some examples for graded modules (#2338) (@jankoboehm)
• [FTheoryTools] Provide link to tutorial (#2339) (@HereAround)
• Irreducible Decomposition for Cartier divisors (#2340) (@afkafkafk13)
• New naming conventions in PolyhedralGeometry (#2342) (@lkastner)
• bugfix: add missing copy call (#2343) (@fingolfin)
• activate the name printing from AA. (#2345) (@fieker)
• More on F-TheoryTools and ToricSchemes (#2347) (@HereAround)
• Avoid conversions Symbol -> String -> Symbol (#2348) (@fingolfin)
• temporarily disable a jldoctest (#2349) (@ThomasBreuer)
• fix printing of GL(n, residue_ring(ZZ,4)) (#2350) (@lgoettgens)
• Add missing deepcopy_internal methods for module elems (#2351) (@lgoettgens)
• polyhedral: random subpolytope construction (#2353) (@micjoswig)
• Rename files according to styleguide (#2354) (@lkastner)
• Change oscar, OSCAR -> Oscar in our test suite (#2355) (@fingolfin)
• (Even) more changes in FTheoryTools (#2357) (@HereAround)
• small generating set (#2358) (@afkafkafk13)
• Misc refactorings (#2359) (@lkastner)
• improved documentation for Oscar.iso_oscar_gap (#2360) (@ThomasBreuer)
• Left over from #2359 (#2363) (@lkastner)
• Small changes to intersection theory (#2364) (@wdecker)
• Document the GAP integration in Oscar (#2365) (@ThomasBreuer)
• Remove FreeModElem(::SRow, ::FreeMod_dec) (#2368) (@lgoettgens)
• Add Aqua.jl for some static testing (#2370) (@lgoettgens)
• Adjust to recent printing changes (#2377) (@thofma)
• update_version: Fix disappearing , in README.md (#2378) (@lkastner)
• [FTheoryTools] Add literature models (#2379) (@apturner)
• Small fixes in docs/make_work.jl (#2380) (@lgoettgens)
• Move test dependencies from Project.toml's [extra] to test/Project.toml (#2386) (@lgoettgens)
• Reduction mod p for schemes (#2387) (@HechtiDerLachs)
• Document the GAP integration in Oscar (minor improvements) (#2389) (@ThomasBreuer)
• Update SymmetricIntersections (#2390) (@StevellM)
• Rename some functions from Hecke (#2391) (@StevellM)
• TropicalGeometry: moved outside AlgebraicGeometry (#2393) (@YueRen)
• Fix solve (#2394) (@fieker)
• more examples for graded modules (#2395) (@wdecker)
• [ToricVarieties] Bugfixes in toric line bundles (#2396) (@HereAround)
• Cleanup some using statements (#2397) (@fingolfin)
• generalize matrix_action_on_cones (#2398) (@ThomasBreuer)
• TropicalGeometry: moved tropical geometry tests (#2399) (@YueRen)
• Disable superfluous internal checks systematically. (#2401) (@HechtiDerLachs)
• absolute_primary_decomposition: In the graded case, return conjugate … (#2404) (@wdecker)
• Remove MPolyRingSparse from experimental (#2405) (@lgoettgens)
• Gradedmdeg (#2408) (@jankoboehm)
• Fix a bunch of typos (#2412) (@fingolfin)
• Introduce shifted_module for localizations at rational points. (#2417) (@HechtiDerLachs)
• added multiplicities_eigenvalues for characters (#2419) (@ThomasBreuer)
• [FTheoryTools] More updates to literature models (#2420) (@apturner)
• Do not mess with documentation of upstream packages (#2421) (@thofma)
• Tweaks for the documentation build (#2423) (@thofma)
• Make algebraic sets and varieties internal (#2424) (@simonbrandhorst)
• Disable an internal check (#2428) (@thofma)
• Version 0.12.1 (#2429) (@thofma)