Tags: thofma/Hecke.jl
Tags
[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)
[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)
[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)
[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)
[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)
[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)
[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)
[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)
[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)
[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)
PreviousNext