v0.10.7

Hecke v0.10.7

Diff since v0.10.6

Closed issues:

• RationalFunctionField in Misc/DegreeLocalization.jl not defined (#302)
• problems with force_coerce_cyclo (#307)
• inverse in polynomial ring over an order (#312)

Merged pull requests:

• Parallel testing (#290) (@thofma)
• Fix norm relations for non-normal fields (#292) (@thofma)
• Cyclotomic exts (#293) (@CarloSircana)
• Refactor conjugacy and PIP code (#294) (@thofma)
• Fix some problems in PIP (#295) (@thofma)
• Abelian exts distinct (#296) (@CarloSircana)
• Don't do parallel run on long test :/ (#297) (@thofma)
• Try parallel long test with macos (#298) (@thofma)
• [WIP] K_\infty(x) (#299) (@wbhart)
• Fix a bad promote rule (#300) (@thofma)
• Fix parallel tests on nightly (#301) (@thofma)
• Bump Nemo & AA version (#303) (@thofma)
• Test (#304) (@thofma)
• Fix force_cyclo_down for linear fields (#305) (@thofma)
• Move function field code to FunField directory. (#306) (@wbhart)
• Fix poly ring (#308) (@wbhart)
• Local fields (#309) (@CarloSircana)
• fix Thomas problem in coercion: https://github.com/thofma/Hecke.jl/is… (#310) (@fieker)
• Improvements for group algebras (#311) (@thofma)
• Fix divides for order elements (#313) (@thofma)
• zero(a) -> zero(parent(a)) (#314) (@thofma)

v0.10.6

Hecke v0.10.6

Diff since v0.10.5

Closed issues:

• automorphism group failing for laaarge field (norm change constant) (#281)

Merged pull requests:

• Fix norm_change_const for large base change matrix (#282) (@thofma)
• Fixes for PIP (#283) (@thofma)
• Deal better with lower bounds in lattice enumeration (#285) (@thofma)
• homogenous -> homogeneous (#287) (@fingolfin)
• Bump dependencies (#288) (@thofma)
• Fix some compiler issues on 1.3 (#291) (@thofma)

v0.10.5

Hecke v0.10.5

Diff since v0.10.4

Merged pull requests:

• added tests to Torsion.jl file (#258) (@FiroozehAga)
• remove xport disc (#270) (@fieker)
• maximal order bug fixed (#272) (@CarloSircana)
• tests for primary_part() added (#274) (@FiroozehAga)
• AbsFact (#275) (@fieker)
• Class group via norm relation (#277) (@CarloSircana)
• keyword argument fixes in simplify (#278) (@CarloSircana)
• Obstructions bug (#279) (@CarloSircana)
• Fix documentation (#280) (@thofma)

v0.10.4

Hecke v0.10.4

Diff since v0.10.3

Closed issues:

• disc -> discriminant (#145)
• factor(PolyElem{nf_elem}) slow.. (#152)
• resultant for padic polynomials, occasional precision loss (#244)

Merged pull requests:

• disc -> discriminant (#268) (@thofma)

v0.10.3

Hecke v0.10.3

Diff since v0.10.2

Closed issues:

• Maximal order failing for non-nice polynomials (#249)
• Simplify failing for non-nice defining polynomial (#250)
• issquare giving wrong results (#251)
• conj_quad failing (#254)
• factor(::fmpz) failing (#259)

Merged pull requests:

• Replace map_coeffs -> map_coefficients. (#226) (@wbhart)
• Non monic again (#252) (@fieker)
• conjugate complex for non-nice polys (#255) (@fieker)
• resultant for padic polynomials fixed (#256) (@CarloSircana)
• add some more doc... (#257) (@fieker)
• "fix" intersect to not add zero-generators (#260) (@fieker)
• fix factor using coprime_base, fixes @259 (#261) (@fieker)
• Move polynomial function to AbstractAlgebra's Misc directory. (#262) (@wbhart)
• Quad form hom (#263) (@fieker)
• various minor things to hom of GrpAb: (#264) (@fieker)
• Hash for abelian groups (#267) (@CarloSircana)

v0.10.2

Hecke v0.10.2

Diff since v0.10.1

Closed issues:

• Number field interface for the rationals (#212)
• issquare does not work with non-monic defining polynomials (#229)
• Hecke changes collect(::fmpz_mat) to return a Vector instead of a Matrix (#245)

Merged pull requests:

• Represents z (#231) (@simonbrandhorst)
• Fix simplify (#232) (@CarloSircana)
• absolute factorisation: split and moved into the (#233) (@fieker)
• Tweak for CI and downstream testing (#235) (@thofma)
• fix #229 (#236) (@fieker)
• tests updated in Torsion.jl and ZGenus.jl (#237) (@FiroozehAga)
• more tests and bugfixes (#238) (@simonbrandhorst)
• some more fixes - see accompaning email (#239) (@fieker)
• Fix narrow_picard_group Fix binary_quadratic_form_representatives (#240) (@thofma)
• Adjust CI to 1.6 release (#241) (@thofma)
• Fix for norm_change_const (#243) (@thofma)
• "fix" factoring of polynomials over non-monic fields (#246) (@fieker)
• Remove Matrix interface for our matrices (#247) (@thofma)
• Tweaks for docs (#253) (@thofma)

v0.10.1

Hecke v0.10.1

Diff since v0.10.0

Merged pull requests:

• Cache infinite_places for AnticNumberField (#227) (@thofma)
• Remove obsolete MPoly functions (#230) (@thofma)

v0.10.0

Hecke v0.10.0

Diff since v0.9.6

Merged pull requests:

• tests for brown_invariant() and isgenus() (#213) (@FiroozehAga)
• [WIP] infinite places for QQ and some functionality for ZZ ideals (#215) (@simonbrandhorst)
• make sure roots(f, C) returns roots in C (#219) (@fieker)
• Abstract Isometry Classes for quadratic spaces (#220) (@simonbrandhorst)
• Prepare for AA deprecations (#221) (@thofma)
• Fix Hecke.test_module with long tests (#222) (@thofma)
• Test cleanup action (#223) (@thofma)

v0.9.6

Hecke v0.9.6

Diff since v0.9.5

Merged pull requests:

• Remove ^(::fmpz, ::fmpz) because of (probable) implementation in Nemo (#175) (@albinahlback)
• powmod -> powermod. Addresses Nemo # 988 (#176) (@wbhart)
• Change cartesian product default to inplace = false (#177) (@thofma)
• Clean up for padic lifting of isometries (#178) (@thofma)
• Clean up for PadicLift.jl (#179) (@thofma)
• Fix genus_representatives for definite binary lattices (#180) (@thofma)
• Basic module functionality for ZLat (#181) (@simonbrandhorst)
• Fix _gram_schmidt (#182) (@thofma)
• Fix modular computations for ideal arithmetic (relative) (#184) (@thofma)
• Fix genus_representatives for binary quadratic lattices (#185) (@thofma)
• Fix bug in Jordan decomposition (#186) (@thofma)
• fix kronecker (#187) (@simonbrandhorst)
• Csgenus (#188) (@simonbrandhorst)
• Fix bug in isequivalent_with_isometry (#189) (@thofma)
• fix dual(::ZLat) (#190) (@simonbrandhorst)
• "Fix" genus_representatives (#191) (@thofma)
• fix normal_form(TorQuadMod) (#192) (@simonbrandhorst)
• avoid stack overflow (#193) (@simonbrandhorst)
• Fix bug in genus representatives (#194) (@thofma)
• Fix bug in Smith normal form (#195) (@thofma)
• fix a bug in sub which resulted in different moduli (#196) (@simonbrandhorst)
• adopt QadicField also returning the gen (#197) (@fieker)
• Fix bug in isprincipal_fac_elem (#198) (@thofma)
• Fix genus_representatives (#199) (@thofma)
• Undo simplify changes (#200) (@thofma)
• Tweaking CI (#201) (@thofma)
• Fix shortest_vectors with floating point bounds (#202) (@thofma)
• more tests for ZGenera and genus_representatives (#203) (@simonbrandhorst)
• Absolute simple field (#204) (@CarloSircana)
• Fix bug in genus_representative (#205) (@thofma)
• Test genus (#207) (@simonbrandhorst)
• Implement short/long test functionality (#208) (@thofma)
• first attempt (#210) (@CarloSircana)
• Compilation problems (#211) (@CarloSircana)

v0.9.5

Hecke v0.9.5

Diff since v0.9.4

Closed issues:

• Documentation style (#161)

Merged pull requests:

• Very first start factor absolute (#162) (@tthsqe12)
• Stark units (#163) (@CarloSircana)
• Use power_sums_to_polynomials from AA (#164) (@thofma)
• Fix class group proof (#165) (@thofma)
• Fix minor errors in documentation and change some typesetting (#168) (@albinahlback)
• Make orthogonal sum return injections (#172) (@thofma)
• Arb is nan (#173) (@fieker)
• rescale() and normal_form() functions for a torsion quadratic module (#174) (@FiroozehAga)