v0.10.1

Oscar v0.10.1

Diff since v0.10.0

Closed issues:

• Matrix group elements should act on "vectors". (#872)
• Multivariate rational function fields (#1261)
• Warning in serialization tests (#1407)
• Comparison of MPolyQuoIdeal's not correct (#1408)
• The incorrect displayed symbols in GAP online reference manual 39.7-6 CosetDecomposition. (#1409)
• Missing Base.in method for MPolyQuoIdeal (#1411)
• comparison of monomial orderings has a problem? (#1423)
• Oscar.jl/test/TropicalGeometry/initial.jl has a line that is 18 thousand characters long (#1425)
• Oscar.jl/test/TropicalGeometry/initial.jl has a line that is 18 thousand characters long (#1426)
• latest version of msolve (msolve_jll v0.2.5+0) seems to be buggy (#1431)
• Oscar.jl/test/TropicalGeometry/initial.jl fails when only a subset of the test suit is run (#1437)
• ToricVarieties: Bug in Stanley-Reisner ideal (#1440)
• random failure in Rings-conformance-tests (#1451)
• successful doctests on macos sometimes crashing on exit (#1473)
• Using F4 does not seem to correctly set the gb field of an ideal (#1481)
• F4 segfaults when exporting results back to Julia (#1484)

Merged pull requests:

• Warn in encodeType about unregistered type (#1406) (@fingolfin)
• Some improvements and polishing (#1410) (@AlexD97)
• add ideal_membership for MPolyQuoIdeal (#1413) (@tthsqe12)
• trivia... (#1414) (@fieker)
• First steps for free resolutions (#1415) (@ederc)
• Introduce standard bases for ideals (for non-global orderings). (#1416) (@HechtiDerLachs)
• bump singular version (#1417) (@tthsqe12)
• support all_atlas_group_infos (#1419) (@ThomasBreuer)
• all lifts are in singular.jl now (#1420) (@tthsqe12)
• removed a Base.:* method ... (#1421) (@ThomasBreuer)
• Adv/serializing field embeddings (#1422) (@antonydellavecchia)
• first small step in fixing the orderings (#1427) (@tthsqe12)
• Small bugfix for kernels of morphisms over localized rings. (#1428) (@HechtiDerLachs)
• Cb/update perm docs (#1429) (@CameronBraunstein)
• Msolve fixes (#1433) (@ederc)
• fixed code using names_of_fusion_sources (#1434) (@ThomasBreuer)
• Fundamental invariants (#1438) (@joschmitt)
• ToricVarieties bugfix: grading of Coxring for Hirzebruch surface wrongly set (#1439) (@HereAround)
• minimal_nonfaces: fix column number of IncidenceMatrix (#1441) (@benlorenz)
• Fix doctests for AA (#1442) (@thofma)
• Adv/cleanup polynomial serialization tests (#1443) (@antonydellavecchia)
• ToricVarieties: Extend conifold-transition example (#1444) (@HereAround)
• serialization: suppress + check warning on unknown polymake type (#1446) (@benlorenz)
• Move InvariantTheory to src (#1447) (@joschmitt)
• Fix orderings part1 (#1448) (@tthsqe12)
• added paper for later use (#1450) (@wdecker)
• missing init in product (#1453) (@tthsqe12)
• add algo parameter to galois_group(AnticNumberField) (#1454) (@fieker)
• Fix a @cite (#1456) (@fingolfin)
• singular->oscar ordering conversion (#1457) (@tthsqe12)
• renamed gap_perm to perm and removed all gap_perm references (#1458) (@CameronBraunstein)
• fixed orthogonal_sign (#1461) (@ThomasBreuer)
• docu triviadocu triviadocu triviadocu triviadocu triviadocu triviadoc… (#1462) (@wdecker)
• TropicalGeometry: removed excessive test (#1464) (@YueRen)
• fix typo(s) (#1465) (@fieker)
• test/Polyhedron: make sure output order stays the same (#1466) (@benlorenz)
• Update dependencies (#1467) (@thofma)
• moved documentation to functions (#1468) (@CameronBraunstein)
• Use AbstractAlgebra v0.27 (#1469) (@joschmitt)
• alg options for integral_basis (#1470) (@tthsqe12)
• Improve simplify; make ext/tor work again, add test (#1476) (@AlexD97)
• Adv/serialization ns field emb (#1478) (@antonydellavecchia)
• Fix for issue 1481 (#1482) (@ederc)
• added more type encodings to avoid warnings (#1483) (@antonydellavecchia)
• Adv/matrix serialization (#1486) (@antonydellavecchia)
• Fix some outdated imports (#1488) (@thofma)
• Bump depdencies and tag 0.10.1 (#1490) (@thofma)