v1.0.0

Oscar v1.0.0

Diff since v0.14.0

Merged pull requests:

• Draft - InvRing for SLn (#2823) (@Lax202)
• Set-Partitions for Experimental (#2977) (@pinguly)
• Address a bunch of JET and Aqua issues (#2995) (@fingolfin)
• different data format for pc group serialization (#3018) (@ThomasBreuer)
• More functionality for Weyl groups (#3051) (@felix-roehrich)
• New method to convert toric divisors into Weil divisors (#3076) (@HechtiDerLachs)
• Streamline powers of Lie algebra modules (#3081) (@lgoettgens)
• Remove some dead code (#3090) (@fingolfin)
• Adv/serialization upgrades docs (#3112) (@antonydellavecchia)
• [FTheoryTools] More improvements (#3146) (@HereAround)
• Sheaf cohomology rebase (#3154) (@HechtiDerLachs)
• Promote JuLie to src (#3159) (@joschmitt)
• QuadFormAndIsom: more features (#3160) (@StevellM)
• CI: add julia-cache action for github ci (#3164) (@benlorenz)
• Yr/tropical bugs (#3169) (@YueRen)
• Rename two functions to avoid confusion with is_<property>_with_<extrastuff> functions (#3170) (@lgoettgens)
• Rename are_algebraically_independent (#3172) (@lgoettgens)
• Renaming for localizations (#3174) (@HechtiDerLachs)
• Renaming for schemes (#3175) (@HechtiDerLachs)
• Version 0.15.0-DEV (#3176) (@lgoettgens)
• Replace some instances of 'typeof(a)<:b' by 'a isa b' (#3177) (@fingolfin)
• Delete the old plane curves and projective space (#3179) (@simonbrandhorst)
• Rename jacobi_matrix to jacobian_matrix (#3180) (@paemurru)
• renaming for the book and speed up (#3181) (@gfourier)
• Fix one docstring typo (#3182) (@paemurru)
• Catch empty polynomial ring in matroid code (#3183) (@joschmitt)
• Two bugs in tropical_polynomial (#3187) (@YueRen)
• Fix a typo in the documentation (#3188) (@joschmitt)
• Degree for finite affine schemes (#3189) (@ooinaruhugh)
• fix some problems with group automorphisms (#3190) (@ThomasBreuer)
• Add some more functionality, docs and tests for root systems (#3191) (@lgoettgens)
• Fixes length for free resolutions (#3194) (@ederc)
• Glueing to gluing (#3195) (@HechtiDerLachs)
• Some more changes for the book (#3200) (@HechtiDerLachs)
• Make inj/proj of products groups consistent with other products objects (#3201) (@lgoettgens)
• fix: workaround for bug in new flint binaries (#3203) (@thofma)
• Remove ambient closure ideal (#3205) (@HechtiDerLachs)
• Revert "fix: workaround for bug in new flint binaries (#3203)" (#3206) (@benlorenz)
• Rename some methods (#3208) (@HechtiDerLachs)
• Fix #3107 (#3211) (@HechtiDerLachs)
• TropicalGeometry: fixed bug in binomial tropical varieties (#3212) (@YueRen)
• Remove trailing newline in labelled matrix printing (#3213) (@joschmitt)
• docs: fix reference to intersection -> intersect (#3214) (@benlorenz)
• Initial ideals and marked Groebner bases from TropicalGeometry/groebner_fan.jl/groebner_fan (#3215) (@ooinaruhugh)
• add special objects for subgroup transversals (#3216) (@ThomasBreuer)
• Polish linear strands (#3218) (@HechtiDerLachs)
• upgrade selected GAP packages at startup (#3222) (@ThomasBreuer)
• let right_cosets return a G-set (#3223) (@ThomasBreuer)
• Minor fix for show method of character tables; fix printing of named groups like SL(2,2) in some situations (#3226) (@fingolfin)
• tests: start message for ipc.jl, explicit GC call (#3229) (@benlorenz)
• Make new versions of AA, Nemo, Hecke available (#3231) (@lgoettgens)
• Exact arithmetic check for Gröbner related functionality (#3232) (@ederc)
• Fix function name in docstring (#3233) (@StevellM)
• deprecate SimplicialComplex for simplicial_complex (#3234) (@antonydellavecchia)
• change show for nat. symmetric/alternating groups (#3235) (@ThomasBreuer)
• added text to a "TODO" FAQ concerning GAP packages (#3236) (@ThomasBreuer)
• Adds prune_with_map (#3239) (@RafaelDavidMohr)
• Simple fixes for sheaf cohomology computation (#3241) (@HechtiDerLachs)
• Some group theory changes for the OSCAR book (#3242) (@fingolfin)
• better printing for RelativeBrauerGroupElem (#3243) (@fieker)
• Adjust casing in show(::MatroidRealizationSpace) (#3244) (@lgoettgens)
• CI: disable nightly for macos to reduce test time (#3245) (@benlorenz)
• Serialization: disable IPC test until #3184 is solved (#3246) (@benlorenz)
• move tropical geometry up (#3247) (@fieker)
• use stored OD values for factor groups (#3248) (@ThomasBreuer)
• Fix casing in show(::AlgClosure) (#3249) (@lgoettgens)
• Implement printing guidelines for multivariate ideals (#3250) (@joschmitt)
• [FTheoryTools] More improvements (#3251) (@HereAround)
• Rename issubset to is_subscheme for subschemes (#3202) (#3252) (@paemurru)
• Adv+ac/phylogenetic trees (#3255) (@andreicomaneci)
• Remove obsolete getindex methods for accessing generators (#3260) (@fingolfin)
• Fix printing of exterior powers of modules (#3263) (@HechtiDerLachs)
• add show_OD_info (#3267) (@ThomasBreuer)
• add G-set functionality for conjugacy classes (#3268) (@ThomasBreuer)
• Adapt unicode printing guidelines (#3269) (@lgoettgens)
• Adapt unicode printing of exterior powers of Lie algebra modules (#3270) (@lgoettgens)
• Wrap tests/doctests into with_unicode(false) (#3271) (@lgoettgens)
• Rename number_of_* functions (#3272) (@lgoettgens)
• feat: adjust for upcoming indexing changes (#3276) (@thofma)
• polyhedron: make sure empty [] vector works as right hand side (#3278) (@benlorenz)
• CI: adjust test subgroups, try macos aarch64 runner for one subgroup and doctests (#3280) (@benlorenz)
• add is_conjugate_subgroup_with_data (#3281) (@ThomasBreuer)
• Prepare for algebraic_closure(::QQField) (#3283) (@lgoettgens)
• Fix broadcast for PointVector/RayVector (#3285) (@alexej-jordan)
• Adjust to AA/Nemo/Hecke (#3288) (@joschmitt)
• Say 'Polytope' in show if it is known that a Polyhedron is bounded (#3289) (@micjoswig)
• Add two missing Lowercase() (#3290) (@fingolfin)
• rename and change some *_reps functions (#3291) (@ThomasBreuer)
• Fixed two bugs in the matroid realization code (#3292) (@LukasKuehne)
• Reduce test noise (#3293) (@lgoettgens)
• add support to adjoin many elements (#3294) (@fieker)
• Remove two temporary files (#3295) (@lgoettgens)
• let left_cosets return a G-set (#3297) (@ThomasBreuer)
• Fixes for the degree function (#3298) (@HechtiDerLachs)
• Add describe(G::MultTableGroup) (#3299) (@fingolfin)
• added graph_from_edges function (#3300) (@Sequenzer)
• Fix deprecation testjob (#3301) (@lgoettgens)
• Simplify and unify GAP iteration code (#3302) (@fingolfin)
• Add serialization upgrade script for type renaming (#3303) (@lgoettgens)
• change one line printing of affine schemes from V(...) to scheme(...) (#3306) (@simonbrandhorst)
• Polyhedral: rework input type handling, add support for QQBarField objects (#3308) (@benlorenz)
• docs: reorder & regroup permutation groups chapter (#3309) (@fingolfin)
• Support matrix groups over QQBar (#3310) (@fingolfin)
• Bump Hecke version, fix some regressions (#3311) (@thofma)
• Fix deprecation error (#3312) (@lgoettgens)
• Add a missing LowercaseOff (#3313) (@lgoettgens)
• Add missing hash methods for maps (#3315) (@fingolfin)
• Prepare for name printing changes in AA (#3318) (@lgoettgens)
• Sort out some weird formatting issue (#3320) (@joschmitt)
• Adv/serialize gb (#3321) (@antonydellavecchia)
• Fix a doc string typo (#3323) (@joschmitt)
• Added function to compute defining ideal of flag variety (#3324) (@danteluber)
• Adv/upgrade regression fix (#3325) (@antonydellavecchia)
• Add .swp files to .gitignore (#3326) (@lgoettgens)
• Adapt to name printing changes in AA (#3327) (@lgoettgens)
• Update qualification of two calls (#3328) (@lgoettgens)
• Clean up algebraic_closure import (#3331) (@lgoettgens)
• support gen(G::GAPGroup, 0) (#3332) (@ThomasBreuer)
• Revised interface for homogenization (old UI still there) (#3333) (@JohnAAbbott)
• CI: update to codecov/codecov-action@v4 (#3334) (@fingolfin)
• More signatures for lift (#3335) (@jankoboehm)
• fix: make @Tropical work again (#3336) (@thofma)
• right aligned columns in betti table (#3337) (@Lax202)
• Adv/fix graph from edges (#3338) (@antonydellavecchia)
• adds fix for storing strings with characters that need escaping (#3340) (@antonydellavecchia)
• add map_entries for matrix groups (#3341) (@ThomasBreuer)
• More updates for FTheoryTools (#3343) (@HereAround)
• JA homogenizer (#3344) (@JohnAAbbott)
• Make is_exterior_power (and friends) internal (#3346) (@lgoettgens)
• Add Lowercase() and two exports (#3349) (@joschmitt)
• New linear solving interface + more upstream changes (#3350) (@joschmitt)
• Overhaul root system type detection (#3351) (@lgoettgens)
• feat: adjust for some upcoming matrix changes (#3352) (@thofma)
• set version to 1.0.0-DEV (#3353) (@benlorenz)
• Move printing of banner to its own function (#3355) (@aaruni96)
• tests: adjust the project and load path to add test dependencies in test_module (#3357) (@benlorenz)
• remove deprecations from 0.14.0 and before (#3358) (@benlorenz)
• Adc/sc is isomorphic (#3359) (@antonydellavecchia)
• added line about function argument order (#3360) (@antonydellavecchia)
• sphere recognition heuristics and friends (#3362) (@micjoswig)
• refactor number of aliases (#3364) (@benlorenz)
• Make partitions and (semi)standard_tableaux return iterators (#3365) (@joschmitt)
• Remove deprecated functions (#3366) (@joschmitt)
• Change some things from British to American spelling (#3367) (@lgoettgens)
• Revert "Serialization: disable IPC test until #3184 is solved (#3246)" (#3368) (@benlorenz)
• Performance improvements for PointVector, RayVector, SubObjectIterator (#3369) (@fingolfin)
• adds fix to return non reduced (co)homology (#3372) (@antonydellavecchia)
• Fix show for RelativeBrauerGroupElem (#3373) (@fingolfin)
• Hide AbstractAlgebra ordering of a polynomial ring (a bit) (#3374) (@joschmitt)
• Do not return raw polymake vec for gkz_vector (#3375) (@lkastner)
• fix doctest following algebraicsolving 0.4.10 (#3377) (@benlorenz)
• Backports for Oscar 1.0-rc (#3378) (@benlorenz)
• CI: switch to 1.11-nightly for now (#3379) (@benlorenz)
• Version 1.1.0-DEV (#3380) (@benlorenz)
• Enable edit and show source buttons in docs (#3381) (@lgoettgens)
• Fix Grassmann Pluecker (#3382) (@antonydellavecchia)
• Improve docstrings for is_conjugate/is_conjugate_with_data. (#3384) (@mjrodgers)
• galois_group: fix is_normal call after removed deprecations (#3385) (@benlorenz)
• Serialize Polyhedral Objects over Oscar fields (#3386) (@antonydellavecchia)
• Rename vec for AbstractAlgebra matrices to _vec (#3387) (@lgoettgens)
• Adapt interface for orthogonal and symplectic Lie algebras (#3391) (@lgoettgens)
• Eliminate more spelling differences between American and British English (#3392) (@lgoettgens)
• feat: add regular_character (#3393) (@thofma)
• QuadFormAndIsom: fixes and a new feature (#3394) (@StevellM)
• Fixes multivariate division (#3396) (@ederc)
• Remove unneeded GAP package sla (#3398) (@lgoettgens)
• Fix an equality check (#3399) (@joschmitt)
• improve two pieces of documentation (#3402) (@ThomasBreuer)
• Add all_primitive_groups and all_transitive_groups variants taking a single int or int range (#3404) (@lgoettgens)
• ModStdQt ref_ff_rc regression fix (#3405) (@antonydellavecchia)
• Fixes for phylogenetic adjacency tree (#3406) (@antonydellavecchia)
• Update OSCAR banner (#3410) (@paemurru)
• Yr/tropical bugs (#3411) (@YueRen)
• Corrected defn of deg(ideal); correction from W Decker (#3412) (@JohnAAbbott)
• Tweak exterior_algebra tests (#3415) (@fingolfin)
• Add test example for degree(::Ideal) (#3417) (@wdecker)
• Version 1.0.0-rc1 (#3418) (@benlorenz)
• fix bugs in all_OD_infos (#3419) (@ThomasBreuer)
• list the needed GAP packages (#3421) (@ThomasBreuer)
• do not show the OscarInterface banner (#3422) (@ThomasBreuer)
• Add QQBar docs to the manual (#3423) (@lgoettgens)
• Ep/ Rename Spec to AffineScheme #3345 (#3425) (@paemurru)
• TropicalGeometry: add and improve polymake conversions (#3426) (@benlorenz)
• Docu invariants tori (#3428) (@wdecker)
• Backports Oscar 1.0 (#3429) (@benlorenz)
• Tweak epimorphism_from_free_group (#3430) (@fingolfin)
• Remove two mentions of Arb_jll (#3431) (@lgoettgens)
• add docstrings for acting_group and action_function (#3432) (@mjrodgers)
• Align all_*_groups methods some more (#3433) (@fingolfin)
• Add all_perfect_groups (#3434) (@fingolfin)
• CI: re-enable nightly (#3435) (@benlorenz)
• fix a docstring (#3436) (@ThomasBreuer)
• Bugfix for printing of affine schemes (#3437) (@HechtiDerLachs)
• G-Modules missing methods (part 1) (#3441) (@mjrodgers)
• Rename InvRing + small changes to invariant theory (#3442) (@joschmitt)
• Docu invariants lin. red. groups (Lakshmi Ramesh and Wolfram Decker) (#3443) (@wdecker)
• add od_from_atlas_group, od_from_p_subgroup, and helpers (#3444) (@ThomasBreuer)
• Bugfix for bugfix for printing of affine schemes (#3445) (@thofma)
• Fix ambient_module(M::SubquoModule) (#3448) (@fingolfin)
• support group properties for character tables (#3449) (@ThomasBreuer)
• Unexport normalise (#3453) (@lgoettgens)
• Adjust to renaming of rank(A::FinGenAbGroup) to torsion_free_rank(A::FinGenAbGroup) (#3457) (@fingolfin)
• Export weierstrass_chart_on_minimal_model and patch transform_to_weierstrass (#3458) (@HechtiDerLachs)
• TropicalGeometry: removed redundant intersect (#3462) (@YueRen)
• SubdivisionOfPoints: allow vector of vector as input (#3463) (@benlorenz)
• Ensure fp_group(G) transfers group attributes (#3464) (@fingolfin)
• Some more uses of GAPWrap (#3465) (@fingolfin)
• Fix a doc signature (#3466) (@joschmitt)
• Added comment on convention (#3467) (@wdecker)
• Grading + caching for affine algebra of torus invariants (#3469) (@Lax202)
• Set version to 1.0.0 (#3473) (@benlorenz)
• Fix free_group for Char arguments (#3474) (@fingolfin)
• Backport for 1.0: G-Modules missing methods (part 1) (#3441) (#3477) (@benlorenz)

Closed issues:

• Groups: for conjugacy, have a function which only tests conjugacy, and one which tests conjugacy and returns a conjugator (#120)
• Behaviour of div/divrem in Oscar (#146)
• Ideals in Z (#229)
• links to source code in the Oscar documentation (#588)
• Logical implications for toric varieties (#771)
• Inconsistent behaviour of kernel (#1062)
• Finite field constructors should add sanity checks (#1491)
• Unify eigenvalue methods (#2017)
• Partition functionality in src missing (#2301)
• Add display options from AbstractAlgebra.YoungTableau to Tableau (#2462)
• meaning of iso_oscar_gap (in particular for number fields) (#2534)
• Permission error when loading Oscar (#2712)
• proj_space vs projective_space (#2930)
• Clarify how monomial orderings are supposed to be specified (#3040)
• Sometimes Singular creates unknown coefficient fields, which make Oscar unhappy (#3088)
• Testing in parallel can make GAP crash (#3089)
• ordering of MPolyQuoRing (#3102)
• Multivariate division algorithm produces quotients q_i such that summands q_if_i has bigger degree than original polynomial f (#3105)
• dualizing does not work for free resolutions (#3107)
• Printing of finite fields (#3165)
• Something with automorphism groups hanging (#3167)
• roots causes StackOverflowError (#3168)
• Automorphisms of groups issue (#3171)
• (minor) DOCUMENTATION mistake for divisible (#3178)
• Error on 1.10 ubuntu long (#3184)
• Unexpected behaviour in (::MPolyRing)(::MPolyRingElem) (#3193)
• right_transversal should return a "smart" transversal object (wrapping the corresponding "smart" object produced by GAP) instead of coercing into a Vector (#3197)
• Add convenience method for producing free modules over rings? (#3198)
• (Regression) Evaluate matrix elements via broacasting (#3204)
• Warning about Gröbner bases with floating point arithmetic (#3207)
• labelled_matrix_formatted prints unwanted (?) newline (#3210)
• Get GAP package repsn 3.1.1 or newer into Oscar (#3219)
• Nicer printing for orbit G-sets (#3221)
• Restore printing of symmetric group as Sym(n) (#3225)
• Some printing code ignores is_unicode_allowed() and prints unicode "wedge" characters (#3257)
• Turn conjugacy classes of elements and subgroups into G-sets (#3261)
• Improve is_conjugate_subgroup (#3262)
• Improve is_conjugate and is_conjugate_with_data docstrings (#3264)
• Rename conjugacy_classes_maximal_subgroups and maximal_subgroup_classes or even just *subgroups (#3265)
• polyhedron(A,b) errors if A has zero rows (#3273)
• PointVector{QQFieldElem}+Vector{Int64} and RayVector{QQFieldElem}+Vector{Int64} errors (#3274)
• Int.(RayVector{QQFieldElem}) and ZZ.(RayVector{QQFieldElem}) return RayVector{QQFieldElem} (#3275)
• (Regression) dot(Vector{QQFieldElem},Vector{Int}) errors (#3277)
• Conversion of (Calcium)QQBar elements to "plain" number fields; matrix groups over it (#3279)
• Support for polytopes with (real) QQBar coefficients? (#3286)
• Tropical groebner bases - minor overhaul (#3304)
• Revised interface for homogenization (#3307)
• MINOR: Documentation for map_word, contains strange typesetting (#3319)
• normalize! vs normalise (#3330)
• Recurrent segmentation fault error (#3339)
• Rename Spec to AffineScheme (#3345)
• test_module not working for some files/directories (#3354)
• general_linear_group inputs (#3361)
• G-sets: define and document an interface for getting group,domain,action (#3370)
• Regression: image(f::GAPGroupHomomorphism) should only return the image group, not an embedding morphism (#3371)
• Add all_perfect_groups (#3376)
• OrthogonalDiscriminants: all_od_infos modifies OD_data and breaks show_OD_info (#3383)
• Support character(group, values)? (#3390)
• Add all_primitive_groups and all_transitive_groups variants taking a single int or int range (#3403)
• Unexpected behaviour: Polynomial rings with multi-index variable names. (#3407)
• using GAP ; using Oscar shows banner for OscarInterface package (#3414)
• Oscar does not import on 1.10.1 on linux (#3438)
• Add is_abelian and more for character tables? (#3446)
• Allow Vector{Vector} as input for subdivision_of_points (#3459)