v0.40.4

Hecke v0.40.4

Diff since v0.40.3

Merged pull requests:

• Heuristic endomorphisms and Abel-Jacobi Map (#2241) (@JHanselman)
• Use weak popov form for fractional ideals over function fields (#2361) (@alexey-orlov-math)
• Fixed gcd sircana corner cases (#2367) (@alexey-orlov-math)
• Fix closure boxes by using fresh variable names (#2387) (@fingolfin)
• feat: add order and subtype keyword to stable_subgroups (#2390) (@thofma)
• fac elem in class group preimage (#2392) (@fieker)
• fix: make keywords handling in subfield(::ClassField; kw...) more sane (#2393) (@thofma)
• fix: decomposition group at infinite place (#2394) (@thofma)
• Fix characteristic_vectors(::ZZLat) by lll reducing the projected lattices (#2395) (@simonbrandhorst)
• chore: bump to 0.40.4 (#2396) (@thofma)
• sb/fix reduced characteristic vectors (#2397) (@simonbrandhorst)

Closed issues:

• gcd_sircana crash+assert (#2218)

v0.40.3

Hecke v0.40.3

Diff since v0.40.2

Merged pull requests:

• fix: throw proper error (#2381) (@thofma)
• sb/reduced characteristic vectors (#2382) (@simonbrandhorst)
• perf: characteristic_vectors (#2383) (@simonbrandhorst)
• chore: bump to 0.40.3 (#2384) (@thofma)

v0.40.2

Hecke v0.40.2

Diff since v0.40.1

Merged pull requests:

• test: mirror Oscar's test setup (#2366) (@thofma)
• feat: improvements for quaternion algebras (#2368) (@thofma)
• fix: ray class group map for factored ideals (#2369) (@thofma)
• Cf/completion (#2370) (@fieker)
• feat: improvements for abelian groups (#2371) (@thofma)
• Cf/abs decom type (#2372) (@fieker)
• trivia (#2373) (@fieker)
• ci: check docstrings (#2375) (@thofma)
• fix: picard group of orders in etale algebras (#2376) (@thofma)
• fix: make zero handling more robust in ideal code (#2378) (@thofma)
• chore: bump to 0.40.2 (#2379) (@thofma)

Closed issues:

• Speeding up "time to first result"? (#746)
• Ray class group map could be a bit more intelligent (#1289)
• setprecision!(f::CompletionMap) (#1509)
• Ideal membership for infinite maximal orders of function fields broken (over QQBar) (#2272)
• Modulus error on the computation of picard_group of a non-maximal order (#2374)
• iszero for ideals is wrong in some cases (#2377)

v0.40.1

Hecke v0.40.1

Diff since v0.40.0

Merged pull requests:

• fix: reject virtual classes with negative signature in _is_valid (#2348) (@simonbrandhorst)
• fix: choose a large enough complement in _isotropic_subspace (#2349) (@simonbrandhorst)
• fix: do not negate the Gram matrix of the input in short_vectors_affine (#2350) (@simonbrandhorst)
• fix: correct the base change returned by lll_gram_indef_ternary_hyperbolic (#2351) (@simonbrandhorst)
• fix: can_solve for binary quadratic forms missed solutions with y = 0 (#2352) (@simonbrandhorst)
• fix: is_reduced threw for binary forms of square discriminant (#2353) (@simonbrandhorst)
• feat: implement basis improvement of Allombert-Chenevier (#2355) (@thofma)
• feat: use new lattice enumeration as default (#2356) (@thofma)
• feat: direct close vector enumeration (#2357) (@thofma)
• feat: reduce ideals before computing discrete logarithm in the locally free class group (#2358) (@thofma)
• fix: rename Allombert-Chenevier reduction helper (#2359) (@thofma)
• feat: add Hecke.test_changes() (#2360) (@thofma)
• fix: default algorithm for closest_vectors (#2362) (@thofma)
• feat: add is_totally_[real/complex] for class fields (#2363) (@thofma)
• fix: regression in closest_vector (#2364) (@thofma)
• chore: bump version from 0.40.0 to 0.40.1 (#2365) (@thofma)

Closed issues:

• short vectors throws an inexact error for some unreasonably big inputs (#2231)

v0.40.0

Hecke v0.40.0

Diff since v0.39.22

Breaking changes

• blah

Merged pull requests:

• fix: size thread-local buffers by maximum thread ID (#2326) (@thofma)
• feat: improvements to Fincke-Pohst and Plesken-Souvignier (#2327) (@thofma)
• fix: allow T2 precision to follow element height (#2328) (@lucifer1004)
• fix: return the structure constant algebra of a cyclic algebra (#2329) (@lucifer1004)
• fix: initialize empty ray class infinity logs (#2330) (@lucifer1004)
• fix: omit unit factors from factor_easy (#2331) (@lucifer1004)
• fix: preserve Selmer exponent and inverse coordinates (#2332) (@lucifer1004)
• fix: retry automorphism reduction at a good prime (#2333) (@lucifer1004)
• fix: preserve integral ideal images under automorphisms (#2334) (@lucifer1004)
• fix: reuse known containment in compositum (#2335) (@lucifer1004)
• fix: traverse relative base-field embeddings (#2336) (@lucifer1004)
• fix: repair transitive field extraction in GAPExt (#2337) (@lucifer1004)
• fix: identify the complete absolute Galois group (#2338) (@lucifer1004)
• fix: clear rational local norm denominators correctly (#2339) (@lucifer1004)
• docs: fix some typos (#2341) (@jeis4wpi)
• RFC implementation: expose quadratic Kummer generators (#2342) (@lucifer1004)
• fix: resolve unbound type parameters flagged by Aqua on Julia nightly (#2343) (@lucifer1004)
• Compute rational signature_tuple via leading principal minors (#2344) (@simonbrandhorst)
• Make _gram_schmidt use elementary row/column operations (#2345) (@simonbrandhorst)
• feat: add residue_ring for GenOrd (#2346) (@thofma)
• chore: bump to 0.40.0 (#2347) (@thofma)

Closed issues:

• Isomorphism test is crashing when multiple threads are enabled (#2310)
• RFC: expose a quadratic Kummer generator without materializing the class field (#2340)

v0.39.22

Hecke v0.39.22

Diff since v0.39.21

Merged pull requests:

• FunField: some optimization related to basis_of_differential (#2285) (@alexey-orlov-math)
• feat:Conic curves and twists/reconstruction of genus 2 curves (#2288) (@JHanselman)
• mechanical change FunctionField -> AbsSimpleFunctionField (and Elem) (#2298) (@alexey-orlov-math)
• Specialized version of orbits of spaces/lines for matrices over GF(2) (#2299) (@simonbrandhorst)
• Label Dependabot PRs as not needing release notes (#2301) (@fingolfin)
• Two-element normal presentations for GenOrd ideals (#2302) (@alexey-orlov-math)
• FunField: compute basis_of_differentials via fractional ideals directly (#2303) (@alexey-orlov-math)
• feat: misc for unit groups (#2305) (@thofma)
• fix: Correct a typo in function name (#2306) (@wfsteiner)
• fix: catch corner case in pip (#2308) (@thofma)
• feat: more on as(_finite)_bilinear_module possibilities (#2309) (@StevellM)
• Fix UndefRefError in ZLatAutoCtx init for r>2 (#2311) (#2312) (@gkorpal)
• chore(deps): bump actions/setup-python from 6 to 7 (#2313) (@dependabot[bot])
• opt: Require assumptions in isomorphism test for fractional ideals (#2314) (@wfsteiner)
• fix: Fix isomorphism tests and calculations for modules over algebras (#2315) (@wfsteiner)
• fix: handle isotropic vectors in characteristic 2 (#2316) (@thofma)
• doc: fix source links (#2317) (@thofma)
• feat: add multiplicative_generator for finite fields (#2318) (@thofma)
• feat: add functionality for p-rationality (#2319) (@thofma)
• fix: cleanup for p-rational interface (#2320) (@thofma)
• fix: handle nonmonic norm factors in Trager factorization (#2321) (@thofma)
• fix: GenOrdElem return coordinates over the base ring (#2322) (@thofma)
• fix: p-rationality for large primes (#2323) (@thofma)
• ci: run assertions only on stable Julia (#2324) (@thofma)
• chore: bump to 0.39.22 (#2325) (@thofma)

Closed issues:

• Computing the roots of a polynomial in a field extension of QQ(t) yields an AssertionError (#2247)
• don't run all the test jobs with full assertions (#2279)
• coordinates for function field orders have wrong parent (#2286)
• source link in the manual not working (#2307)
• ZLatAutoCtx init/fingerprint: UndefRefError with >2 simultaneous Gram matrices (w[2] typo should be w[k]) (#2311)

v0.39.21

Hecke v0.39.21

Diff since v0.39.20

Merged pull requests:

• Update FLINT to v3.6.0 (#2291) (@lgoettgens)
• fix: properly initialize global values for test_module (#2292) (@thofma)
• Replace generators by gens (#2293) (@lgoettgens)
• "rigorous" fix (#2294) (@stefnomden)
• chore(deps): bump actions/checkout from 6 to 7 (#2295) (@dependabot[bot])
• chore(deps): bump codecov/codecov-action from 6 to 7 (#2296) (@dependabot[bot])
• chore: Bump version to 0.39.21 (#2297) (@lgoettgens)

Closed issues:

• test_module throws error: long_test not defined (#2289)

v0.39.20

Hecke v0.39.20

Diff since v0.39.19

Merged pull requests:

• feat: add isomorphisms of hyperelliptic curves (#2273) (@thofma)
• FunField: Riemann-Roch test coverage, plus fixes found along the way (#2281) (@alexey-orlov-math)
• fix: index divisor problem in primitive element search (#2282) (@thofma)
• Support GAP.jl 0.17 (#2283) (@fingolfin)
• chore: Bump to v0.39.20 (#2284) (@lgoettgens)

v0.39.19

Hecke v0.39.19

Diff since v0.39.18

Merged pull requests:

• FunField/GenOrd: adapt to stricter FunctionField{T, U} typing in AbstractAlgebra (#2275) (@alexey-orlov-math)
• fix: typo in _is_isometric_indef_approx (#2277) (@StevellM)
• feat: add padic factorization via number fields (#2278) (@thofma)
• chore: bump to 0.39.19 (#2280) (@thofma)

Closed issues:

• bug: is_isometric for indefinite lattices sometimes throws (#2271)

v0.39.18

Hecke v0.39.18

Diff since v0.39.17

Merged pull requests:

• Ellcrv: min model/discriminant for rational function fields (#2265) (@alexey-orlov-math)
• fix: work around some julia bug (#2269) (@thofma)
• EllCrv: order in characteristic 2 and 3 for arbitrary degree (#2270) (@alexey-orlov-math)
• chore: bump to 0.39.18 (#2276) (@thofma)