v0.11.0

Oscar v0.11.0

Diff since v0.10.2

Closed issues:

• Detect whether build dependencies are present, error out with helpful message if not (#83)
• Groups: the trivial group should be considered as a p-group (#121)
• Group: issubgroup convention (#163)
• fraction in quotient ring (#264)
• Do not export SymmetricGroup and some other stuff from AbstractAlgebra (#353)
• Problem with sqrtmod with powers of 2 (#437)
• functions related to hilbert_polynomial use unsafe Int arithmetic and an odd mix of fmpz/fmpq arithmetic (#573)
• singular_module (#682)
• Add Combinatorics chapters to manual (with graphs, simplicial complexes, etc.) and fix reference entries (#753)
• Coerce coefficients into coefficient ring when defining polynomials (#766)
• Singular ring coercion riddle (#975)
• trivial groups are non-trivial...`` (#980)
• Allow *(::Vector/Matrix{fmpq}, ::fmpq/fmpz), //(::Vector/Matrix{fmpq}, ::fmpq/fmpz) and *(::Vector/Matrix{fmpz}, ::fmpz) (#1088)
• CI test failure in Julia nightly due to Unicode changes (#1140)
• ToricVarieties: Interplay with polyhedral geometry and performance (#1258)
• Inconsistent use of is and is_ in function names (#1265)
• Don't export SymmetricGroup resp. replace it with an alias for symmetric_group (#1418)
• Documentation: Explain how to execute the doctests (#1504)
• ideal membership crashes for MPolyQuoIdeal in 'fake' quotient rings Q = R/(0) (#1530)
• Subgroup of automorphism group hanging(?) (#1531)
• divrem goes into overflow for quotient rings (#1534)
• Intersection of submodules makes trouble (#1546)
• Something goes wrong in the submodule constructor (#1547)
• automorphism (groups) (#1556)
• Bug in affine_cone (#1580)
• Coerce element from subgroup (#1599)
• quick clarification on bug in induced_ring_ordering (#1643)
• Implement weighted projective space as toric variety, scheme and possibly more (#1644)
• Should affine schemes have an ambient space. (#1664)
• ambiguous evaluate (#1668)
• Crash in PolyhedralGeometry (caused by OpenMP code?) (#1674)
• solve_mixed should check arguments for consistency (#1678)

Merged pull requests:

• deal (badly) with non-trivial Schur index (#1435) (@fieker)
• ToricVarieties: Chow ring (#1449) (@HereAround)
• ToricVarieties: Toric morphisms (#1460) (@HereAround)
• msolve -> AlgebraicSolving (#1474) (@ederc)
• docu to (most of) #1511 (#1518) (@wdecker)
• smaller powers in random loc elems (#1519) (@tthsqe12)
• Orthogonal groups via orthogonal decomposition (#1520) (@simonbrandhorst)
• update Singular.jl to 0.13 (#1521) (@tthsqe12)
• Fix task in direct_product and type in homology (#1522) (@AlexD97)
• Remove duplicate method for PBW algebras (#1523) (@thofma)
• Extend Docu w.r.t. modules (commutative); PBW-algebras (#1524) (@wdecker)
• Serialize QuadraticSpace and ZLat (#1525) (@simonbrandhorst)
• Adv/serialize power series (#1526) (@antonydellavecchia)
• Extending docu on PBW-algebras as template for @tthsqe12 (#1527) (@wdecker)
• change to left_ideal and two_sided_ideal in pwb_algebra (#1528) (@tthsqe12)
• Improving docu w.r.t. module morphisms (#1529) (@wdecker)
• provide check argument for sub (#1532) (@ThomasBreuer)
• allow an MPolyRing in place of variables in ordering constructors (#1533) (@tthsqe12)
• add opposite_ordering (#1535) (@tthsqe12)
• Spec retying (#1537) (@HechtiDerLachs)
• show a character table optionally with the degrees of the character fields (#1539) (@ThomasBreuer)
• pbw_algebra: add opposite_algebra and right ideals (#1541) (@tthsqe12)
• Type correction, start docu on chain complexes (#1542) (@wdecker)
• Hilbert series (#1543) (@HechtiDerLachs)
• WIP: Toric varieties and covered schemes (#1544) (@HechtiDerLachs)
• Some improvements to UngradedModules.jl (#1545) (@AlexD97)
• Some tweaks related to check (#1548) (@fingolfin)
• Resolve clash between delpezzo and del_pezzo (#1549) (@fingolfin)
• Add epimorphism_from_free_group (#1550) (@fingolfin)
• calling polymake grassman plucker ideal from Oscar (#1551) (@antonydellavecchia)
• Fix warnings (#1552) (@fingolfin)
• Remove strange 'vertices' method (#1553) (@fingolfin)
• more on modules in docmore on modules in docu (#1554) (@wdecker)
• Fix #1546 (#1555) (@AlexD97)
• Tiny allocations (#1558) (@alexej-jordan)
• added atlas_subgroup (#1559) (@ThomasBreuer)
• Small bugfix in the localizations. (#1560) (@HechtiDerLachs)
• Projective modules (#1561) (@HechtiDerLachs)
• Resolve issues with automorphisms and Graphs and more general things (#1565) (@lkastner)
• DevDocs: Mention how to run doctests (#1566) (@lkastner)
• docs: mutable pitfalls (#1568) (@tthsqe12)
• Adv/fix tuple serialization (#1569) (@antonydellavecchia)
• Fix syntax error in the documentation (#1570) (@fingolfin)
• Fixes for intersections and coverings (#1571) (@simonbrandhorst)
• Add docstrings for build_doc and test_module (#1572) (@lkastner)
• Function fields for irreducible varieties (#1573) (@HechtiDerLachs)
• Add is_pgroup_with_prime, prime_pgroup (#1574) (@fingolfin)
• Tweak alternating_group and symmetric_group (#1575) (@fingolfin)
• Make @registerSerializationType more broadly applicable (#1576) (@fingolfin)
• Factor out some common code from matrix group constructors (#1577) (@fingolfin)
• Change some group constructors to accept fmpz, PosInf (#1578) (@fingolfin)
• Rename homogeneous_poly_ring to ambient_ring (#1579) (@simonbrandhorst)
• Extended docu for PBW-algebras following PR #1541 (#1581) (@wdecker)
• Tests for AffineSchemes (#1582) (@simonbrandhorst)
• Some test for #1530 (#1583) (@thofma)
• Relations of fundamental invariants (#1584) (@joschmitt)
• Fix 1580 (#1586) (@HechtiDerLachs)
• Tests for SpecOpen and rename restriction to restrict (#1588) (@simonbrandhorst)
• Prepare for changes in shortest_vectors (#1589) (@thofma)
• Untangle intro for new developers (#1590) (@lkastner)
• Better pbw ideals arith (#1591) (@tthsqe12)
• Modulus handling (#1593) (@afkafkafk13)
• Automorphism groups for polytopes (#1594) (@lkastner)
• Ideal gens merge (#1595) (@AlexD97)
• Some docu text to prepare for further discussions on elimination in P… (#1596) (@wdecker)
• bug in issubset for right ideals (#1598) (@tthsqe12)
• Change most uses of GAP.julia_to_gap to GAP.Obj (#1600) (@fingolfin)
• Examples in Docu following PR #1591 (#1601) (@wdecker)
• Header files for schemes (#1602) (@HechtiDerLachs)
• compute the Schur index via a GAP function (#1603) (@ThomasBreuer)
• Add documentation for Integer Lattices (#1604) (@simonbrandhorst)
• Allow coercion of group elements to new parents (#1605) (@fingolfin)
• FAQ entry for gnu parallel error (#1606) (@benlorenz)
• replace is_canonically_isomorphic by == and some Dicts by IdDicts (#1608) (@simonbrandhorst)
• PolyhedralGeometry: Add mixed integer linear programs (MILP) (#1609) (@lkastner)
• Add a test for fiber product (#1610) (@simonbrandhorst)
• Tests and cleanup for projective and covered schemes (#1611) (@simonbrandhorst)
• Rewrite docu as template for cleaning up orderings.jl (#1612) (@wdecker)
• Some tests and cleanup for glueings. (#1613) (@HechtiDerLachs)
• CI: update to v3 of actions/checkout (#1616) (@fingolfin)
• Use the coefficient map in _check_imgs_quo (#1620) (@joschmitt)
• pbw_algbra: left_ideal eliminate (#1621) (@tthsqe12)
• switch off GAP Info messages earlier (#1622) (@ThomasBreuer)
• Tweak Hilbert series code (#1624) (@fingolfin)
• Singularities (#1625) (@afkafkafk13)
• More cleanup and tests (#1626) (@HechtiDerLachs)
• More orderings fixes (#1627) (@tthsqe12)
• added orbit_representatives_and_stabilizers (#1628) (@ThomasBreuer)
• Revert "Temporarily disable printing test for julia master (#1156)" (#1629) (@fingolfin)
• WIP docu adjustments to PR #1627 (#1631) (@wdecker)
• Cleanup and tests for covered schemes. (#1632) (@HechtiDerLachs)
• Sheaves on covered schemes (#1634) (@HechtiDerLachs)
• cmp for MPolyElem monomials (#1635) (@tthsqe12)
• Reduce allocations in Polyhedral Geometry (#1637) (@alexej-jordan)
• Implement the check for being zero divisors for affine algebras. (#1638) (@HechtiDerLachs)
• fixed grasmann typo (#1639) (@antonydellavecchia)
• add module orderings to docu (#1640) (@wdecker)
• Pbw ideal eliminate finish (#1641) (@tthsqe12)
• Add /docs/fourtitwo.json to gitignore (#1642) (@HereAround)
• complete module term orderings (#1645) (@tthsqe12)
• ToricVarieties: Implement weighted projective space (#1646) (@HereAround)
• Examples for elimination in PBW-algebras (#1647) (@wdecker)
• pbw_algebra: fix bug in two sided elimination (#1648) (@tthsqe12)
• ToricVarieties: Further improvements (#1650) (@HereAround)
• Migration of affine schemes (#1652) (@HereAround)
• Ideal sheaves -- once again (#1653) (@HechtiDerLachs)
• Standard basis fixes (#1655) (@ederc)
• Prevent tests from polluting git dir with fourtitwo.json files (#1656) (@fingolfin)
• Fix overflows and type stability in hilbert_* (#1660) (@fingolfin)
• Fix typos found with codespell (#1665) (@fingolfin)
• Better type stability for MPolyQuo (#1667) (@fingolfin)
• make OSCAR's evaluate a bit more specific (#1673) (@tthsqe12)
• ToricVarieties: More improvements (#1676) (@HereAround)
• Fix coercion TorQuadModMor -> AutomorphismGroupElem{TorQuadMod} (#1677) (@StevellM)
• PolyhedralGeometry: solve_mixed input checks (#1679) (@lkastner)
• Second round of migration of the schemes (#1680) (@HechtiDerLachs)
• Migration of schemes part iii (#1681) (@HechtiDerLachs)
• Migration of schemes part iv (#1682) (@HechtiDerLachs)
• Introduce ambient_affine_space of an affine scheme (#1683) (@simonbrandhorst)
• added symmetrizations of group characters (#1685) (@ThomasBreuer)
• bump singular.jl to 0.14 (#1686) (@tthsqe12)
• remove ambient_closure_ideal from docs (#1690) (@simonbrandhorst)
• Remove unused type parameter (#1692) (@thofma)
• Agnostic saturated ideal and modulus (#1693) (@afkafkafk13)
• fix coordinate typo (#1698) (@CameronBraunstein)