Skip to content

Tags: thofma/Hecke.jl

Tags

v0.39.19

Toggle v0.39.19's commit message
[Diff since v0.39.18](v0.39.18...v0.39.19)

**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

Toggle v0.39.18's commit message
[Diff since v0.39.17](v0.39.17...v0.39.18)

**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)

v0.39.17

Toggle v0.39.17's commit message
[Diff since v0.39.16](v0.39.16...v0.39.17)

**Merged pull requests:**
- feat: convenient functions for `FinGenAbGroup` (#2226) (@StevellM)
- fix: isometry of `TorQuadModule` as bilinear modules (#2258) (@StevellM)
- chore(deps): bump julia-actions/setup-julia from 2 to 3 (#2259) (@dependabot[bot])
- chore: add copilot instructions (#2260) (@thofma)
- GenOrd: cleanup, type stability, generic ideal arithmetic (#2261) (@alexey-orlov-math)
- feat: add cyclic_generator (#2262) (@thofma)
- chore: bump version from 0.39.16 to 0.39.17 (#2263) (@thofma)
- Funfield/GenOrd cleanup (#2264) (@alexey-orlov-math)
- GenOrd: ensure principal ideal norm is canonical (#2267) (@alexey-orlov-math)
- fix: radical for algebras and residue fields for QQbar (#2268) (@thofma)

v0.39.16

Toggle v0.39.16's commit message
[Diff since v0.39.15](v0.39.15...v0.39.16)

**Merged pull requests:**
- Make multivariate evaluation more explicit (#2224) (@SoongNoonien)
- ellcrv: refactor local data infrastructure (Tate's algorithm, local_height) (#2240) (@alexey-orlov-math)
- Fix two issues with unit_group_fac_elem for AlgAssAbsOrd (#2242) (#2243) (@thofma)
- Enable Aqua.jl tests and fix failures (#2244) (@thofma)
- ci: add workflow_dispatch trigger to CI workflow (#2248) (@thofma)
- fix: promotion issue in kernel group computation (#2249) (@thofma)
- fix: modord (#2250) (@thofma)
- fix: modord(a, 0) (#2251) (@thofma)
- Replaces old theta functions with theta functionality from flint (#2252) (@JHanselman)
- chore update flint to 3.5.0 (#2253) (@thofma)
- fix: don't use sparse hnf for small matrices (#2254) (@thofma)
- perf: don't use sparse hnf_with_transform for small matrices (#2255) (@thofma)
- GenOrd: cleanup, fixes, type stability (#2256) (@alexey-orlov-math)
- chore: bump to 0.39.16 (#2257) (@thofma)

**Closed issues:**
- add Aqua.jl tests to avoid recent oopsie (#2091)
- Problems with unit_group_fac_elem in associative algebras (#2242)
- `DivideError` with `modord` (#2245)
- `modord` infinite loop? (#2246)

v0.39.15

Toggle v0.39.15's commit message
[Diff since v0.39.14](v0.39.14...v0.39.15)

**Merged pull requests:**
- Rigorous integration along straight lines (#2197) (@stefnomden)
- fixed is_linearly_disjoint to actually use maximal order discriminants (#2201) (@alexey-orlov-math)
- Cf/factored disc (#2202) (@fieker)
- Some work on primitive_element and simple_extension for non-simple extensions (#2205) (@alexey-orlov-math)
- perf: avoid a few allocations in short vector enumeration (#2209) (@thofma)
- fix: structure constant handling for non-full matrix algebras (#2210) (@thofma)
- direct prod. with 1 term (#2211) (@fieker)
- fix: composition order in documentation for `compose(::TorQuadModuleMap, ::TorQuadModuleMap)` (#2212) (@StevellM)
- fix: short vector enumeration for large gram matrices (#2213) (@thofma)
- Some Number Field code cleanup (#2214) (@alexey-orlov-math)
- fix: successive minima (#2216) (@StevellM)
- Fix incorrect Base.hash method with default second argument (#2217) (@adienes)
- feat: `TorQuadModule` as bilinear modules (#2219) (@StevellM)
- Function fields: improved HessQR and DegreeLocalization, added IntClsZx tests (#2220) (@alexey-orlov-math)
- GenOrd: always initialize transform matrix, rename _is_standard to is_equation_order (#2221) (@alexey-orlov-math)
- Improve performance of `subsets` of a given size (#2225) (@Tobias271828)
- Ellcrv: rewrite BSGS (#2227) (@alexey-orlov-math)
- chore(deps): bump julia-actions/cache from 2 to 3 (#2228) (@dependabot[bot])
- chore(deps): bump codecov/codecov-action from 5 to 6 (#2229) (@dependabot[bot])
- Function fields: some cleanup for divisors (#2230) (@alexey-orlov-math)
- Minor cleanup in `igusa_clebsch_invariants` (#2232) (@SoongNoonien)
- Function fields: improvements for differentials (#2233) (@alexey-orlov-math)
- fix: quo for ideals of orders in absolute number fields (#2234) (@thofma)
- chore: bump to 0.39.15 (#2235) (@thofma)
- fix: unit group for large finite fields (#2238) (@thofma)
- improve/ fix polredabs for the next example (#2239) (@fieker)

**Closed issues:**
- Duplication in ‎src/AlgAss/Conversions.jl (#2191)
- Problem with Hecke and Revise (#2195)
- picard_group and unit_group of non-maximal orders (#2208)
- wrong result in successive minima (#2215)
- `InexactError` in `unit_group` for finite field (#2237)

v0.39.14

Toggle v0.39.14's commit message
[Diff since v0.39.13](v0.39.13...v0.39.14)

**Merged pull requests:**
- ZZLat maintenance (#2194) (@simonbrandhorst)
- fix: typo in `(::TorQuadModule)(::QQMatrix)` (#2199) (@StevellM)
- 1st draft at plotting number fields (#2203) (@fieker)
- doc: fix PS97 reference (#2204) (@thofma)
- chore: bump version to 0.39.14 (#2206) (@thofma)

**Closed issues:**
- Not github releases since 0.39.10 (#2200)

v0.39.13

Toggle v0.39.13's commit message
[Diff since v0.39.10](v0.39.10...v0.39.13)

**Merged pull requests:**
- Fix some uses of `@inferred` (#2087) (@joschmitt)
- Em/docs_elliptic_curves (#2141) (@eoinmackall)
- Add CI action to use oscar-system/changelog-script (#2144) (@aaruni96)
- Added in-place operations for elliptic curve points (#2147) (@eoinmackall)
- fix: mathematically wrong documentation in `QuadForm` (#2150) (@StevellM)
- feat: Add scaling factor in root lattice constructor (#2152) (@StevellM)
- Fix is_isometric (#2154) (@simonbrandhorst)
- Short vectors affine iterator (#2155) (@Kazak-11)
- fix: different for orders in number fields (#2157) (@thofma)
- Replace call to `zeros(::ZZPolyRingElem)` (#2158) (@lgoettgens)
- closest vectors (#2159) (@simonbrandhorst)
- Implemented point counting for elliptic curves in characteristic 3. (#2160) (@alexey-orlov-math)
- ci: switch some jobs to using ubuntu-slim (#2161) (@thofma)
- Extract point counting for elliptic curves over finite fields to a separate file (#2163) (@alexey-orlov-math)
- Should fix #2162 (#2164) (@JHanselman)
- feat: improve conjugates for real cyclotomic fields (#2165) (@thofma)
- ci: disable parallel execution for long tests (#2166) (@thofma)
- Some improvments to AGM algorithms for point counting (#2168) (@alexey-orlov-math)
- fix: low precision problem for real cyclotomic fields (#2169) (@thofma)
- feat: reduction and canonical symbols for `ZZGenus` (#2170) (@StevellM)
- Use the new release notes action (#2172) (@aaruni96)
- Minor polish for elliptic curve isogenies (#2173) (@alexey-orlov-math)
- feat: add some map types (#2174) (@thofma)
- Changes to order computation for elliptic curve points (#2175) (@eoinmackall)
- Fixed is_supersingular for elliptic curves (#2177) (@alexey-orlov-math)
- feat: add finite rings (#2178) (@thofma)
- chore: bump version from 0.39.10 to 0.39.11 (#2179) (@thofma)
- Minor polish related to number fields (#2180) (@alexey-orlov-math)
- Improve conversion to finite rings (#2181) (@thofma)
- Cf/ray class group qq (#2182) (@fieker)
-  Minor polish related to number fields (#2183) (@alexey-orlov-math)
- fix: coercion for integral split (#2184) (@thofma)
- Implemented special case point counting for j=0 and j=1728 elliptic curves (#2185) (@alexey-orlov-math)
- Remove redundant `quo` methods for `ZZRing` and an integer (#2186) (@fingolfin)
- Replace another call to `zeros(::ZZPolyRingElem)` (#2187) (@lgoettgens)
- Add some tests (#2188) (@joschmitt)
- Fix indentation in docstring (#2189) (@fingolfin)
- fix: make SFC tests more robust (#2192) (@thofma)
- LMFDB: add some functions (#2193) (@StevellM)
- Schoof: rewritten and some minor optimizations (#2196) (@alexey-orlov-math)
- chore: bump version to 0.39.13 (#2198) (@thofma)

**Closed issues:**
- different(::AbsSimpleNumFieldOrder) randomly returns wrong results (#2093)
- `multiplicative_group` gives wrong group (wrong rank) (#2135)
- Lower Bound for Arbs (#2156)
- UndefRefError in RiemannSurfaces (#2162)
- `is_supersingular(E::EllipticCurve{T})` implements Sutherland's algorithm wrongly (#2176)

v0.39.12

Toggle v0.39.12's commit message
[Diff since v0.39.10](v0.39.10...v0.39.12)

**Merged pull requests:**
- Em/docs_elliptic_curves (#2141) (@eoinmackall)
- Add CI action to use oscar-system/changelog-script (#2144) (@aaruni96)
- Added in-place operations for elliptic curve points (#2147) (@eoinmackall)
- fix: mathematically wrong documentation in `QuadForm` (#2150) (@StevellM)
- feat: Add scaling factor in root lattice constructor (#2152) (@StevellM)
- Fix is_isometric (#2154) (@simonbrandhorst)
- fix: different for orders in number fields (#2157) (@thofma)
- Replace call to `zeros(::ZZPolyRingElem)` (#2158) (@lgoettgens)
- closest vectors (#2159) (@simonbrandhorst)
- Implemented point counting for elliptic curves in characteristic 3. (#2160) (@alexey-orlov-math)
- ci: switch some jobs to using ubuntu-slim (#2161) (@thofma)
- Extract point counting for elliptic curves over finite fields to a separate file (#2163) (@alexey-orlov-math)
- Should fix #2162 (#2164) (@JHanselman)
- feat: improve conjugates for real cyclotomic fields (#2165) (@thofma)
- ci: disable parallel execution for long tests (#2166) (@thofma)
- Some improvments to AGM algorithms for point counting (#2168) (@alexey-orlov-math)
- fix: low precision problem for real cyclotomic fields (#2169) (@thofma)
- Use the new release notes action (#2172) (@aaruni96)
- Minor polish for elliptic curve isogenies (#2173) (@alexey-orlov-math)
- feat: add some map types (#2174) (@thofma)
- Changes to order computation for elliptic curve points (#2175) (@eoinmackall)
- Fixed is_supersingular for elliptic curves (#2177) (@alexey-orlov-math)
- feat: add finite rings (#2178) (@thofma)
- chore: bump version from 0.39.10 to 0.39.11 (#2179) (@thofma)
- Minor polish related to number fields (#2180) (@alexey-orlov-math)

**Closed issues:**
- different(::AbsSimpleNumFieldOrder) randomly returns wrong results (#2093)
- `multiplicative_group` gives wrong group (wrong rank) (#2135)
- Lower Bound for Arbs (#2156)
- UndefRefError in RiemannSurfaces (#2162)

v0.39.11

Toggle v0.39.11's commit message
[Diff since v0.39.10](v0.39.10...v0.39.11)

**Merged pull requests:**
- Em/docs_elliptic_curves (#2141) (@eoinmackall)
- Add CI action to use oscar-system/changelog-script (#2144) (@aaruni96)
- Added in-place operations for elliptic curve points (#2147) (@eoinmackall)
- fix: mathematically wrong documentation in `QuadForm` (#2150) (@StevellM)
- feat: Add scaling factor in root lattice constructor (#2152) (@StevellM)
- Fix is_isometric (#2154) (@simonbrandhorst)
- fix: different for orders in number fields (#2157) (@thofma)
- Replace call to `zeros(::ZZPolyRingElem)` (#2158) (@lgoettgens)
- closest vectors (#2159) (@simonbrandhorst)
- Implemented point counting for elliptic curves in characteristic 3. (#2160) (@alexey-orlov-math)
- ci: switch some jobs to using ubuntu-slim (#2161) (@thofma)
- Extract point counting for elliptic curves over finite fields to a separate file (#2163) (@alexey-orlov-math)
- Should fix #2162 (#2164) (@JHanselman)
- feat: improve conjugates for real cyclotomic fields (#2165) (@thofma)
- ci: disable parallel execution for long tests (#2166) (@thofma)
- Some improvments to AGM algorithms for point counting (#2168) (@alexey-orlov-math)
- fix: low precision problem for real cyclotomic fields (#2169) (@thofma)
- Use the new release notes action (#2172) (@aaruni96)
- Minor polish for elliptic curve isogenies (#2173) (@alexey-orlov-math)
- feat: add some map types (#2174) (@thofma)
- Changes to order computation for elliptic curve points (#2175) (@eoinmackall)
- Fixed is_supersingular for elliptic curves (#2177) (@alexey-orlov-math)
- feat: add finite rings (#2178) (@thofma)
- chore: bump version from 0.39.10 to 0.39.11 (#2179) (@thofma)
- Minor polish related to number fields (#2180) (@alexey-orlov-math)

**Closed issues:**
- different(::AbsSimpleNumFieldOrder) randomly returns wrong results (#2093)
- `multiplicative_group` gives wrong group (wrong rank) (#2135)
- Lower Bound for Arbs (#2156)
- UndefRefError in RiemannSurfaces (#2162)

v0.39.10

Toggle v0.39.10's commit message
[Diff since v0.39.9](v0.39.9...v0.39.10)

**Merged pull requests:**
- RieSrf Nicer printing (#2149) (@Tobias271828)
- Add bibtool CI job; rename `milneCFT` entry (#2153) (@lgoettgens)