Oscar.jl 1.0.0 released

01 Mar 2024

Today Oscar.jl 1.0.0 has been released.

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)