v0.14.0
Oscar v0.14.0
What's Changed
- Reduce functionality by @ederc in #2759
- Two neighbor cleanup by @HechtiDerLachs in #2760
- Version 0.13.1-DEV by @fingolfin in #2764
- CI: use buildpkg@v1 by @benlorenz in #2770
- adjusting docu to PR #2759 by @wdecker in #2767
- Fix dim for affine schemes (#2369) by @paemurru in #2766
- Fix printing guidelines by @fingolfin in #2769
- Serialize some stuff in FTheoryTools by @lkastner in #2478
- Reenables duvalsing tests by @ederc in #2776
- Adv/serialize zz lat with isom retry by @antonydellavecchia in #2778
- More polish for elliptic surfaces by @simonbrandhorst in #2768
- Put weierstrass_chart back on the weierstrass_model by @HechtiDerLachs in #2782
- Make
check
as a keyword argument by @StevellM in #2763 - [ToricVarieties] Enhance blow_up method by @HechtiDerLachs in #2741
- some methods for computing orth. discriminants by @ThomasBreuer in #2748
- [ToricVarieties] Add total_space(E) by @mgemath in #2781
- fixes for empty containers by @antonydellavecchia in #2784
- Change some tabs to spaces by @fingolfin in #2785
- Combinatorics: Print graphs nicely by @lkastner in #2786
- Add filter to
convention(::TropicalSemiring)
doctest by @lgoettgens in #2787 - Printing for MPolyAnyMap by @simonbrandhorst in #2790
- PolyhedralGeometry: Enhance docs of solve_mixed by @lkastner in #2798
- Bump dependencies by @lgoettgens in #2796
- Sheaf cohomology tables and potential rework of Betti tables by @RafaelDavidMohr in #2392
- add permutation action on
FreeAssAlgElem
s by @ThomasBreuer in #2792 - fixup #2792: enable test file by @benlorenz in #2805
- Test algebraic independence by @wdecker in #2804
- Sb/print local rings by @simonbrandhorst in #2806
- Add
present_as_cokernel(::FreeMod)
dummy method by @RafaelDavidMohr in #2803 - add character field degrees to the stored data by @ThomasBreuer in #2800
- CI: add code coverage to doctests by @benlorenz in #2811
- Add
mres
andnres
Singular Calls for Free resolutions by @RafaelDavidMohr in #2500 - twisted modules by @wdecker in #2807
- all_small_groups: allow filtering by 'exponent' by @fingolfin in #2808
- automorphism_group fix for rank 0 matroids + added test by @Sequenzer in #2799
- Move
test_save_load_roundtrip
to init file by @lgoettgens in #2801 - Reorganize tests to always use runtests.jl files by @fingolfin in #2813
- Refactor
canonical_{in/pro}jection
by @lgoettgens in #2747 - LieAlgebras: Constructions for module homs by @lgoettgens in #2753
- Change 'nonnegative' to 'non-negative' for consistency by @fingolfin in #2815
- Toric morphisms to morphisms of covered schemes by @HechtiDerLachs in #2779
- Fix reference in doc by @joschmitt in #2821
- removes more singular_assure calls by @ederc in #2817
- Revise some character table tests to use a doctest by @fingolfin in #2824
- Make with_unicode() exception safe by @fingolfin in #2822
- LieAlgebras: Follow-up to #2753 by @lgoettgens in #2818
- Resolve some JET warnings by @fingolfin in #2812
- Fix CI breakage by @fingolfin in #2826
- Add missing elem_type, parent_type for RelativeBrauerGroup by @fingolfin in #2814
- Explicitly load various GAP package by @fingolfin in #2827
- changed the format of some
show
tests to usejldoctest
by @ThomasBreuer in #2828 - change
labelled_matrix_formatted
tests: usejldoctest
by @ThomasBreuer in #2830 - Further singular_assure removals by @ederc in #2829
QuadFormWithIsom
Patch 2: towards better time in CI by @StevellM in #2825- Cleaning up scalar support (Polyhedral Geometry) by @alexej-jordan in #2690
- fix Betti spacing by @jankoboehm in #2834
- Bump Hecke version by @thofma in #2838
- Free resolutions updates by @ederc in #2836
- Adv/serialization session bf by @antonydellavecchia in #2840
- Change
Linear_program
output to ASCII by @zkgeiselmann in #2841 - Make
print_constraints
use ASCII as default by @alexej-jordan in #2833 - Invariant rings with an existing polynomial ring by @joschmitt in #2845
- Remove functions moved to Hecke by @lgoettgens in #2846
- Remove trailing newlines in show methods by @fingolfin in #2849
- deduce finiteness of the normal subgroup in
quo
by @ThomasBreuer in #2842 - Repair quotient rings with traits by @HechtiDerLachs in #2789
- Fix doctest_fix for Documenter 1.0 by @fingolfin in #2852
- Resolve two small issues regarding direct products of groups by @joschmitt in #2588
- Remove redundant pretty calls, fix various
print
calls missing theio
argument by @fingolfin in #2794 - Revise printing of GAP groups and homomorphisms by @fingolfin in #2774
- add missing doctest markers, fix doctest by @benlorenz in #2859
- Fix printing of character tables in Jupyter by @fingolfin in #2857
- Remove spaces in morphism printing by @lgoettgens in #2856
- Nicer detailed printing for RelativeBrauerGroupElem by @fingolfin in #2858
- support both documenter versions in doctest helper code by @benlorenz in #2866
- PolyhedralGeometry: restrict signature of visualize, add visualize(SubdivisionOfPoints) by @benlorenz in #2863
- Computeralgebra Rundbrief by @HechtiDerLachs in #2854
- WIP on lazy toric glueings by @HechtiDerLachs in #2862
- fix for serializing 0 ideal by @antonydellavecchia in #2871
- PolyhedralGeometry: (re-)add visualize for oscarnumber by @benlorenz in #2867
- versioninfo: fix oscar branch+commit by @benlorenz in #2875
- Space Germs and Milnor Algebra/Number by @afkafkafk13 in #2860
- Implement Hessian matrix for polynomials by @HechtiDerLachs in #2868
- Another fix for printing of scheme-related types by @StevellM in #2864
- Connect our serialization with Julia serialization by @antonydellavecchia in #2837
- Refactor some Map printing code by @fingolfin in #2877
- Adjust printing of Galois context objects by @fingolfin in #2865
- Switch from FiniteField to finite_field by @fingolfin in #2872
- Facet and Vertex Properties of Polyhedra and Cones by @zkgeiselmann in #2797
- Fix doctest_fix(f::Function) by @fingolfin in #2880
- Groups: add minimal_generating_set by @fingolfin in #2816
- CyclotomicField -> cyclotomic_field and so on by @fingolfin in #2884
- Disable AlgClosureFp tests for now by @fingolfin in #2888
- Include AA conformance tests centrally by @fingolfin in #2883
- Call Oscar.randseed! at start of test suite by @fingolfin in #2809
- Better implementation of
show
methods for schemes by @StevellM in #2882 - Interface for blowups and blowdown morphisms by @HechtiDerLachs in #2780
- ToricVarieties: Support for immaculate line bundles by @HereAround in #2080
- Bump dependencies, adjust to changes by @fingolfin in #2903
- Enable GC logging in the test suite by @fingolfin in #2904
- ToricGeometry: Eliminate 'A' from printing by @lkastner in #2911
- Matroids: Choose edges of graph as ground set for cycle_matroid by @lkastner in #2887
- LieAlgebras: Restrict to work over fields only by @lgoettgens in #2901
- Update README.md example by @fingolfin in #2892
- Prefer graded_polynomial_ring over grade by @fingolfin in #2889
- Chow rings of matroids by @bschroter in #2905
- LieAlgebras: Adapt some tests by @lgoettgens in #2900
- Update to GAP.jl 0.10 by @fingolfin in #2912
- Cf work in progress by @fieker in #2870
- Fix sheaf_cohomology_bgg docstring, sheafCohTable printing by @fingolfin in #2890
- fix iso to GrpGen by @fieker in #2917
QuadFormWithIsom
: further cleanups + preparation for incoming new features by @StevellM in #2847- Bump
DocumenterCitations
tov1.0.0
by @lgoettgens in #2605 - General improvements for toric varieties by @HereAround in #2908
- UngradedModules: don't use display(...) in special show methods by @benlorenz in #2909
- Rename .bib item for ATLAS by @fingolfin in #2918
- add compat bounds for stdlibs (in preparation for julia nightly) by @benlorenz in #2921
- Add functions to get more series of subgroups by @fingolfin in #2728
- Version 0.14.0-DEV by @fingolfin in #2926
- LieAlgebras: Fix docstring by @lgoettgens in #2920
- remove src/Rings/affine-algebra-homs.jl by @benlorenz in #2923
- DevDocs: Do not use display by @lkastner in #2929
- Compare 'nothing' using === not == by @fingolfin in #2931
- Bump
Documenter.jl
tov1.0
by @lgoettgens in #2927 - Replace deprecated alias MPolyElem by MPolyRingElem by @fingolfin in #2932
- Add stdlib compat bounds to
test/Project.toml
by @lgoettgens in #2928 - Compare 'nothing' using === in more places by @fingolfin in #2933
- Exterior powers of finitely presented modules by @HechtiDerLachs in #2879
- Relax signature of
==(::MPolyIdeal, ::MPolyIdeal)
by @joschmitt in #2937 - All monomial for free standard graded modules by @HechtiDerLachs in #2894
- Simple Lie algebras and root systems by @voggesbe in #2572
- Add some more tests to the bibtool CI job by @lgoettgens in #2919
- Avoid various obsolete function and type names by @fingolfin in #2938
- Suppress noisy test by @lgoettgens in #2941
- Tests: automatically run all test files by @benlorenz in #2810
- Revamp
graded_polynomial_ring
by @fingolfin in #2940 - Fix show(io::IO, P::ProjSpc) by @fingolfin in #2945
- Fix test failures caused by
is_welldefined(M3_to_M1)
by @fingolfin in #2946 - Use graded_polynomial_ring in yet more places by @fingolfin in #2924
- Make LieAlgebras compatible with new testing routine by @lgoettgens in #2943
- Clean up PlaneCurve tests by @fingolfin in #2948
- PolyhedralFan: fix for trivial fans by @benlorenz in #2951
- Implement flattenings of graded polynomial rings by @HechtiDerLachs in #2906
- Style guide on optional arguments for parents of return values by @HechtiDerLachs in #2084
- Failing tests on master fail job by @lgoettgens in #2954
- Rename
mul
to*
by @lgoettgens in #2913 - Minor fixes for
QuadFormWithIsom
by @StevellM in #2957 - Polyhedral: add hash method for Cone + Polyhedron by @benlorenz in #2955
- Add a single ci job per group with depwarn=error by @lgoettgens in #2956
- Change ideal_of_linear_relations to use a graded ring by @fingolfin in #2944
- Rename
isweighted
->is_weighted
by @lgoettgens in #2953 - Add Coxeter Groups and Root Systems by @felix-roehrich in #2689
- init: warning for outdated manifest by @benlorenz in #2964
- De Rham complexes by @HechtiDerLachs in #2895
- Renaming of sheaf cohomology command by @ederc in #2969
- add
schur_multiplier
by @ThomasBreuer in #2965 - bug fix for containers by @antonydellavecchia in #2972
- Adjust some code to prior renamings by @fingolfin in #2973
- Allow choice of target while building systemimage by @aaruni96 in #2966
- rename files for windows compatibility, and shorten ipc test by @antonydellavecchia in #2979
- Adv/add version warning by @antonydellavecchia in #2975
- fixes regression loading vectors parametrized types by @antonydellavecchia in #2978
- Use find_morphism from Hecke by @thofma in #2989
- Deprecate a bunch of aliases by @fingolfin in #2980
- Serialization of quotient rings by @HechtiDerLachs in #2983
- Fix broken doctest by @thofma in #2990
- Replace yet more uses of grade by @fingolfin in #2985
- Implement some shortcut for isequal and improve checks by @HechtiDerLachs in #2986
- Replace type declarations by @fingolfin in #2981
- versioninfo: refactor and use the same code for serialization by @benlorenz in #2994
- Double complexes by @HechtiDerLachs in #2935
- Fix some type instability in fixed_field by @thofma in #2993
- Update to Singular 0.19.0 by @fingolfin in #2997
- Remove some trailing newlines in show methods by @fingolfin in #2996
- Fix up the is_complete issue by @HechtiDerLachs in #3001
- PolyhedralGeometry: Only consider relevant facets in star_subdivision by @lkastner in #3006
- first attempt to serialize some groups by @ThomasBreuer in #2410
- FTheoryTools: First extension to literature models over concrete bases by @HereAround in #3008
- PolyhedralGeometry: Simplify non-zero indices by @lkastner in #3007
- idealgens: remove isdefined checks for isGB by @benlorenz in #3009
- Polyhedral{Fan,Complex}: improve / add constructors from cones / polytopes by @benlorenz in #2959
- FTheoryTools: Overhaul resolve/blowup of global Tate models by @HereAround in #3012
- Update: Functionality for matroid realization spaces by @bschroter in #2925
- ToricGeometry: Eliminate set_attributes also from deprecations by @lkastner in #3015
- [FTheoryTools] More improvements by @HereAround in #3017
- Plane curves by @simonbrandhorst in #2988
- fixe for empty matrix serialization by @antonydellavecchia in #3016
- Hypercomplexes by @HechtiDerLachs in #2958
- [FTheoryTools] Desired_base_space -> base_space by @HereAround in #3020
- small additions, mainly
parent(chi)
by @ThomasBreuer in #3022 - Rename, extend, document and test
all_monomials
by @joschmitt in #3025 - Remove some type piracy to get rid of a warning by @simonbrandhorst in #3026
- Add docs and tests for CartanMatrix.jl by @felix-roehrich in #2982
- Revert "Disable AlgClosureFp tests for now (#2888)" by @lgoettgens in #3029
- Some cleanup in matroid code to avoid code duplication and improve type stability by @benlorenz in #3031
- Experimental: Add
BasisLieHighestWeight
by @lgoettgens in #2936 - Fix
doctest_fix
for submodules by @lgoettgens in #3028 - Bump Aqua to 0.8 and use more defaults by @lgoettgens in #3024
- Bump DocumenterCitations to 1.3 by @lgoettgens in #3003
- Module migration by @HechtiDerLachs in #3042
- fix a bug in _alg58_short_vector for K3Auto.jl by @simonbrandhorst in #3047
- Fix several things around root systems by @lgoettgens in #3048
- optimize BasisLieHighestWeight by @gfourier in #3046
- Address comments from #3048 by @lgoettgens in #3050
- Renaming of revlex, negrevlex, introduction of deginvlex by @ederc in #3038
- More on FTheory tools by @HereAround in #3037
- yr/tropicalBasics by @YueRen in #2832
- Clarify the right action on polynomials by @joschmitt in #3004
- Adjust invariant theory code to allow polynomial rings with ordering different from
:degrevlex
by @joschmitt in #3044 - Add initial CFF file by @jpthiele in #3053
- LieAlgebras: Add some small helper functions around simple modules by @lgoettgens in #3027
- Resolve warning
could not import Oscar.is_linearly_equivalent into PlaneCurveModule
by @lgoettgens in #3056 - Precise Johnson solids using serialization by @alexej-jordan in #3035
- Some improvements on the modules by @HechtiDerLachs in #3041
- Cleanup Schemes by @simonbrandhorst in #3063
- Make
_isometry_group_via_decomposition
optional by @StevellM in #3065 - [FTheoryTools] More improvements by @HereAround in #3052
- [FTheoryTools] More improvements by @HereAround in #3066
- Refactor graphs, streamline some polyhedral constructors by @lkastner in #2952
- rename components to connected_components and deprecate by @simonbrandhorst in #3064
- Make toric divisors compatible with Weil divisors on schemes by @HechtiDerLachs in #2963
- fix two tests in preparation for julia nightly by @benlorenz in #3033
- adds local cohomology method for computing sheaf cohomology by @RafaelDavidMohr in #3058
- Adv/refactor load by @antonydellavecchia in #3032
- Remove instance dispatches for
{elem,parent}_type
by @lgoettgens in #3068 - [FTheoryTools] Yet more improvements by @HereAround in #3069
- Bump dependencies by @thofma in #3071
- Derive ModuleFP from AbstractAlgebra.Module by @fingolfin in #3078
- removed unnecessary deepcopy by @antonydellavecchia in #3094
- Fixes sheaf cohomology printing, adds check that coefficient ring is a field by @RafaelDavidMohr in #3087
- Avoid factoring zero by @lgoettgens in #3104
- Primary decomposition rerouting by @HechtiDerLachs in #3091
- Rename groebner_basis(::MPolyQuoRing) by @thofma in #3100
- Follow-up to #3087 by @lgoettgens in #3095
- Add sqrt and cbrt functions for QQAbElem by @aaruni96 in #3096
- Add missing ring interface function for AlgClosure by @thofma in #3113
- Adv/serialization for multigraded implicitization by @antonydellavecchia in #3079
- adjust docu w.r.t. the
quo
constructor by @wdecker in #3103 - [FTheoryTools] More improvements by @HereAround in #3097
- Saturation by @ederc in #3117
- Comply to changes in Hecke by @StevellM in #3120
- Adjust to Hecke changes: Make the
depth
parameter accessible by @joschmitt in #3124 - Random subquotient module elements and homomorphisms by @jankoboehm in #3122
- Unexport
compositions
by @lgoettgens in #3128 - Two trivial changes by @fingolfin in #3130
- Add missing 'check' argument to many divexact methods by @fingolfin in #3126
- Up to date by @fieker in #3123
- Use proper morphisms in primary decomposition helpers by @thofma in #3109
- Edit
.gitignore
by @lgoettgens in #3134 - Further functionality for hyper complexes by @HechtiDerLachs in #3021
- init: fix manifest check for latest nightly by @benlorenz in #3135
- Add
characteristic
forQQAbField
by @lgoettgens in #3137 - Change
on_subgroups
action to use the GAP interface by @StevellM in #3121 - Fix usage of assure by @jankoboehm in #2732
- Re-export deprecated bindings from AA and Nemo by @fingolfin in #3132
- [FTheoryTools] New constructor for literature models by @HereAround in #3119
- Resolve CI issue of a PR in Hecke by @StevellM in #3140
- Fix conversion bug for PBWAlgQuo elements by @JohnAAbbott in #3133
- test: make worker print test name at the beginning by @thofma in #3142
- Normal form from msolve by @ederc in #3116
- fix
quo
if the result is a group of automorphisms by @ThomasBreuer in #3148 - Resolve some issues of unbound type parameters by @lgoettgens in #3060
- fix: minor fix for upcoming broadcasting changes by @thofma in #3149
- Cleanup of
SymmetricIntersections
by @StevellM in #3150 - Sort GAP wrappers using 'sort -f' by @fingolfin in #3151
- Optimize
BasisLieHighestWeight
by @gfourier in #3101 - Implement Jacobian criterion for projective varieties by @paemurru in #3111
- feat: bump dependencies by @thofma in #3153
- Update
.mailmap
by @lgoettgens in #3138 - Use julia 1.10 as default in CI by @lgoettgens in #3144
- Force a finiteness check for matrix groups over infinite fields in
describe
by @lgoettgens in #3157 - Use more GAPWrap by @lgoettgens in #3163
- Improve documentation of
doctest_fix
by @lgoettgens in #3155 - Make some group function names consistent with overall naming by @lgoettgens in #3158
- Split macOS CI jobs by @lgoettgens in #3161
- Fiber products by @HechtiDerLachs in #3129
- Tag 0.14.0 by @thofma in #3114
New Contributors
- @zkgeiselmann made their first contribution in #2841
- @voggesbe made their first contribution in #2572
- @felix-roehrich made their first contribution in #2689
- @jpthiele made their first contribution in #3053
Full Changelog: v0.13.0...v0.14.0