Releases: oscar-system/Oscar.jl
Releases · oscar-system/Oscar.jl
v0.13.0
Oscar v0.13.0
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 forgens(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 apartition
method (#2298)- Change order of inclusion of experimental code (#2300)
- Converting
Int64
toMPolyRingElem
(#2331) - Difference in printing in REPL versus doctests (#2335)
is_power
andis_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 allowUnitRange
(#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
androots
(#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
to0.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 inPolyhedralGeometry
(#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
andnvertices
(#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_genera...
v0.12.1
Oscar v0.12.1
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
andFiniteField
the same way as inPolynomialRing
(#862) - Help mode for
lift
lists a docstring fordata(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 asSubObjectIterator{RayVector{QQFieldElem}}
(#2305) - Semantic conflict between
gens(U::PrincipalOpenSubset)
andgetindex(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]
totest/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'sFieldByMatrices
(#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
andpermutation_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; makefindfirst(fun, t::GAPGroupCharacterTable)
work (#2303) (@ThomasBreuer)- TropicalGeometry: groebner_fan.jl, new implementation for Groebner fans (#2306) (@YueRen)
- use
unhomogenized_matrix
for construction ofCone
andPolyhedralFan
(#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]
totest/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
Oscar v0.12.0
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 returnfmpz
/ 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 dividingfmpq
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
vscharpoly
(#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
andiso_gap_oscar
for number fields (#2003) (@ThomasBreuer) - Combinatorics: Add sanity check to add_edge!(Graph) (#2004) (@lkastner)
graded_polynomial_ring
andforget_grading
(#2005) (@joschmitt)- fixed
is_conjugate
for matrix groups (#2006) (@ThomasBreuer) - changed the
export
statements forsrc/Groups
(#2007) (@ThomasBreuer) - let
iso_gap_oscar
chooseNemo._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
forquadratic_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) (@Hech...
v0.11.3
Oscar v0.11.3
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
andload
not backwards compatible. (#1839)- Wrap Gap.Globals.SmallGeneratingSet (#1847)
- Save MILP to .lp file (#1852)
- Overrides for
Nemo._hnf
andNemo._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
andTorQuadMod
(#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
Oscar v0.11.2
Closed issues:
- Marry different implementations of the Chow ring (#1475)
Merged pull requests:
v0.11.1
Oscar v0.11.1
Closed issues:
- Reconcile
DEVELOPMENT.md
with dev docs (#1337) - groups atlas error without wget or GAP io (#1516)
visualize
leads to Polymake exiting ("crashing") the Julia session when used in WSL (#1615)- Tests fail in
test/PolyhedralGeometry/timing.jl
(#1670) - ToricVarietiies: Shuffling weights for weighted projective space changes the space (#1687)
- Extend documentation for schemes (#1689)
Oscar.build_doc(;doctest=:fix)
does not fix doctests in.md
files (#1708)- Precompilation warnings caused by changes in Hecke (?) (#1752)
Merged pull requests:
- Gröbner Bases: Changes normal form to take a monomial ordering kwarg (#1654) (@RafaelDavidMohr)
- Document more groups files (#1661) (@CameronBraunstein)
- Finitely Presented Algebras, not 'Represented' (#1662) (@fingolfin)
- More consistent spelling for OSCAR (#1666) (@fingolfin)
- Prepare for GAP 4.12 (#1671) (@fingolfin)
- ToricVarieties: Extend Chow ring to non-complete varieties (#1684) (@HereAround)
- Improve schemes documentation (#1691) (@HechtiDerLachs)
- ToricVarieties: Workaround for bug in polymake in weighted_projective… (#1695) (@lkastner)
- New terms etc (#1696) (@tthsqe12)
- Singular locus (#1700) (@afkafkafk13)
- Rename k point coordinates (#1701) (@afkafkafk13)
- Update compat for DocStringExtensions 0.9 (#1703) (@YingboMa)
- Intro to docu on Gröbner bases (#1705) (@wdecker)
- Fix warning about method being redefined (#1707) (@fingolfin)
- Fix typo in signature (#1709) (@thofma)
- properly fix typo in nrows(subarray) (#1710) (@benlorenz)
- make the Rubik's cube example run in Oscar (#1711) (@ThomasBreuer)
- changed
transitivity
(#1713) (@ThomasBreuer) - Convert most @repl blocks to jldoctest (#1721) (@fingolfin)
- new tail too (#1722) (@tthsqe12)
- Fix warnings; remove superfluous function declarations (#1723) (@fingolfin)
- towards Wolfram's new ideas (#1724) (@fieker)
- better support for non-simples in Qab (#1725) (@fieker)
- add comments from Lars (#1726) (@fieker)
- add (and use) gcd_with_cofactor in ref_ff (#1727) (@fieker)
- remove norm_equatin in fin. field.: fixed in Hecke (#1728) (@fieker)
- various: factoring, ideal, relative (#1729) (@fieker)
- README.md: update documentation links (#1731) (@fingolfin)
- Examples w.r.t. PR #1722 (#1733) (@wdecker)
- Weil divisors (#1734) (@HechtiDerLachs)
- Fix saturated ideal for quotient rings. (#1735) (@HechtiDerLachs)
- TropicalVarieties: Use pseudo_inv instead of adjoint (#1736) (@lkastner)
- Tweak some docstrings (#1737) (@fingolfin)
- Applying naming conventions for the schemes (#1738) (@HechtiDerLachs)
- Add docs on complex algorithms (#1740) (@lkastner)
- Add naive version for rational solutions of zero/one-dimensional ideals (#1748) (@fieker)
- Cleanup bibliography (#1749) (@HereAround)
- Decrease allocations in elements (#1750) (@SyxP)
- Add letters() and syllables() for FPGroupElem (#1751) (@fingolfin)
- Remove some methods that moved to Hecke in 0.16.* (#1753) (@thofma)
- Make
elements
even faster (#1754) (@fingolfin) - Remove obsolete benchmarks (#1755) (@fingolfin)
- (re-)enable some more tests (#1756) (@benlorenz)
- Add more type assertions and wrappers to GAP code (#1758) (@fingolfin)
- More GAP tweaks (#1759) (@fingolfin)
- More docu on standard bases (#1760) (@wdecker)
- add vdim(::MPolyIdeal) (#1761) (@tthsqe12)
- added tests for some conversions (#1762) (@ThomasBreuer)
- A few complements to recent PRs (#1763) (@wdecker)
- add
vdim
to docu (#1766) (@wdecker) - Make doctests part of Pkg.test("Oscar") (#1768) (@thofma)
- tests: fix global state for doctests (#1769) (@benlorenz)
- ToricVarieties: Bugfix in is_empty for closed subvarieties (#1771) (@HereAround)
- Bump to 0.11.1 (#1775) (@thofma)
v0.11.0
Oscar v0.11.0
Closed issues:
- Detect whether build dependencies are present, error out with helpful message if not (#83)
- Groups: the trivial group should be considered as a p-group (#121)
- Group: issubgroup convention (#163)
- fraction in quotient ring (#264)
- Do not export SymmetricGroup and some other stuff from AbstractAlgebra (#353)
- Problem with sqrtmod with powers of 2 (#437)
- functions related to hilbert_polynomial use unsafe Int arithmetic and an odd mix of fmpz/fmpq arithmetic (#573)
- singular_module (#682)
- Add Combinatorics chapters to manual (with graphs, simplicial complexes, etc.) and fix reference entries (#753)
- Coerce coefficients into coefficient ring when defining polynomials (#766)
- Singular ring coercion riddle (#975)
- trivial groups are non-trivial...`` (#980)
- Allow *(::Vector/Matrix{fmpq}, ::fmpq/fmpz), //(::Vector/Matrix{fmpq}, ::fmpq/fmpz) and *(::Vector/Matrix{fmpz}, ::fmpz) (#1088)
- CI test failure in Julia nightly due to Unicode changes (#1140)
- ToricVarieties: Interplay with polyhedral geometry and performance (#1258)
- Inconsistent use of is and is_ in function names (#1265)
- Don't export
SymmetricGroup
resp. replace it with an alias forsymmetric_group
(#1418) - Documentation: Explain how to execute the doctests (#1504)
- ideal membership crashes for MPolyQuoIdeal in 'fake' quotient rings
Q = R/(0)
(#1530) - Subgroup of automorphism group hanging(?) (#1531)
divrem
goes into overflow for quotient rings (#1534)- Intersection of submodules makes trouble (#1546)
- Something goes wrong in the submodule constructor (#1547)
- automorphism (groups) (#1556)
- Bug in affine_cone (#1580)
- Coerce element from subgroup (#1599)
- quick clarification on bug in induced_ring_ordering (#1643)
- Implement weighted projective space as toric variety, scheme and possibly more (#1644)
- Should affine schemes have an ambient space. (#1664)
- ambiguous evaluate (#1668)
- Crash in PolyhedralGeometry (caused by OpenMP code?) (#1674)
- solve_mixed should check arguments for consistency (#1678)
Merged pull requests:
- deal (badly) with non-trivial Schur index (#1435) (@fieker)
- ToricVarieties: Chow ring (#1449) (@HereAround)
- ToricVarieties: Toric morphisms (#1460) (@HereAround)
- msolve -> AlgebraicSolving (#1474) (@ederc)
- docu to (most of) #1511 (#1518) (@wdecker)
- smaller powers in random loc elems (#1519) (@tthsqe12)
- Orthogonal groups via orthogonal decomposition (#1520) (@simonbrandhorst)
- update Singular.jl to 0.13 (#1521) (@tthsqe12)
- Fix task in direct_product and type in homology (#1522) (@AlexD97)
- Remove duplicate method for PBW algebras (#1523) (@thofma)
- Extend Docu w.r.t. modules (commutative); PBW-algebras (#1524) (@wdecker)
- Serialize
QuadraticSpace
andZLat
(#1525) (@simonbrandhorst) - Adv/serialize power series (#1526) (@antonydellavecchia)
- Extending docu on PBW-algebras as template for @tthsqe12 (#1527) (@wdecker)
- change to left_ideal and two_sided_ideal in pwb_algebra (#1528) (@tthsqe12)
- Improving docu w.r.t. module morphisms (#1529) (@wdecker)
- provide
check
argument forsub
(#1532) (@ThomasBreuer) - allow an MPolyRing in place of variables in ordering constructors (#1533) (@tthsqe12)
- add opposite_ordering (#1535) (@tthsqe12)
- Spec retying (#1537) (@HechtiDerLachs)
- show a character table optionally with the degrees of the character fields (#1539) (@ThomasBreuer)
- pbw_algebra: add opposite_algebra and right ideals (#1541) (@tthsqe12)
- Type correction, start docu on chain complexes (#1542) (@wdecker)
- Hilbert series (#1543) (@HechtiDerLachs)
- WIP: Toric varieties and covered schemes (#1544) (@HechtiDerLachs)
- Some improvements to UngradedModules.jl (#1545) (@AlexD97)
- Some tweaks related to
check
(#1548) (@fingolfin) - Resolve clash between delpezzo and del_pezzo (#1549) (@fingolfin)
- Add epimorphism_from_free_group (#1550) (@fingolfin)
- calling polymake grassman plucker ideal from Oscar (#1551) (@antonydellavecchia)
- Fix warnings (#1552) (@fingolfin)
- Remove strange 'vertices' method (#1553) (@fingolfin)
- more on modules in docmore on modules in docu (#1554) (@wdecker)
- Fix #1546 (#1555) (@AlexD97)
- Tiny allocations (#1558) (@alexej-jordan)
- added
atlas_subgroup
(#1559) (@ThomasBreuer) - Small bugfix in the localizations. (#1560) (@HechtiDerLachs)
- Projective modules (#1561) (@HechtiDerLachs)
- Resolve issues with automorphisms and Graphs and more general things (#1565) (@lkastner)
- DevDocs: Mention how to run doctests (#1566) (@lkastner)
- docs: mutable pitfalls (#1568) (@tthsqe12)
- Adv/fix tuple serialization (#1569) (@antonydellavecchia)
- Fix syntax error in the documentation (#1570) (@fingolfin)
- Fixes for intersections and coverings (#1571) (@simonbrandhorst)
- Add docstrings for build_doc and test_module (#1572) (@lkastner)
- Function fields for irreducible varieties (#1573) (@HechtiDerLachs)
- Add is_pgroup_with_prime, prime_pgroup (#1574) (@fingolfin)
- Tweak
alternating_group
andsymmetric_group
(#1575) (@fingolfin) - Make
@registerSerializationType
more broadly applicable (#1576) (@fingolfin) - Factor out some common code from matrix group constructors (#1577) (@fingolfin)
- Change some group constructors to accept fmpz, PosInf (#1578) (@fingolfin)
- Rename homogeneous_poly_ring to ambient_ring (#1579) (@simonbrandhorst)
- Extended docu for PBW-algebras following PR #1541 (#1581) (@wdecker)
- Tests for AffineSchemes (#1582) (@simonbrandhorst)
- Some test for #1530 (#1583) (@thofma)
- Relations of fundamental invariants (#1584) (@joschmitt)
- Fix 1580 (#1586) (@HechtiDerLachs)
- Tests for SpecOpen and rename restriction to restrict (#1588) (@simonbrandhorst)
- Prepare for changes in shortest_vectors (#1589) (@thofma)
- Untangle intro for new developers (#1590) (@lkastner)
- Better pbw ideals arith (#1591) (@tthsqe12)
- Modulus handling (#1593) (@afkafkafk13)
- Automorphism groups for polytopes (#1594) (@lkastner)
- Ideal gens merge (#1595) (@AlexD97)
- Some docu text to prepare for further discussions on elimination in P… (#1596) (@wdecker)
- bug in issubset for right ideals (#1598) (@tthsqe12)
- Change most uses of GAP.julia_to_gap to GAP.Obj (#1600) (@fingolfin)
- Examples in Docu following PR #1591 (#1601) (@wdecker)
- Header files for schemes (#1602) (@HechtiDerLachs)
- compute the Schur index via a GAP function (#1603) (@ThomasBreuer)
- Add documentation for Integer Lattices (#1604) (@simonbrandhorst)
- Allow coercion of group elements to new parents (#1605) (@fingolfin)
- FAQ entry for gnu parallel error (#1606) (@benlorenz)
- replace is_canonically_isomorphic by == and some Dicts by IdDicts (#1608) (@simonbrandhorst)
- PolyhedralGeometry: Add mixed integer linear programs (MILP) (#1609) (@lkastner)
- Add a test for fiber product (#1610) (@simonbrandhorst)
- Tests and cleanup for projective and covered schemes (#1611) (@simonbrandhorst)
- Rewrite docu as template for cleaning up
orderings.jl
(#1612) (@wdecker) - Some tests and cleanup for glueings. (#1613) (@HechtiDerLachs)
- CI: update to v3 of actions/checkout (#1616) (@fingolfin)
- Use the coefficient map in
_check_imgs_quo
(#1620) (@joschmitt) - pbw_algbra: left_ideal eliminate (#1621) (@tthsqe12)
- switch off GAP Info messages earlier (#1622) (@ThomasBreuer)
- Tweak Hilbert series code (#1624) (@fingolfin)
- Singularities (#1625) (@afkafkafk13)
- More cleanup and tests (#1626) (@HechtiDerLachs)
- More orderings fixes (#1627) (@tthsqe12)
- added
orbit_representatives_and_stabilizers
(#1628) (@ThomasBreuer) - Revert "Temporarily disable printing test for julia master (#1156)" (#1629) (@fingolfin)
- WIP docu adjustments to PR #1627 (#1631) (@wdecker)
- Cleanup and tests for covered schemes. (#1632) (@HechtiDerLachs)
- Sheaves on covered schemes (#1634) (@HechtiDerLachs)
- cmp for MPolyElem monomials (#1635) (@tthsqe12)
- Reduce allocations in Polyhedral Geometry (#1637) (@alexej-jordan)
- Implement the check for being zero divisors for affine algebras. (#1638) (@HechtiDerLachs)
- fixed grasmann typo (#1639) (@antonydellavecchia)
- add module orderings to docu (#1640) (@wdecker)
- Pbw ideal eliminate finish (#1641) (@tthsqe12)
- Add /docs/fourtitwo.json to gitignore (#1642) (@HereAround)
- complete module term orderings (#1645) (@tthsqe12)
- ToricVarieties: Implement weighted projective space (#1646) (@HereAround)
- Examples for elimination in PBW-algebras (#1647) (@wdecker)
- pbw_algebra: fix bug in two sided elimination (#1648) (@tthsqe12)
- ToricVarieties: Further improvements (#1650) (@HereAround)
- Migration of affine schemes (#1652) (@HereAround)
- Ideal sheaves -- once again (#1653) (@HechtiDerLachs)
- Standard basis fixes (#1655) (@ederc)
- Prevent tests from polluting git dir with fourtitwo.json files (#1656) (@fingolfin)
- Fix overflows and type stability in hilbert_* (#1660) (@fingolfin)
- Fix typos found with codespell (#1665) (@fingolfin)
- Better type stability for MPolyQuo (#1667) (@fingolfin)
- make OSCAR's evaluate a bit more specific (#1673) (@tthsqe12)
- ToricVarieties: More improvements (#1676) (@HereAround)
- Fix coercion
TorQuadModMor
->AutomorphismGroupElem{TorQuadMod}
(#1677) (@StevellM) - PolyhedralGeometry: solve_mixed input checks (#1679) (@lkastner)
- Second round of migration of the schemes (#1680) (@HechtiDerLachs)
- Migration of schemes part iii (#1681) (@HechtiDerLachs)
- Migration of schemes part iv (#1682) (@HechtiDerLachs)
- Introduce ambient_affine_space of an affine scheme (#1683) (@simonbrandhorst)
- added symmetrizations of group characters (#1685) (@ThomasBreuer)
- bump singular.jl to 0.14 (#1686) (@tthsqe12)
- remove ambient_closure_ideal from docs (#1690) (@simonbrandhorst)
- Remove unused type parameter (#1692) (@thofma)
- Agnostic saturated ideal and modulus (#1693) (@afkafkafk13)
- fix coordinate typo (#1698) (@CameronBraunstein)
v0.10.2
Oscar v0.10.2
Closed issues:
- Bug in crt(r1,m1,r2,m2) when m1 and m2 are not relatively prime (#1479)
- bug in trace_of_frobenius (#1480)
quadratic_twist
fails on elliptic curves over GF(p) (#1492)- Addition of ideals fails eventually when doing stuff with different orderings (#1495)
Merged pull requests:
- Alternative serialization for Vector; avoid
eval
for type dispatch (#1362) (@fingolfin) - reworked intro docs (#1485) (@CameronBraunstein)
- Add more fixes and tests for ext/tor (#1494) (@AlexD97)
- Cb/alias symmetric group (#1497) (@CameronBraunstein)
- handles "+" and "*" for ideals on the Oscar side (#1498) (@ederc)
- Adv/load with parent (#1499) (@antonydellavecchia)
- Serialization of polynomials over Padics + tests (#1501) (@antonydellavecchia)
- Some language smoothing (#1502) (@wdecker)
- restructured docu on modules (#1503) (@wdecker)
- Adv/serialization type cleanup (#1506) (@antonydellavecchia)
- Various fixes in UngradedModules.jl (#1508) (@AlexD97)
- Start docu on G-algebras as template for moving Plural functionality … (#1509) (@wdecker)
- Adv/serialization tropical (#1510) (@antonydellavecchia)
- start G-Algebras (#1511) (@tthsqe12)
- fix for the automorphism group of the trivial abelian group (#1513) (@simonbrandhorst)
- Catch empty generators in
isomorphic_group_over_finite_field
(#1514) (@joschmitt) - Bump to 0.10.2 (#1515) (@thofma)
- test/PolyhedralGeometry/timings on macos: restrict openmp threads and allow more time (#1517) (@benlorenz)
v0.10.1
Oscar v0.10.1
Closed issues:
- Matrix group elements should act on "vectors". (#872)
- Multivariate rational function fields (#1261)
- Warning in serialization tests (#1407)
- Comparison of
MPolyQuoIdeal
's not correct (#1408) - The incorrect displayed symbols in GAP online reference manual
39.7-6 CosetDecomposition
. (#1409) - Missing
Base.in
method forMPolyQuoIdeal
(#1411) - comparison of monomial orderings has a problem? (#1423)
- Oscar.jl/test/TropicalGeometry/initial.jl has a line that is 18 thousand characters long (#1425)
- Oscar.jl/test/TropicalGeometry/initial.jl has a line that is 18 thousand characters long (#1426)
- latest version of msolve (msolve_jll v0.2.5+0) seems to be buggy (#1431)
- Oscar.jl/test/TropicalGeometry/initial.jl fails when only a subset of the test suit is run (#1437)
- ToricVarieties: Bug in Stanley-Reisner ideal (#1440)
- random failure in Rings-conformance-tests (#1451)
- successful doctests on macos sometimes crashing on exit (#1473)
- Using F4 does not seem to correctly set the gb field of an ideal (#1481)
- F4 segfaults when exporting results back to Julia (#1484)
Merged pull requests:
- Warn in encodeType about unregistered type (#1406) (@fingolfin)
- Some improvements and polishing (#1410) (@AlexD97)
- add ideal_membership for MPolyQuoIdeal (#1413) (@tthsqe12)
- trivia... (#1414) (@fieker)
- First steps for free resolutions (#1415) (@ederc)
- Introduce standard bases for ideals (for non-global orderings). (#1416) (@HechtiDerLachs)
- bump singular version (#1417) (@tthsqe12)
- support
all_atlas_group_infos
(#1419) (@ThomasBreuer) - all lifts are in singular.jl now (#1420) (@tthsqe12)
- removed a
Base.:*
method ... (#1421) (@ThomasBreuer) - Adv/serializing field embeddings (#1422) (@antonydellavecchia)
- first small step in fixing the orderings (#1427) (@tthsqe12)
- Small bugfix for kernels of morphisms over localized rings. (#1428) (@HechtiDerLachs)
- Cb/update perm docs (#1429) (@CameronBraunstein)
- Msolve fixes (#1433) (@ederc)
- fixed code using
names_of_fusion_sources
(#1434) (@ThomasBreuer) - Fundamental invariants (#1438) (@joschmitt)
- ToricVarieties bugfix: grading of Coxring for Hirzebruch surface wrongly set (#1439) (@HereAround)
- minimal_nonfaces: fix column number of IncidenceMatrix (#1441) (@benlorenz)
- Fix doctests for AA (#1442) (@thofma)
- Adv/cleanup polynomial serialization tests (#1443) (@antonydellavecchia)
- ToricVarieties: Extend conifold-transition example (#1444) (@HereAround)
- serialization: suppress + check warning on unknown polymake type (#1446) (@benlorenz)
- Move
InvariantTheory
tosrc
(#1447) (@joschmitt) - Fix orderings part1 (#1448) (@tthsqe12)
- added paper for later use (#1450) (@wdecker)
- missing init in product (#1453) (@tthsqe12)
- add algo parameter to galois_group(AnticNumberField) (#1454) (@fieker)
- Fix a @cite (#1456) (@fingolfin)
- singular->oscar ordering conversion (#1457) (@tthsqe12)
- renamed gap_perm to perm and removed all gap_perm references (#1458) (@CameronBraunstein)
- fixed
orthogonal_sign
(#1461) (@ThomasBreuer) - docu triviadocu triviadocu triviadocu triviadocu triviadocu triviadoc… (#1462) (@wdecker)
- TropicalGeometry: removed excessive test (#1464) (@YueRen)
- fix typo(s) (#1465) (@fieker)
- test/Polyhedron: make sure output order stays the same (#1466) (@benlorenz)
- Update dependencies (#1467) (@thofma)
- moved documentation to functions (#1468) (@CameronBraunstein)
- Use AbstractAlgebra v0.27 (#1469) (@joschmitt)
- alg options for integral_basis (#1470) (@tthsqe12)
- Improve simplify; make ext/tor work again, add test (#1476) (@AlexD97)
- Adv/serialization ns field emb (#1478) (@antonydellavecchia)
- Fix for issue 1481 (#1482) (@ederc)
- added more type encodings to avoid warnings (#1483) (@antonydellavecchia)
- Adv/matrix serialization (#1486) (@antonydellavecchia)
- Fix some outdated imports (#1488) (@thofma)
- Bump depdencies and tag 0.10.1 (#1490) (@thofma)
v0.10.0
Oscar v0.10.0
Closed issues:
- Serialization: add high-level
save
andload
methods which take a Julia IO object (#1319) - Extend invariant computation to permutation groups (#1346)
- "Error" when loading Oscar without internet connection (#1364)
- Test failure in QQAb conformance tests (#1392)
- Test failure on julia master (in GAP.jl) (#1395)
Merged pull requests:
- Minor improvements to tropical geometry code. (#1230) (@martapanizzut)
- Pr covered schemes mar22 (#1242) (@HechtiDerLachs)
- Module localizations pr may 22 (#1295) (@HechtiDerLachs)
- rearrange the code in
experimental/GModule
(#1309) (@ThomasBreuer) - Unify and simplify type handling within PolyhedralGeometry (matrices) (#1321) (@alexej-jordan)
- Use Hecke.jl complexes for modules; fix direct sum (#1339) (@AlexD97)
- Don't use generic serialization automatically, add a test (#1341) (@fingolfin)
- Adv/ideal serialization (#1342) (@antonydellavecchia)
- Let Pkg sort Project.toml, to reduce diffs elsewhere (#1347) (@fingolfin)
- Remove
trace(::MatrixGroupElem)
(#1349) (@fingolfin) - Make rand_pseudo(::GAPGroup) uniformly usable (#1350) (@fingolfin)
- Miscellaneous changes to the groups code (#1351) (@fingolfin)
- improvements/extensions for G-sets (#1352) (@ThomasBreuer)
- Serialization: Fix loading SimplicialComplex (#1353) (@lkastner)
- CI: don't run timing tests when JULIA_PKGEVAL is set (#1354) (@benlorenz)
- Update a few calls to deprecated functions (#1355) (@fingolfin)
- Serialize singletons; avoid redundant backref ids (#1356) (@fingolfin)
- support invariant rings of permutation groups (#1357) (@ThomasBreuer)
- Add missing import from AA (#1358) (@thofma)
- Speed up secondary invariants using ideas by Simon King (#1359) (@joschmitt)
- Tweak bib (#1360) (@fingolfin)
- Fix some constructor for number fields from abelian closure (#1363) (@thofma)
- improvements/fixes for
iso_oscar_gap
(#1365) (@ThomasBreuer) - added
on_indeterminates
for matrix action (#1367) (@ThomasBreuer) - convenience methods for
Vector * MatGroupElem
(#1368) (@ThomasBreuer) - Module Gröbner basis (#1369) (@AlexD97)
- PolyhedralComplex: fix common_refinement type in polymake call (#1370) (@benlorenz)
- Fix wrong usage of // (#1371) (@thofma)
- added
map_word
(#1372) (@ThomasBreuer) - Localization overhaul (#1373) (@HechtiDerLachs)
- solve-by-radicals (#1374) (@fieker)
- Minor change in
HilbertData
(#1375) (@joschmitt) - add basic doc... (#1377) (@fieker)
- Small adjustments to Docu following recent PRs (#1378) (@wdecker)
- Fix WARNING: could not import Oscar.projective_space into Oscar (#1381) (@fingolfin)
- add a examples/ docstring for abelian_closure (#1382) (@fieker)
- Allow save to / load from IOStream, and other serialization tweaks (#1383) (@fingolfin)
- Qab -> QQAb and variations (#1385) (@fieker)
- Serialization: switch save args order, remove deprecated stuff (#1386) (@fingolfin)
- Revise how the serialization type map is initialized (#1387) (@fingolfin)
- Fix field interface for QQAbField (#1388) (@thofma)
- Refine serialization test setup (#1389) (@fingolfin)
- Minor corrections in the documentation of the localizations and their… (#1390) (@HechtiDerLachs)
- doc: fix a serialization example (#1391) (@fingolfin)
- Fix abelian closure test (#1396) (@thofma)
- re(?) fix for fractional polynomials (#1397) (@fieker)
- fixed typo Chenese to Chinese (#1398) (@CameronBraunstein)
- CI: run only 2 macOS jobs, not 4 (#1399) (@fingolfin)
- added group action on
MPolyIdeal
s (#1401) (@ThomasBreuer) - Adv/katsura ideals (#1402) (@antonydellavecchia)
- get rid of
GAP
access in GITFans.jl (#1403) (@ThomasBreuer) - added an assertion to a
quo
method (#1404) (@ThomasBreuer) - Cleanup katsura docstrings (#1405) (@fingolfin)