Oscar.jl Versions Save

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

v1.0.2

1 month ago

Oscar v1.0.2

Merged pull requests:

  • booktest: make path filter more robust #3613

Full Changelog: https://github.com/oscar-system/Oscar.jl/compare/v1.0.1...v1.0.2

v1.0.1

1 month ago

Oscar v1.0.1

Diff since v1.0.0

Backported pull requests:

  • Add is_conjugate* to docs/src/Groups/action.md #3483
  • Fix precompilation issue #3565
  • TropicalGeometry: fixed typo in documentation #3552
  • fix: remove some (broken) leftover from surface serialization #3545
  • Fixes bug with loading vectorof Fields #3534
  • Provide links for some documentation references #3503
  • Serialization: fix save/load of Int matrices/vectors in polymake numberfield objects #3508
  • Fix load polymake regression #3481
  • Add paragraph about number_of_ to the styleguide. #3305
  • README.md: fix OSCAR book title #3579
  • Fix a vcat #3580
  • Add information on how to cite OSCAR to doc #3587
  • Hide Oscar.jl banner, when used in other module #3541
  • Fix links to people in Kaiserslautern #3597
  • README.md: update citation info once more #3600
  • Add tests of book chapter to CI. #3588
  • booktests: clear verbosity levels before running each chapter #3612
  • Use a new OSCAR email address on our domain #3596

v1.0.0

2 months ago

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)

v1.0.0-rc1

2 months ago

Changes: https://github.com/oscar-system/Oscar.jl/compare/v0.14.0...v1.0.0-rc1

v0.14.0

4 months ago

Oscar v0.14.0

What's Changed

New Contributors

Full Changelog: https://github.com/oscar-system/Oscar.jl/compare/v0.13.0...v0.14.0

v0.13.0

8 months ago

Oscar v0.13.0

Diff since v0.12.1

Closed issues:

  • Fancy printing and doctest printing clash (#475)
  • A few number theory commands in Oscar (#674)
  • Missing example in documentation for matrix orderings (#907)
  • Computation of kernels for Algebra Homomorphisms of graded rings (#926)
  • Change the order of arguments in MapFromFunc (#1104)
  • perfect groups: add additional data as lazy artifacts (#1245)
  • Make G[:] an alias for gens(G)? (#1249)
  • ToricVarieties: Add Base.hash (#1264)
  • Revise serialization code to avoid constructing a full internal tree representation (#1507)
  • Warnings about Hecke.solve_ineq etc. conflicting with methods in Oscar (#1597)
  • Missing input checks for matrices over polynomial rings (#1669)
  • Documentation: katsura (#1694)
  • Some cleanup for the groups code (#1718)
  • Display issue with complex_embeddings(::AnticNumberField) (#1741)
  • Choice of variable names interferes with variables in Singular libraries (#1905)
  • exterior_algebra function noisy (#1984)
  • minimal generating sets of ideals (#2044)
  • Do we need Julia (sub)modules for code organization in OSCAR? (#2052)
  • Hack to "improve" (?) printing of vectors of ring/field/module elements (#2064)
  • Change the ordering of the ring and the degree in matrix_group? (#2098)
  • standard_basis for modules accepts monomial ordering, but silently ignores it (#2155)
  • Adapt serialization to finite field changes (#2192)
  • Improve serialization of multivariate polynomials (#2193)
  • factor_absolute(f::QQMPolyRingElem) is unstable and does not match its documentation (#2211)
  • groebner_basis(...,algorithm=:f4) does not work over FiniteField() (#2221)
  • Make minimal_generating_set consistent (#2295)
  • Partition needs a partition method (#2298)
  • Change order of inclusion of experimental code (#2300)
  • Converting Int64 to MPolyRingElem (#2331)
  • Difference in printing in REPL versus doctests (#2335)
  • is_power and is_prime_power_with_data are inconsistent (#2352)
  • Static testing and test/Project.toml for all packages (#2385)
  • Conflicting function image(M::MapFromFunc{D, C}, a) where {D, C <: GAP.GapObj} (#2400)
  • Printing twice changes the output (#2409)
  • Oscar.test_module() subprocess uses a different project environment (#2414)
  • Implement splitting_field for finite fields (#2418)
  • Do not run all the doctests in build_doc (#2422)
  • is_prime buggy for multivariate polynomial rings (#2427)
  • Polynomial factorization over number fields (#2434)
  • Radical over number field segmentation fault (#2435)
  • Oscar error after Singular_jll update? (#2438)
  • experimental/gmodule tests noisy (#2446)
  • Allow AbstractUnitRange where ever we allow UnitRange (#2447)
  • Weird probably broken syntax in degree() (#2452)
  • stabilizer does not do what it says (#2457)
  • CI failing on nightly (#2476)
  • is_prime(::IdealSheaf) buggy (#2479)
  • Problems with the binomial_primary_decomposition docstring resp. with QQAb printing (#2484)
  • F-theory tools - ArxivDOI vs. Journal DOI (#2506)
  • implement save and load for several standard types, up to the level of, e.g., univariate and multivariate polynomials over finite fields, (simple upgrade script that will not cover all types, since the change are quite drastic. However will be extended to cover appropriate types if necessary) (#2513)
  • make serialization more efficient: avoid that each coefficient must declare its ring (#2514)
  • Duplicate radical(I::MPolyQuoIdeal) (#2518)
  • decide_du_val_singularity: Ideal does not describe a single K-point (#2531)
  • Toric variety timing test failing on julia 1.10-alpha1 (#2539)
  • BrauerGroup: assertion error in nightly CI on master (#2541)
  • nightly + 1.10-alpha1: GC marking segfault during GAP tests (#2543)
  • Output of ?Oscar (#2549)
  • Two different skew-symmetry checks (#2555)
  • Error in fixed field computation (#2565)
  • some problem with default finite fields (#2593)
  • Doctest failing on 1.10 and nightly (#2596)
  • Commands not defined using latest Julia and Oscar versions (downloaded < 3 weeks ago) (#2612)
  • Oscar.build() is broken (#2631)
  • Problem with present_as_cokernel on graded submodule (#2659)
  • multi_hilbert_series: does not detect infinite dimensional case (#2674)
  • Doctest regression in hilbert_series tests (#2678)
  • Master CI failing since JLLWrappers.jl v1.4.2 (#2693)
  • Polymake crashes, if trying to test Oscar with too many parallel workers. (#2701)
  • Superfluous line(s) and column(s) in minimal Betti Table (#2705)
  • Tune @registerSerializationType macro (#2720)
  • Regression: CI tests fail on master due to serialization code changes (#2731)
  • New release? (#2746)

Merged pull requests:

  • Adv/file formatting (#2102) (@antonydellavecchia)
  • 2192 Adapt serialization to finite field changes (#2195) (@antonydellavecchia)
  • Varieties docu and avoid computing radicals (#2307) (@simonbrandhorst)
  • Basic constructors for "standard finite fields" as described by Lübeck. (#2366) (@mjrodgers)
  • homogenization for ideal with ZZ^m grading (#2372) (@JohnAAbbott)
  • Add hash methods for many types with == method (#2373) (@lgoettgens)
  • [FTheoryTools] Hypersurface model (#2382) (@HereAround)
  • Parallel Testing (#2388) (@aaruni96)
  • test_module: set julia project dir to Oscar of the calling process (#2415) (@aaruni96)
  • Adapt more experimental code to new conventions (#2416) (@fingolfin)
  • LieAlgebras: Add docs (#2425) (@lgoettgens)
  • Change return argument order of is_prime_power_with_data (#2426) (@lgoettgens)
  • Revert "Make algebraic sets and varieties internal (#2424)" (#2430) (@thofma)
  • Version 0.12.2-DEV (#2431) (@thofma)
  • Load hulpke/extraperfect as lazy artifact (#2432) (@lgoettgens)
  • Change argument order in factor and roots (#2433) (@lgoettgens)
  • cache automorphism groups of number fields (#2436) (@fieker)
  • Make abelian closure respect unicode setting (#2437) (@thofma)
  • Adv/meta data (#2439) (@antonydellavecchia)
  • Bump Aqua.jl to 0.6.2 (#2440) (@lgoettgens)
  • fix docstrings (#2442) (@fieker)
  • Ensure always_for_in in JuliaFormatter settings (#2443) (@mjrodgers)
  • Refactor imports.jl (#2444) (@lgoettgens)
  • Remove QQBar export (#2445) (@lgoettgens)
  • First stab at more functionality for Laurent polynomial rings (#2448) (@thofma)
  • Track invalidations in CI, report if they increase (#2449) (@lgoettgens)
  • Address TODO for finite algebras as vector spaces. (#2450) (@HechtiDerLachs)
  • Fix bad syntax in a degree method (#2453) (@fingolfin)
  • Trivial cleanup in hilbert_series code (#2454) (@fingolfin)
  • Cleanup of Groups/directproducts.jl (#2456) (@lgoettgens)
  • Add absolute_automorphism_group(::Type{PermGroup}, ...) (#2458) (@thofma)
  • FieldElem scalars in PolyhedralGeometry (#2459) (@alexej-jordan)
  • Spec cleanup (#2460) (@HechtiDerLachs)
  • Two fixes (#2461) (@joschmitt)
  • [TropicalGeometry] Fix weird looking docs (#2463) (@lkastner)
  • Remove duplicate import of MPolyRingElem (#2466) (@joschmitt)
  • Add lowercase constructor for Partition (#2467) (@lgoettgens)
  • Du val sing detector (#2468) (@afkafkafk13)
  • Remove obsolete examples/Invariants.jl (#2469) (@fingolfin)
  • [FTheoryTools] Overhaul base-independent models (#2470) (@HereAround)
  • [ToricVarieties] Bugfix in ideal of linear relations (#2472) (@HereAround)
  • addresseing Issue #2427 (#2473) (@wdecker)
  • Change the order of arguments in MapFromFunc (#2475) (@lgoettgens)
  • Fix standard_basis documentation (#2481) (@RafaelDavidMohr)
  • doctest_fix: support Documenter stable version (#2486) (@fingolfin)
  • Another set of intermediate improvements (#2487) (@HechtiDerLachs)
  • Remove convert(::Vector{Int}, ::Perm) usage (#2488) (@thofma)
  • Import and extend conjugate from upstream (#2490) (@thofma)
  • Rename default non-unicode variable for QQAbElem from 'z' to 'zeta' (#2491) (@fingolfin)
  • bump polymake, tropical number (#2492) (@lkastner)
  • Implement degree(I::MPolyIdeal) (#2493) (@taboege)
  • Transform cones for toric varieties (#2495) (@lkastner)
  • [PolyhedralGeometry] Implement most general form of star subdivision (#2496) (@HereAround)
  • Add some more optimizations. (#2497) (@HechtiDerLachs)
  • Cache canonical_matrix(::MonomialOrdering) (#2499) (@lgoettgens)
  • Introduce lazy computation of glueing domains. (#2502) (@HechtiDerLachs)
  • PolyhedralGeoemtry: Enhance fan with gp action constructor (#2503) (@lkastner)
  • Decomposition info (#2504) (@HechtiDerLachs)
  • PolyhedralGeometry: Assert correct dimensions of input of subdivision of points (#2505) (@lkastner)
  • fix/FreeAssAlgIdeal (#2507) (@Sequenzer)
  • various fixes for schemes (#2508) (@simonbrandhorst)
  • More lazy algebraic cycles (#2509) (@HechtiDerLachs)
  • Elliptic surfaces (#2510) (@simonbrandhorst)
  • extend iso_oscar_gap(FO::AnticNumberField) (#2511) (@ThomasBreuer)
  • remove std_spec duplicate (#2512) (@simonbrandhorst)
  • Use Rabinowitsch's trick for conversion. (#2515) (@HechtiDerLachs)
  • iso_oscar_gap(FO::SimpleNumField{T}) where T <: FieldElem (#2516) (@ThomasBreuer)
  • various improvements for characters (#2519) (@ThomasBreuer)
  • updates of the test code concerning new Oscar functionality (#2520) (@ThomasBreuer)
  • Literature model improvements (#2521) (@apturner)
  • Fix some fallout of fixing piracy in Hecke (#2523) (@lgoettgens)
  • Merge nv and nvertices (#2524) (@lgoettgens)
  • Bump AA, Nemo, Hecke (#2526) (@lgoettgens)
  • repair issue #2518 (#2527) (@afkafkafk13)
  • LieAlgebras: further improvements and new features (#2528) (@lgoettgens)
  • Refinements for separation of ideal sheaves with disjoint supports. (#2529) (@HechtiDerLachs)
  • Bump dependencies (#2530) (@thofma)
  • Update julia versions in CI (#2533) (@lgoettgens)
  • Some improvement on default ordering (#2535) (@jankoboehm)
  • Suggestions of new printings for the schemes functionalities (#2537) (@StevellM)
  • timings: exclude gctime, repeat stanley reisner test, increase factor for polyhedral timing (#2542) (@benlorenz)
  • Minimal_generating_set/small_generating_set -- local cases (#2545) (@afkafkafk13)
  • Allow AbstractUnitRange (#2546) (@mgkurtz)
  • Refactor parts of toric geometry (#2547) (@lkastner)
  • Fix version number in '?Oscar'; update name of our university (#2550) (@fingolfin)
  • Rename invalidations CI test (#2551) (@fingolfin)
  • Add expand() for rational functions (#2553) (@thofma)
  • new: Perles' nonrational 8-polytope (#2554) (@micjoswig)
  • Rename is_hermitian_matrix to is_hermitian (#2556) (@lgoettgens)
  • [PolyhedralGeometry] fix property list for scalar detection (#2557) (@benlorenz)
  • Rename is_*_form to is_* (#2558) (@lgoettgens)
  • add is_isomorphic_with_permutation for graphs (#2559) (@simonbrandhorst)
  • Further refactoring (#2560) (@lkastner)
  • [FTheoryTools] Improve construction of models over arbitrary base spaces (#2561) (@HereAround)
  • Wrap saturation2 and use it for Laurent polynomials (#2562) (@thofma)
  • Quadratic forms and isometries - an Oscar (experimental) project (#2563) (@StevellM)
  • FTheoryTools: A bit of cleanup (#2564) (@HereAround)
  • Change is_skewsymmetric_matrix to is_alternating (#2566) (@lgoettgens)
  • [FTheoryTools] Add Morrison–Park model and KBar parameter (#2567) (@apturner)
  • Prepare for type renaming (#2568) (@thofma)
  • [FTheoryTools] Support for literature model parameters (#2569) (@apturner)
  • Adjust to type name change for embedded fields (#2571) (@thofma)
  • Fix tests for primitive_by_shape and an_sn_by_shape (#2573) (@fingolfin)
  • Start web server after building the documentation (#2574) (@joschmitt)
  • Avoid some explicit distinction of characteristic in the invariant theory code (#2575) (@joschmitt)
  • Elliptic surfaces and rational maps (#2577) (@HechtiDerLachs)
  • Add a way to reset multiple global random seeds (#2578) (@fingolfin)
  • [ToricVarieties] Improve tests (#2579) (@HereAround)
  • Follow-up PR #2537 (#2580) (@StevellM)
  • Bring pullbacks of divisors to the best state. (#2581) (@HechtiDerLachs)
  • Fix formatting error in docstring note (#2583) (@taboege)
  • Fix printing for EllipticSurface (#2585) (@StevellM)
  • Reorder input arguments of matrix_group (#2587) (@joschmitt)
  • polyhedral: more standard constructions (#2591) (@micjoswig)
  • Added Laurent Mpoly elem and ideals to serialization (#2592) (@antonydellavecchia)
  • Katsura documentation (#2594) (@ederc)
  • change random strategy slightly, fixes #2565 (#2595) (@fieker)
  • Saturate via cascade instead of product (#2597) (@JohnAAbbott)
  • Tweak some docstrings (mostly whitespace) (#2600) (@fingolfin)
  • Tb/polyhedral (#2601) (@tbrysiewicz)
  • moved AlgClosureFp from experimental to src (#2602) (@ThomasBreuer)
  • Mpolyquo orderings (#2606) (@ederc)
  • Fix #2593 (#2607) (@thofma)
  • minor improvements (#2609) (@ThomasBreuer)
  • moved QQAb related stuff from experimental to src (#2610) (@ThomasBreuer)
  • small corrections to Hilbert stuff (#2611) (@wdecker)
  • Martin (#2613) (@fieker)
  • Homog ideal zm (#2614) (@JohnAAbbott)
  • [ToricVarieties] Method blow_up returns the blowdown morphism (#2616) (@HereAround)
  • Add docstring for expand (#2617) (@thofma)
  • [FTheoryTools] Yet more general bases (#2619) (@HereAround)
  • next round for algebraic_closure (#2621) (@ThomasBreuer)
  • Comparison of Groebner bases (#2622) (@jankoboehm)
  • initial commit for the orthogonal discriminants stuff (#2623) (@ThomasBreuer)
  • docu monomials_of_degree (#2625) (@wdecker)
  • Rational points of varieties/schemes (#2627) (@simonbrandhorst)
  • More hilbert_series (#2630) (@JohnAAbbott)
  • Modular Gröbner bases (#2632) (@ederc)
  • Non simple fields (#2633) (@fieker)
  • Resfix (#2634) (@jankoboehm)
  • Rename monomials_of_degree into monomial_basis, create related me… (#2635) (@wdecker)
  • Fix Oscar.build() (#2636) (@aaruni96)
  • Removes duvalsing and FTheory tests which randomly fail (#2637) (@ederc)
  • Fix minor triangulation bug (#2640) (@lkastner)
  • change printing of complexes, resolutions and presetations (#2641) (@fieker)
  • LieAlgebras: Homomorphisms for Lie algebras and modules (#2644) (@lgoettgens)
  • add line in Betti diagram (#2645) (@wdecker)
  • Add get function and fix assure (#2646) (@jankoboehm)
  • Update Project.toml to Hecke 0.20 (#2647) (@fieker)
  • Minimal betti tables (#2648) (@HechtiDerLachs)
  • admit has_preimage for embedding into abelian closure (#2649) (@ThomasBreuer)
  • remove some expensive test for the preprocessing of borcherds method (#2650) (@simonbrandhorst)
  • rearrange and document cycle structures (#2651) (@ThomasBreuer)
  • Certificate for modular Gröbner basis computations (#2652) (@ederc)
  • Change all occurrences of Hecke.Map to Map (#2654) (@lgoettgens)
  • Graded by (#2655) (@fieker)
  • avoid calling FamilyPcgs (#2656) (@ThomasBreuer)
  • Removing groebner_assure() in MPolyQuo (#2658) (@ederc)
  • truncate ideals, modules (#2660) (@wdecker)
  • QuadFormWithIsom patch 1 (#2661) (@StevellM)
  • Singular var name fix (#2662) (@mjrodgers)
  • Fix some signatures (#2663) (@jankoboehm)
  • Improve documentation for morphisms from rational functions. (#2665) (@HechtiDerLachs)
  • Catelnuovo-Mumford regularity (#2666) (@wdecker)
  • Gorenstein and Picard index (#2667) (@justus-springer)
  • Make Cox rings of linear quotients work in greater generality (#2669) (@joschmitt)
  • Fix assure bug invariant theory (#2670) (@jankoboehm)
  • small additions concerning characters (#2671) (@ThomasBreuer)
  • Fix more assures (#2673) (@jankoboehm)
  • Adjust doctest (#2680) (@thofma)
  • Pullback of rational functions along strict transforms (#2681) (@HechtiDerLachs)
  • Cf work in progress (#2682) (@fieker)
  • assure bug in localizations (#2683) (@jankoboehm)
  • fix the fix from #2656 (#2684) (@ThomasBreuer)
  • ToricGeometry: Fix well definedness check; Allow disabling (#2685) (@lkastner)
  • Adv/abstract serializer (#2687) (@antonydellavecchia)
  • Betti diagrams in Docu (#2688) (@wdecker)
  • fix for elliptic_parameter in case of torsion (#2692) (@HechtiDerLachs)
  • Fix is_right_G_module (#2694) (@fingolfin)
  • More adaptions to JLLWrappers.jl v1.4.2 (#2695) (@lgoettgens)
  • Vinberg overhaul (#2696) (@HechtiDerLachs)
  • Unary minus for toric divisors (#2697) (@justus-springer)
  • Hilbert series integration (#2698) (@JohnAAbbott)
  • Attempt for toric schemes (#2700) (@HereAround)
  • Module syzygies for invariant rings (#2702) (@joschmitt)
  • more on Betti diagrams (#2706) (@wdecker)
  • Remove zero entries. (#2707) (@HechtiDerLachs)
  • Use conversion to modules (#2708) (@jankoboehm)
  • Remove empty spaces in Betti show (#2709) (@jankoboehm)
  • Add documentation for morphisms of covered schemes. (#2710) (@HechtiDerLachs)
  • Correct error shown by doctest_fix (#2711) (@fingolfin)
  • Adv/update scripts (#2713) (@antonydellavecchia)
  • Fibration hop functionality (#2715) (@HechtiDerLachs)
  • FreeAssAlg-serialisation (#2716) (@Sequenzer)
  • Correcting is_positively_graded (#2717) (@wdecker)
  • Use Oscar.doctestsetup() in more places (#2722) (@fingolfin)
  • Make some global variables const (#2723) (@fingolfin)
  • Weierstrass chart on minimal model (#2724) (@HechtiDerLachs)
  • FreeAssAlgebra: enable serialization tests (#2725) (@benlorenz)
  • Remove OSCAR and oscar aliases for Oscar (#2726) (@fingolfin)
  • Fix minor docstring issues (#2727) (@fingolfin)
  • PolyhedralGeometry: Refactor facets (#2730) (@lkastner)
  • quick fix for FreeAssAlgIdeal (#2733) (@antonydellavecchia)
  • Sort src/exports.jl (#2734) (@fingolfin)
  • Fix another trivial type stability issue (#2735) (@fingolfin)
  • docs: monkeypatch documenter into printing blocks and timings (#2736) (@benlorenz)
  • small additions, mainly about class fusions (#2737) (@ThomasBreuer)
  • Adv/serialization cleanup (#2738) (@antonydellavecchia)
  • make use of the subfield lattice to not have double entries (#2739) (@fieker)
  • [ToricVarieties] Implement projectivization (#2742) (@mgemath)
  • Remove obsolete has_elem_basic_encoding (#2743) (@fingolfin)
  • fixes saving a filename without a dirname (#2744) (@antonydellavecchia)
  • Fix docs (#2745) (@fingolfin)
  • docs: stop verbose doctest output after a failure (#2749) (@benlorenz)
  • serialize ZZModRing (note the capital ZZ) (#2750) (@antonydellavecchia)
  • Fix hom_product docstring (#2751) (@lgoettgens)
  • Fix typos (#2752) (@lgoettgens)
  • type -> _type, refs -> _refs (#2754) (@antonydellavecchia)
  • Sb/two neighbor (#2756) (@simonbrandhorst)
  • Format proj() to the Oscar standard (#2757) (@mgemath)
  • Bump Aqua compat (#2758) (@lgoettgens)
  • Version 0.13.0 (#2762) (@fingolfin)

v0.12.1

11 months ago

Oscar v0.12.1

Diff since v0.12.0

Closed issues:

  • Use of non-ASCII characters in output (#569)
  • Implement proper support for GL(n, ResidueRing(ZZ,k)) (#649)
  • Support symbols resp. strings in GF and FiniteField the same way as in PolynomialRing (#862)
  • Help mode for lift lists a docstring for data(R::GFElem), shouldn't (#866)
  • allow coefficient_ring for ideals (#911)
  • singular_poly_ring(::MPolyQuo) potentially ignores the given ordering (#1190)
  • Add a more convenient way to enter permutation groups (#1907)
  • Add CI tests to our projects looking for "bad" exports (#1964)
  • Release OSCAR 0.12.0 (#2054)
  • Developer Docs: rule (or rather, "recommendation") for file names (#2117)
  • Documentation: Extra TOC at the beginning really necessary? (#2134)
  • deepcopy for module elems (#2152)
  • Free resolution broken in some cases (#2172)
  • CI tests failing with Julia nightly / Ubuntu (#2187)
  • Oscar need to precompile every time load it. (#2203)
  • Unify kwarg names alg vs. algo vs. algorithm vs other (#2258)
  • GAP OscarInterface / Alnuth tests slow down orthogonal_group(ZLattice) (#2259)
  • Documentation updates are not deployed anymore (#2274)
  • ExteriorAlgebra failing on nightly (#2283)
  • Total degree ignores the grading (#2285)
  • Maintain order of rays/variables after toric blow_up (#2286)
  • gens is broken for the Gröbner basis cashed for quotient ideals (#2292)
  • Running tests following commits (#2304)
  • Problems with PolyhedralFan constructor, when lineality information is passed as SubObjectIterator{RayVector{QQFieldElem}} (#2305)
  • Semantic conflict between gens(U::PrincipalOpenSubset) and getindex(U::PrincipalOpenSubset, i::Int) (#2324)
  • Degree in a graded module (#2344)
  • Excessive memory consumption in euler_phi_inv (#2367)
  • Move test dependencies from Project.toml's [extra] to test/Project.toml (#2374)
  • OscarCI-doctest failures in upstream projects (#2413)

Merged pull requests:

  • IntersectionTheory again (#1986) (@thofma)
  • Run doctests in Julia >= 1.7 (#2171) (@fingolfin)
  • pretty printing for quotients, graded and localized multivariate polynomial rings (#2184) (@simonbrandhorst)
  • Extend support for IncidenceMatrix (#2202) (@alexej-jordan)
  • LieAlgebras: More Lie algebra constructions from/to GAP (#2207) (@lgoettgens)
  • Graded subquotient modules (#2236) (@jankoboehm)
  • Projective schemes documentation (#2248) (@HechtiDerLachs)
  • support Oscar.iso_gap_oscar for Alnuth's FieldByMatrices (#2254) (@ThomasBreuer)
  • Experimental template (#2257) (@HechtiDerLachs)
  • LieAlgebras: Enhance module interface (#2262) (@lgoettgens)
  • Varieties docu (#2267) (@simonbrandhorst)
  • LieAlgebras: Fix combinatorics tests (#2268) (@lgoettgens)
  • workaround for a bug in GAP.Globals.TestDirectory (#2269) (@ThomasBreuer)
  • Better printing for weyl_algebra & exterior_algebra (#2270) (@JohnAAbbott)
  • Intersection of ideals (#2271) (@ederc)
  • Refactoring styleguide (#2272) (@lkastner)
  • Fix Alnuth override when Oscar is not in Main (#2273) (@fingolfin)
  • docs: remove unnecessary @setup blocks (#2276) (@fingolfin)
  • Revert "Update TagBot.yml" (#2277) (@lgoettgens)
  • Add v0.12.0 docs (#2278) (@lgoettgens)
  • make sure that certain GAP packages are loaded (#2279) (@ThomasBreuer)
  • Revise some AffAlgHom functionality (and related things) (#2280) (@joschmitt)
  • ToricVarieties: Fix bug in toric blow_up (#2281) (@HereAround)
  • docs: remove @contents blocks (#2282) (@fingolfin)
  • [ToricSchemes] Overhaul to align with experimental structure (#2284) (@HereAround)
  • Enhance star_subdivision (#2287) (@lkastner)
  • provide @permutation_group and permutation_group (#2288) (@ThomasBreuer)
  • Use 'VarName' instead of Symbol/String/Char (#2289) (@fingolfin)
  • Define total degree and add docstring for total_degree (#2290) (@wdecker)
  • Rework of minimal_generating_set for graded polynomial ideals and graded quotient ideals (#2291) (@RafaelDavidMohr)
  • oscar_assure fix for MPolyQuoIdeals (#2293) (@ederc)
  • Change a @test_broken into @test (#2294) (@fingolfin)
  • Use kwarg 'algorithm' instead of 'alg', 'algo' (#2296) (@fingolfin)
  • Yet more uses of @req (plus some other random cleanup) (#2297) (@fingolfin)
  • Notions of transform (cleanup) (#2302) (@afkafkafk13)
  • cyclic_generator for groups, is_faithful for characters; make findfirst(fun, t::GAPGroupCharacterTable) work (#2303) (@ThomasBreuer)
  • TropicalGeometry: groebner_fan.jl, new implementation for Groebner fans (#2306) (@YueRen)
  • use unhomogenized_matrix for construction of Cone and PolyhedralFan (#2308) (@alexej-jordan)
  • changed the setup for iso_gap_oscar (#2309) (@ThomasBreuer)
  • Prefer 'Return' over 'Returns' in docstrings (#2310) (@fingolfin)
  • Use codecovs after_n_builds (#2314) (@lgoettgens)
  • Prefer gen(A,i) over gens(A)[i] (#2316) (@fingolfin)
  • FTheoryTools: Rename Y4 to cy_hypersurface (#2318) (@HereAround)
  • Replace _print_comma_list -> join (#2319) (@fingolfin)
  • Use VarName in yet more places (#2320) (@fingolfin)
  • Literature models - first steps (#2321) (@HereAround)
  • Add coefficient_ring(I::MPolyIdeal) (#2322) (@fingolfin)
  • FTheoryTools: Minor changes (#2323) (@HereAround)
  • fixed is_subgroup(H::T, G::T) where T <: GAPGroup (#2325) (@ThomasBreuer)
  • Make gens consistent for PrincipalOpenSubset. (#2326) (@HechtiDerLachs)
  • Global h2 (#2328) (@fieker)
  • move Wolfram's surfaces into serialised stuff (#2329) (@fieker)
  • coordinates for characters, constructors for projective classical groups (#2332) (@ThomasBreuer)
  • Replace GAP variable _Vector_nf_elem in Julia (#2333) (@fingolfin)
  • more functionality + start docu graded modules (#2334) (@wdecker)
  • [PolyhedralGeometry] Improve fan constructor (#2337) (@lkastner)
  • some examples for graded modules (#2338) (@jankoboehm)
  • [FTheoryTools] Provide link to tutorial (#2339) (@HereAround)
  • Irreducible Decomposition for Cartier divisors (#2340) (@afkafkafk13)
  • New naming conventions in PolyhedralGeometry (#2342) (@lkastner)
  • bugfix: add missing copy call (#2343) (@fingolfin)
  • activate the name printing from AA. (#2345) (@fieker)
  • More on F-TheoryTools and ToricSchemes (#2347) (@HereAround)
  • Avoid conversions Symbol -> String -> Symbol (#2348) (@fingolfin)
  • temporarily disable a jldoctest (#2349) (@ThomasBreuer)
  • fix printing of GL(n, residue_ring(ZZ,4)) (#2350) (@lgoettgens)
  • Add missing deepcopy_internal methods for module elems (#2351) (@lgoettgens)
  • polyhedral: random subpolytope construction (#2353) (@micjoswig)
  • Rename files according to styleguide (#2354) (@lkastner)
  • Change oscar, OSCAR -> Oscar in our test suite (#2355) (@fingolfin)
  • (Even) more changes in FTheoryTools (#2357) (@HereAround)
  • small generating set (#2358) (@afkafkafk13)
  • Misc refactorings (#2359) (@lkastner)
  • improved documentation for Oscar.iso_oscar_gap (#2360) (@ThomasBreuer)
  • Left over from #2359 (#2363) (@lkastner)
  • Small changes to intersection theory (#2364) (@wdecker)
  • Document the GAP integration in Oscar (#2365) (@ThomasBreuer)
  • Remove FreeModElem(::SRow, ::FreeMod_dec) (#2368) (@lgoettgens)
  • Add Aqua.jl for some static testing (#2370) (@lgoettgens)
  • Adjust to recent printing changes (#2377) (@thofma)
  • update_version: Fix disappearing , in README.md (#2378) (@lkastner)
  • [FTheoryTools] Add literature models (#2379) (@apturner)
  • Small fixes in docs/make_work.jl (#2380) (@lgoettgens)
  • Move test dependencies from Project.toml's [extra] to test/Project.toml (#2386) (@lgoettgens)
  • Reduction mod p for schemes (#2387) (@HechtiDerLachs)
  • Document the GAP integration in Oscar (minor improvements) (#2389) (@ThomasBreuer)
  • Update SymmetricIntersections (#2390) (@StevellM)
  • Rename some functions from Hecke (#2391) (@StevellM)
  • TropicalGeometry: moved outside AlgebraicGeometry (#2393) (@YueRen)
  • Fix solve (#2394) (@fieker)
  • more examples for graded modules (#2395) (@wdecker)
  • [ToricVarieties] Bugfixes in toric line bundles (#2396) (@HereAround)
  • Cleanup some using statements (#2397) (@fingolfin)
  • generalize matrix_action_on_cones (#2398) (@ThomasBreuer)
  • TropicalGeometry: moved tropical geometry tests (#2399) (@YueRen)
  • Disable superfluous internal checks systematically. (#2401) (@HechtiDerLachs)
  • absolute_primary_decomposition: In the graded case, return conjugate … (#2404) (@wdecker)
  • Remove MPolyRingSparse from experimental (#2405) (@lgoettgens)
  • Gradedmdeg (#2408) (@jankoboehm)
  • Fix a bunch of typos (#2412) (@fingolfin)
  • Introduce shifted_module for localizations at rational points. (#2417) (@HechtiDerLachs)
  • added multiplicities_eigenvalues for characters (#2419) (@ThomasBreuer)
  • [FTheoryTools] More updates to literature models (#2420) (@apturner)
  • Do not mess with documentation of upstream packages (#2421) (@thofma)
  • Tweaks for the documentation build (#2423) (@thofma)
  • Make algebraic sets and varieties internal (#2424) (@simonbrandhorst)
  • Disable an internal check (#2428) (@thofma)
  • Version 0.12.1 (#2429) (@thofma)

v0.12.0

1 year ago

Oscar v0.12.0

Diff since v0.11.3

Closed issues:

  • Oscar Roadmap (#1)
  • Add facilities to streamline GAP wrappers for GAP properties/attributes; reduce overhead (#128)
  • GAP groups: bring GAP groups and Hecke.jl groups (GrpAbFinGen) together (e.g. providing homomorphisms, aligning names) (#161)
  • Group: issubgroup convention (#163)
  • Vector spaces complement. (#221)
  • Loading order affects load time (#289)
  • Update list of subproject maintainers (#296)
  • printing of objects should compose better (#347)
  • Enabling CI tests against Julia nightlies: custom builds of several of our JLLs (#558)
  • Wishlist for documentation (#559)
  • Add docstrings for types like fmpz, fmpz_mat, etc. etc (#648)
  • groups: Base.length(C::GroupConjClass) and also for (double) cosets should return fmpz / have adjustable return type (#658)
  • Document how to run parts of the test suite (#756)
  • Missing constructors for Fans and other polyhedral stuff (#772)
  • ToricVarieties: A few minor changes/additions (#1036)
  • Addition of ideals fails (#1058)
  • Why is it called MPolyRing_dec? (#1119)
  • Glitch in manual: unexpected extra method for base_ring appears (#1143)
  • conventions about function names (#1335)
  • Oscar.build() fails due to GAP's "foreign Julia type" not being serializable (#1400)
  • Support Singular.ordering_a in Oscar (#1412)
  • printing an integer inside jupyter kernel (#1424)
  • Documentation should point to source code (#1463)
  • Proposal: Better printing of parent objects (#1540)
  • Polyhedron constructor with Float arguments fails (#1617)
  • Support / for dividing fmpq and/or rationals by other fmpz/rationals/integers (#1618)
  • Clarify naming policy further: "long_form_names" over "shrt_frm_nms" (#1623)
  • hilbert_series is buggy in extreme cases (#1663)
  • Problem in the Flint-Subsystem when calculating Gröbner Bases (#1702)
  • maximal_polyhedra of PolyhedralComplexes produces warnings and broken polyhedra. (#1715)
  • Make Vector(SparseVectorBool) work (#1746)
  • Move OSCAR homepage from oscar.computeralgebra.de to www.oscar-system.org ? (#1792)
  • Argument order in is_maximal, is_normal, is_characteristic, ... (#1793)
  • Mixed volume with Polymake (#1832)
  • Orders of matrix groups over arbitrary number field (#1930)
  • Add contacts for all OSCAR parts (#1938)
  • combinatorial_symmetries crashes (#1966)
  • Code improvement (among others for ToricVarieties) (#1969)
  • New rule: export only one identifier at a time (#1971)
  • Algebraic geometry: Standard constructions & organization of documentation (#1973)
  • is_conjugate for matrix groups (#1974)
  • Document what was renamed and to what (#1980)
  • noisy functions from geometry(?) (#1985)
  • Error loading Oscar from different nodes on HPC cluster (#1995)
  • characteristic_polynomial vs charpoly (#2026)
  • CI tests broken, failures related to GAP code (#2027)
  • JuLie: bounds error in partitions function (#2043)
  • Export f4? (#2046)
  • Support mapping quadratic_field elements to GAP and back (#2049)
  • enhancing JuLie imports (#2057)
  • Add diagonal_matrix variant taking base ring as first argument (#2061)
  • orbit(matrixgroup, polynomial) does not work (#2063)
  • solve broken? (#2065)
  • Visualization of polytope: vertex labels vs. automorphisms (#2068)
  • Universal polynomials are broken (#2076)
  • factor_absolute sometimes fails to fully factorize (#2081)
  • Unrecognised data type MPolyRingElem (#2082)
  • Support more graded_polynomial_ring argument variants (#2088)
  • Error when running using Oscar in a jupyter notebook for the first time (#2090)
  • is_zero is slow for quotient rings (#2099)
  • Promote rules for quotient rings seem buggy (#2119)
  • Optional argument in build_doc to prevent opening browser (#2124)
  • Mutliplication of sparse matrix with scalar changes size (#2128)
  • Promote rules, once again (#2129)
  • duplicated method for primary_decomposition (#2131)
  • Addition of sparse matrices seems to drop zero columns (#2135)
  • Structure in experimental (#2146)
  • CI failure due to serialization of universal polynomials (#2158)
  • Speed-up for doctests of FTheoryTools needed (#2162)
  • Enable codecov report comments (#2165)
  • A lot of infos during tests about "AUXILIARY ambient space" (#2180)
  • OSCAR tests failing on 1.9 CI (precompilation failing) (#2199)
  • Absolute primary decomposition fails for the zero ideal (#2212)
  • Cone constructor to construct cones from inequalities and equations (#2218)
  • relative_interior_point(Cone) (#2232)
  • galois_group on relative extension of number fields error (#2235)
  • Surprisingly many memory allocations (factor a large polynomial) (#2247)

Merged pull requests:

  • Experimental module SymInt (#1926) (@StevellM)
  • NAIVE impl of exterior_algebra (via PBM alg) (#1931) (@JohnAAbbott)
  • Integrating JuLie into Oscar (#1935) (@ClaudiaHeYun)
  • Fix coxring gradings & renaming some constructors (#1958) (@HereAround)
  • Rework of Hilbert-driven GB computation (#1961) (@RafaelDavidMohr)
  • matroid automorphisms (#1962) (@antonydellavecchia)
  • ToricVarieties: More CamelCase constructors to snake_case (#1963) (@HereAround)
  • import only defined names from Hecke (#1965) (@ThomasBreuer)
  • Fix typos (#1967) (@fingolfin)
  • Add contact section to introduction page of all specialized chapters in OSCAR (#1968) (@HereAround)
  • ToricVarieties: Rename more constructors - Part 2 (#1970) (@HereAround)
  • The big renaming (#1972) (@fingolfin)
  • Fix some incorrect macro invocations (#1975) (@fingolfin)
  • Enforce print convention: No leading "A" in printouts (#1976) (@HereAround)
  • Better organization of algebraic geometry code (both source and documentation) (#1977) (@HereAround)
  • support iso_gap_oscar for multivariate pol. rings (#1978) (@ThomasBreuer)
  • Global h2 (#1979) (@fieker)
  • The Big Renaming (#1982) (@fingolfin)
  • PolyhedralGeometry: automorphism_group fixed for trivial case (#1983) (@lkastner)
  • changes in argument orders of functions (#1988) (@ThomasBreuer)
  • added center, det, is_rational, kernel, order for group characters (#1989) (@ThomasBreuer)
  • less noise in K3 test (#1991) (@simonbrandhorst)
  • added index fix for Grassmann Pluecker Relations (#1992) (@antonydellavecchia)
  • Unbreak master branch (#1994) (@fingolfin)
  • Remove invalid root test (#1996) (@fingolfin)
  • Update URLs to www.oscar-system.org (#1997) (@fingolfin)
  • fix renaming artifacts (#1998) (@lgoettgens)
  • First draft of how experimental should be used. (#1999) (@lkastner)
  • Fix some typos (#2000) (@fingolfin)
  • Small fixes for Polyhedral Geometry (Float64, IncidenceMatrix) (#2002) (@alexej-jordan)
  • provide iso_oscar_gap and iso_gap_oscar for number fields (#2003) (@ThomasBreuer)
  • Combinatorics: Add sanity check to add_edge!(Graph) (#2004) (@lkastner)
  • graded_polynomial_ring and forget_grading (#2005) (@joschmitt)
  • fixed is_conjugate for matrix groups (#2006) (@ThomasBreuer)
  • changed the export statements for src/Groups (#2007) (@ThomasBreuer)
  • let iso_gap_oscar choose Nemo._GF (#2008) (@ThomasBreuer)
  • Properties covered schemes (cleaned up version of #2001) (#2009) (@afkafkafk13)
  • Stop using @gapwrap (#2010) (@fingolfin)
  • cleanup -- minor leftovers from previous PR/review (#2012) (@afkafkafk13)
  • Fix warning about coordinate_ring (#2013) (@fingolfin)
  • Minor changes/extensions in toric geometry (#2015) (@HereAround)
  • Collect export (#2016) (@HereAround)
  • Basic (and not so basic) functionality for linear quotients (#2018) (@joschmitt)
  • update docu following PR #1961 + trivia (#2022) (@wdecker)
  • unified behaviour of blow_up (in scheme context) (#2023) (@afkafkafk13)
  • Collect more export statements (#2024) (@HereAround)
  • Improve matrix_group() (#2025) (@fingolfin)
  • move (most of) Galois to src (#2030) (@fieker)
  • Fixes caching of GBs in Hilbert driven attempt (#2031) (@ederc)
  • Resolve duplicate _is_homogeneous(f::MPolyElem) (#2032) (@fingolfin)
  • Fix finite field conversion between OSCAR and GAP (#2033) (@fingolfin)
  • Use macro @req in more places (#2037) (@fingolfin)
  • Miscellaneous changes (#2038) (@fingolfin)
  • Revise schur_polynomial (#2039) (@fingolfin)
  • Update experimental SymInt (#2040) (@StevellM)
  • Changes related to recent Hecke release (#2041) (@StevellM)
  • Final stab towards organizing export statements (#2045) (@HereAround)
  • Renaming f4 to groebner_basis_f4 (#2047) (@ederc)
  • Jaa/exterior algebra (#2048) (@JohnAAbbott)
  • Don't throw strings or ErrorException (#2051) (@fingolfin)
  • Add {characteristic,minimal}_polynomial aliases (#2053) (@fingolfin)
  • iso_oscar_gap for quadratic_field (#2056) (@ThomasBreuer)
  • Fix Oscar.build() (#2058) (@fingolfin)
  • docs/faq: use delete for tmpdir instead of setting to nothing (#2059) (@benlorenz)
  • Simplify a hcat invocation (#2060) (@fingolfin)
  • Remove uses of Oscar.Graphs (#2062) (@fingolfin)
  • Fix ehrhart_polynomial docstring (#2067) (@fingolfin)
  • added a missing gset_by_type method (#2069) (@ThomasBreuer)
  • PolyhedralGeometry: set one-based ray labels for visualization (#2070) (@benlorenz)
  • Fix wrong method (again) (#2071) (@StevellM)
  • natural embedding of quadratic fields into QQAbField (#2072) (@ThomasBreuer)
  • Convert more examples to doctests (#2073) (@fingolfin)
  • deal with trivial case, should fix #2065 (#2074) (@fieker)
  • Prepare for finite field changes (#2075) (@thofma)
  • Polyhedron: add and use is_lattice_polytope check (#2077) (@benlorenz)
  • jldoctest: add some missing end markers (#2083) (@benlorenz)
  • Fix serialization so that there is no conflict with Hecke update to defining_polynomial (#2085) (@antonydellavecchia)
  • Support more types in graded_polynomial_ring (#2091) (@mgkurtz)
  • Towards moving FTheoryTools into OSCAR's experimental folder (#2092) (@HereAround)
  • Add OscarInterface GAP package (#2094) (@fingolfin)
  • Warham preparations (#2095) (@HechtiDerLachs)
  • Fix decomposition of affine varieties into its components. (#2096) (@HechtiDerLachs)
  • Avoid direct access to struct member base_ring where possible (#2097) (@fingolfin)
  • Modifications in PolyhedralGeometry for GITFans (#2100) (@lkastner)
  • added missing closing backquotes of a @docs block (#2101) (@ThomasBreuer)
  • Remove DocumenterMarkdown (#2103) (@fingolfin)
  • Provides Examples for the study of surfaces (#2104) (@wdecker)
  • improve experimental/Matrix (#2105) (@ThomasBreuer)
  • Lazy toric schemes (#2106) (@HechtiDerLachs)
  • Abstract types for varieties (#2107) (@simonbrandhorst)
  • Fix syntax for Markdown docstrings (#2108) (@fingolfin)
  • Minor fixes for mpoly_type (#2110) (@thofma)
  • Add serialization for universal polynomials (#2113) (@SoongNoonien)
  • Towards Migrating projective schemes out of experimental (#2114) (@HechtiDerLachs)
  • Fix factor_absolute(::MPolyRingElem) (#2116) (@fieker)
  • affine varieties concrete types (#2120) (@simonbrandhorst)
  • Fix promotion for quotient rings (#2121) (@thofma)
  • caching for properties of ideals (#2122) (@simonbrandhorst)
  • support GrpAbFinGen groups in group functions (#2123) (@ThomasBreuer)
  • Add optional parameter to build_doc to prevent browser from opening (#2125) (@lkastner)
  • Change gitfan from polymake to Oscar types (#2126) (@jankoboehm)
  • Project.toml: allow Singular 0.18.x (#2127) (@fingolfin)
  • pretty print FreeMod over a named ring (#2130) (@fieker)
  • cache by hand (#2132) (@simonbrandhorst)
  • Add domain, codomain methods for MPolyAnyMap (#2136) (@fingolfin)
  • Remove auxillary Base.:/ method (now in AA 0.28.4) (#2137) (@fingolfin)
  • Remove one more direct access to .base_ring (#2138) (@fingolfin)
  • Run the renaming script again (#2139) (@fingolfin)
  • Remove faulty promote rule for SpecOpenRingElem (#2140) (@HechtiDerLachs)
  • Fix a trivial docstring typo (#2141) (@fingolfin)
  • PBWDeformations: Integrate code into OSCAR part 1 (#2145) (@lgoettgens)
  • Migration projective schemes iii (#2147) (@HechtiDerLachs)
  • Printing guidelines (#2148) (@simonbrandhorst)
  • Works with AA 0.29, too (#2149) (@fingolfin)
  • Make MPolyQuoRingElem great again (#2150) (@thofma)
  • Avoid creating a matrix space just to create a zero or identity matrix (#2151) (@fingolfin)
  • Replace more unnecessary uses of matrix_space (#2153) (@fingolfin)
  • Improved Experimental/JuLie/partitions (#2154) (@ulthiel)
  • Adapt mpoly_type methods to AA 0.29 (#2156) (@fingolfin)
  • Give experimental a more canonical structure (#2157) (@lkastner)
  • Remove final mpoly_type methods (#2159) (@fingolfin)
  • Add back serialization for universal polynomials (#2160) (@SoongNoonien)
  • Attempt to speed-up doctests for F-theory tools (#2163) (@HereAround)
  • Disable some long tests. (#2164) (@simonbrandhorst)
  • MPolyElem -> MPolyRingElem (#2168) (@fingolfin)
  • Raise CI timeout from 120 to 150 minutes (#2169) (@fingolfin)
  • intro to non-general type surfaces in P4 (#2170) (@wdecker)
  • fix broken free resolution (#2173) (@jankoboehm)
  • Improve HTML rendering of our bibliography (#2174) (@fingolfin)
  • cohomCalg: Improve the bibtex entry for its implementation (#2175) (@HereAround)
  • Enable the codecov reports as comments (#2176) (@thofma)
  • Fix type stability for empty iterators (#2177) (@thofma)
  • More cleanup for ProjectiveScheme (#2178) (@simonbrandhorst)
  • Uniform author formatting in bibliography (#2179) (@fingolfin)
  • Adjusted FTheoryTools to new structure of experimental (#2181) (@lkastner)
  • Fix several typos (#2182) (@goggle)
  • Serialization: remove eval fallback in decodeType (#2185) (@fingolfin)
  • Rewrite Hecke import/export without Meta.parse (#2186) (@fingolfin)
  • add Oscar.test_experimental_module (#2188) (@lgoettgens)
  • remove duplicate experimental docs (#2194) (@lgoettgens)
  • Replace '@doc Markdown.doc' by '@doc raw' (#2196) (@fingolfin)
  • Join the plane curves documentation back together (#2197) (@fingolfin)
  • More projective cleanup (#2198) (@HechtiDerLachs)
  • FTheoryTools: Use @vprint and add README.md (#2200) (@HereAround)
  • Remove duplicate @req macro (#2201) (@fingolfin)
  • More improvements for F-Theory Tools (#2205) (@HereAround)
  • fix Oscar.test_experimental_module (#2206) (@lgoettgens)
  • Projective varieties (#2208) (@simonbrandhorst)
  • provide character_table functionality for GrpAbFinGen (#2209) (@ThomasBreuer)
  • Don't run doctests as part of documentation deployment (#2210) (@fingolfin)
  • ProjectiveVarieties more tests and fixes (#2213) (@simonbrandhorst)
  • Improve is_absolutely_irreducible (#2214) (@fieker)
  • Avoid linking a non-existing docs/src directory (#2215) (@joschmitt)
  • Adjust LinearQuotients to new structure of experimental (#2216) (@joschmitt)
  • More on toric schemes (#2219) (@HereAround)
  • Patch GAP package Alnuth to call OSCAR instead of PARI (#2220) (@fingolfin)
  • Improve cone_from_inequalities (#2223) (@alexej-jordan)
  • Some minor docstring tweaks (#2224) (@fingolfin)
  • add correct(?) version of homogeneous_component (#2225) (@fieker)
  • remove trivial == methods (#2226) (@lgoettgens)
  • Resolving various issues (#2229) (@wdecker)
  • Add some missing functions in PolyhedralGeometry (#2230) (@lkastner)
  • Change in -> issubset (#2239) (@lkastner)
  • make sure that ideals in graded rings of type MPolyRingand `MPolyQu… (#2240) (@wdecker)
  • Remove Markdown as a dependency (#2243) (@fingolfin)
  • PolyhedralGeometry: Cones of fan returns incidence matrix (#2244) (@HereAround)
  • ToricVarieties: Add dictionaries linking homogeneous variables to rays (#2245) (@HereAround)
  • Version 0.12.0 (#2250) (@thofma)

v0.11.3

1 year ago

Oscar v0.11.3

Diff since v0.11.2

Closed issues:

  • Homomorphisms from polynomial rings into "arbitrary" rings (#560)
  • Toric Varieties: Completed goals from fall 2021 until December 2022 (#763)
  • Collect deprecations in one place and document the process (#1567)
  • More efficient Serialization of Arrays (#1706)
  • Invalid equality in quotient rings. (#1716)
  • Serialization problems with cyclotomic fields (#1719)
  • Memory leak while accessing polymake incidence matrix (#1742)
  • real_solutions does not find real solutions (#1743)
  • rational_solutions (#1744)
  • Integration of bibtool into the CI possible? (#1773)
  • Addition of empty ideals fails (#1778)
  • _compute_standard_basis_with_transform does not work over number field coefficients (#1794)
  • One test is not running, see https://github.com/oscar-system/Oscar.jl/actions/runs/3647065768/jobs/6158842919 (#1802)
  • Segmentation fault in _rational_solutions (#1812)
  • is_irreducible for group characters broken (#1823)
  • save and load not backwards compatible. (#1839)
  • Wrap Gap.Globals.SmallGeneratingSet (#1847)
  • Save MILP to .lp file (#1852)
  • Overrides for Nemo._hnf and Nemo._hnf_with_transform are causing invalidations (#1863)
  • add dimension range checks to visualize (#1870)
  • Morphisms between GAP groups and abelian groups (#1884)
  • GCD is buggy for polynomial rings over number fields (#1886)
  • frequent CI failures with Julia nightly and 1.9 on macOS due to timeout (#1888)
  • StackOverflowError invoking simplex with bad arguments (#1889)
  • CI failing due to msolve update (#1896)
  • CI reproducibly runs into timeout at a precise point in tests (#1900)
  • quo fails for polynomial rings over exotic coefficient rings (#1901)
  • right_transversal should do better argument checking (#1904)
  • Deprecation warnings during tests (#1947)
  • New OSCAR release before the big renaming next week? (#1952)
  • Precompiling Oscar InitError: GAP variable _JULIAINTERFACE_ERROR_BUFFER not bound (#1955)

Merged pull requests:

  • provide random number generator with fixed seed, seed mpoly-localizations tests (#1459) (@benlorenz)
  • Toric covered schemes (#1636) (@HechtiDerLachs)
  • Matroid strata and realization spaces (#1658) (@dcorey2814)
  • 1719 serialization problems with cyclotomic fields (#1720) (@antonydellavecchia)
  • Adv/efficient vector serialization (#1730) (@antonydellavecchia)
  • Blowups (#1764) (@HechtiDerLachs)
  • add all orderings functions for FreeModElem (#1767) (@tthsqe12)
  • ToricVarieties: More on toric morphisms (#1770) (@HereAround)
  • When computing matrix group orders, inform GAP about the result (#1780) (@fingolfin)
  • PolyhedralGeometry: Allow solve_mixed to return an iterator (#1783) (@lkastner)
  • Cb/document matrix files (#1785) (@CameronBraunstein)
  • Minor adjustment of ideals (#1787) (@thofma)
  • Version 0.11.3-DEV (#1788) (@thofma)
  • Update on FGLM (#1789) (@ederc)
  • Docu GR-algebras following PR #1774 (#1790) (@wdecker)
  • remove coords, coeffs, ... and ONLY use coordinates (#1791) (@fieker)
  • Some fixes (#1795) (@HechtiDerLachs)
  • polishing docu w.r.t. GBs (#1796) (@wdecker)
  • Clean up printing (#1797) (@HechtiDerLachs)
  • Use sparse matrices in the pre_saturation_data. (#1798) (@HechtiDerLachs)
  • bump singular to 0.15 (#1799) (@tthsqe12)
  • tiny addendum following PR #1767, typo (#1800) (@wdecker)
  • Template for ìs_cohen_macaulay function (#1801) (@wdecker)
  • restructering docu to prepare for more on homological algebra (#1803) (@wdecker)
  • Fix all warnings again (#1804) (@thofma)
  • Mpolyquo modules (#1805) (@HechtiDerLachs)
  • Introduce bibtool CI test (#1807) (@HereAround)
  • make work again and move function to Hecke (#1808) (@fieker)
  • Algebraic solving updates (#1810) (@ederc)
  • Borcherds' Method (#1811) (@simonbrandhorst)
  • Orthogonal group for TorQuadMod extended (#1813) (@StevellM)
  • Fix1794 (#1814) (@HechtiDerLachs)
  • ToricVarieties: Coordinate names in direct product & overhaul of introduction (#1815) (@HereAround)
  • Improvements for documentation (#1816) (@HereAround)
  • Reorganize serialization docs (#1817) (@lkastner)
  • Length of modules (#1818) (@HechtiDerLachs)
  • Fixes for singular locus (#1819) (@HechtiDerLachs)
  • bump singular.jl to 0.16 (#1820) (@tthsqe12)
  • Adds Hilbert driven standard basis computation (#1821) (@RafaelDavidMohr)
  • first step in the Oscarification of pc groups (#1822) (@ThomasBreuer)
  • fix is_irreducible (#1824) (@ThomasBreuer)
  • Improvements for rational_solutions (#1825) (@thofma)
  • Collect deprecations (#1827) (@lkastner)
  • Add is total (#1828) (@tthsqe12)
  • added some tests for complement_class_reps (#1829) (@ThomasBreuer)
  • moved some code (#1830) (@ThomasBreuer)
  • Adjust SubdivisionOfPoints output types (#1833) (@alexej-jordan)
  • fix the definition of FPGroup (#1837) (@ThomasBreuer)
  • Coherent sheaves vol. 1 (#1840) (@HechtiDerLachs)
  • Fix some experimental GAP code (#1841) (@fingolfin)
  • Graphs: add some more functions (#1842) (@benlorenz)
  • Matroid: fix independent set for cycle matroids and a few minor improvements (#1843) (@benlorenz)
  • Semi-invariants / relative invariants (#1845) (@joschmitt)
  • Improve coverings, round I (#1846) (@HechtiDerLachs)
  • Update copyright to 2023 (#1848) (@fingolfin)
  • small improvements of docu (#1849) (@wdecker)
  • Free resolution offset (#1850) (@ederc)
  • milp serialization (#1851) (@antonydellavecchia)
  • added small_generating_set(::GAPGroup) (#1853) (@ThomasBreuer)
  • Add Cohen-Macaulay test for affine algebras (#1854) (@wdecker)
  • Improve coverings, round II (#1855) (@HechtiDerLachs)
  • introduce is_full_fp_group ... (#1856) (@ThomasBreuer)
  • more homological algebra functions (#1857) (@wdecker)
  • Make struct CycleType immutable (#1858) (@fingolfin)
  • Improve primitive_by_shape and an_sn_by_shape (#1859) (@fingolfin)
  • Minor tweaks for perm groups / cycle types (#1860) (@fingolfin)
  • bug correction (#1862) (@wdecker)
  • Fix method invalidations by disabling SLP getindex methods (#1864) (@fingolfin)
  • Local h2 (#1865) (@fieker)
  • small improvements to affine algebras (#1866) (@wdecker)
  • Introduce morphism_of_covered_schemes for projective morphisms. (#1867) (@HechtiDerLachs)
  • Adding modules over quotient and local rings to Docu (#1868) (@wdecker)
  • More on automorphism groups of ZLat and TorQuadMod (#1869) (@StevellM)
  • Remove hnf code (#1871) (@thofma)
  • Bump Hecke version and remove duplicated method (#1873) (@thofma)
  • computation of kernels for towers of polynomial rings via flattenings (#1876) (@HechtiDerLachs)
  • Projective bundles part I (#1879) (@HechtiDerLachs)
  • rename ChainComplex -> ComplexOfMorphisms (#1880) (@fieker)
  • Projective bundles part ii (#1881) (@HechtiDerLachs)
  • Projective bundles part III (#1882) (@HechtiDerLachs)
  • Projective bundles part iv (#1887) (@HechtiDerLachs)
  • Morphisms between GAP groups and abelian groups (#1890) (@ThomasBreuer)
  • init: add terminfo dirs when installing GAPs browse (#1891) (@benlorenz)
  • Revision of quotient rings (#1892) (@ederc)
  • ToricVarieties: Bugfix in vanishing sets (#1893) (@HereAround)
  • minor cleanups for singular_locus (#1894) (@afkafkafk13)
  • fix typo/ julia change: ' -> transpose (#1895) (@fieker)
  • Fixes tests for msolve v0.4.9 (#1897) (@ederc)
  • add localization of quotients of multivarate polynomial rings to docu (#1898) (@wdecker)
  • require polymake.jl 0.9 for polymake 4.9 (#1902) (@benlorenz)
  • ToricVarieties: Several bugfixes (#1909) (@HereAround)
  • Mj/polyhedral (#1911) (@micjoswig)
  • PolyhedralGeometry: add {load,save}_{lp,mps} to save (MixedInteger)LinearPrograms (#1916) (@benlorenz)
  • Make Groebner basis computation in quo construction lazy (#1917) (@thofma)
  • Concrete intersection theory (#1918) (@HechtiDerLachs)
  • DevDocs: suggest to honor .editorconfig (#1919) (@fingolfin)
  • better error message for right_transversal (#1921) (@ThomasBreuer)
  • ToricVarieties: Provide link to the tutorial on toric varieties (#1922) (@HereAround)
  • Local h2 (#1923) (@fieker)
  • fix trivia - and rename (#1924) (@fieker)
  • docs: change some '->' to proper LaTeX arrows (#1925) (@fingolfin)
  • Fix finite orthogonal group (#1927) (@simonbrandhorst)
  • Some leftovers from 1911 (#1928) (@lkastner)
  • add example Hilbert driven Buchberger, some text polishing (#1932) (@wdecker)
  • Improve visualize (Polyhedral Geometry) (#1933) (@alexej-jordan)
  • Fix local h2 (#1934) (@fieker)
  • Heisenbug factoring (#1936) (@fieker)
  • Improvements for toric geometry (#1937) (@HereAround)
  • LPFiles: fix docstring + doctest (#1939) (@benlorenz)
  • update docu on affine algebras following recent discussions and PRs (#1941) (@wdecker)
  • Tests: create github action summary with run-times and compile-times per test-file (#1942) (@benlorenz)
  • Localization docu part ii (#1943) (@HechtiDerLachs)
  • PolyhedralGeometry: more keyword arguments for rand_spherical_polytope (#1945) (@benlorenz)
  • Reduce number of things put into the group lattice (#1948) (@thofma)
  • is... ---> is_... (#1949) (@wdecker)
  • Repair broken tests (#1951) (@HechtiDerLachs)
  • Tests for projective bundles iv (#1953) (@HechtiDerLachs)
  • ToricVarieties: Remove more deprecation warnings (#1956) (@HereAround)
  • CI: Fail on deprecation warning (#1957) (@HereAround)
  • add Koszul complex (#1959) (@wdecker)
  • Version 0.11.3 (#1960) (@benlorenz)

v0.11.2

1 year ago

Oscar v0.11.2

Diff since v0.11.1

Closed issues:

  • Marry different implementations of the Chow ring (#1475)

Merged pull requests:

  • start GR-algebras (#1774) (@tthsqe12)
  • Bump to 0.11.2-DEV (#1776) (@thofma)
  • save: don't return number of bytes written (#1777) (@benlorenz)
  • FGLM Gröbner conversion algorithm (#1782) (@ederc)
  • Skip nondeterministic tests (#1784) (@thofma)
  • Version 0.11.2 (#1786) (@thofma)