Current version

The latest public release of Matchete is v0.5.0 and can be found here.

Older releases of the package can be found here, whereas minor chages of the code are listed here.

Matchete changelog

v0.5.0 (2026-04-27)

This release introduces Matchotter: a dedicated finite-temperature module natively integrated into Matchete.

  • Thermal Field Theory: Introduced a comprehensive suite of tools for finite-temperature calculations:
    • DimensionalReduce performs the dimensional reduction of generic Lagrangians to purely spatial EFTs, automatically handling the splitting of spacetime and gauge bosons into spatial and temporal components, as well as evaluating one-loop thermal sum-integrals.
    • SuperSoftMatch integrates out massive temporal gauge bosons within the static EFT.
    • DefineZeroModes constructs the Matsubara zero modes of existing fields and generates spatial counterparts for the gauge symmetries.
    • DefineField now includes a ZeroMode option to explicitly assign Matsubara zero modes upon field creation.
    • EuclideanConventions transforms Lagrangians between Minkowskian and Euclidean signatures.
    • DefineCoupling now supports a ThermalPowerCounting option.
    • SeriesThermalEFT truncates the Lagrangian to a specified thermal order.
    • Extended simplification routines to fully support purely spatial Lagrangians.
  • Spacetime & Dimensions: Added support for generalized dimensions and index splitting:
    • Introduced explicit Spatial and Temporal indices to cleanly handle the spacetime splitting required in thermal field theory.
    • SetDimension allows the user to globally change the spacetime dimension.

v0.4.3 (2026-04-23)

  • Factors of $i$ are now included in operators. Anti-Hermitian operators are made Hermitian by inclusion of a factor of $i$.
  • Fermion bilinears with one charge conjugated fields are now symmetrized before other simplifications.
  • Bug fixes:
    • Fixed a bug in IntroduceEffectiveCouplings (and dependent functions), where some Delta in flavor space where considered part of the normalization factor of the effective couplings.
    • Fixed a bug in IntroduceEffectiveCouplings (and dependent functions), where the normalization factor and index ordering was not properly taken into account. This issue only appeared for renormalizable operators when duplicate effective couplings where found.
    • Fixed a bug in IntroduceEffectiveCouplings (and dependent functions), where it would derive the wrong SelfConjugate properties for some operator-coupling pairings.

v0.4.2 (2026-03-18)

  • Changed signs on CP-odd bosonic operators in SMEFT_Warsaw.m to reflect the sign convention of the Levi-Civita tensor in [arXiv:1008.4884].
  • Bug fixes:
    • Fixed a bug in ExportWCxf.
    • Fixed a bug (introduced in v0.4.1) when integrating out heavy flavored particles.
    • Fixed a compatibility issue with Mathematica 14.1 and earlier versions.

v0.4.1 (2026-02-18)

  • EOMSimplify now accounts for the axial anomaly contribuions.
  • Expanded the documentation.
  • IntroduceEffectiveCouplings now has the option FactorOutHbar (default True) to factor out hbar in couplings that are purely one-loop order.
  • Bug fixes:
    • Fixed bug where EOMSimplify would not properly account for charge conjugated fermions.
    • Fixed bug where EOMSimplify would not identify EOMs of fermions multiplied by $\gamma_5$.
    • Fixed bug in RenameCG (it wasn’t properly updating all of the global state).
    • Fixed a bug in ExportWCxf.
    • Fixed a bug in IntroduceEffectiveCouplings where antihermitian couplings were treated as hermitian.
    • Fixed a bug in EpsExpand related to a changed behavior in Series since Mathematica 14.3.
  • Performance and improvements:
    • Improved robustness of GreensSimplify on operators with factorized CG coefficients.
    • Massive performance improvements for ContractCGs and other CG related functions.
    • Drastically reduced memory use of CG machinery.
    • Improved performance for tree-level matching with complicated Lagrangians.
    • Better handling for group algebras $B_1$, $B_2$, $D_3$ isomorphic to the $A_1$, $C_2$, $A_3$.

v0.4.0 (2025-11-14)

  • Now uses NCM instead of NonCommutativeMultiply; Use of \[CenterDot] (shortcut: [esc] . [esc]) is encouraged over **.
  • Included ExportWCxf function for exporting WCxf files. (This function is unfortunately broken in this initial release. Please use Matchete v0.4.2 or later for exporting WCxf files.)
  • Included DR2MS function that allows to transform.renormalizable Lagrangian in the $\overline{\mathrm{DR}}$ scheme to the $\overline{\mathrm{MS}}$ scheme.
  • Introduced Simplify option for MapEffectiveCouplings, which allows to simplify the right-hand side of all matching conditions.
  • Introduced BackgroundField option for DefineField.
  • Removed RepresentationProperties in favor of GetRepresentations.
  • Renamed model SMEFT.m -> SMEFT_Warsaw.m. Sign convention on field strength tensors changed to match https://arxiv.org/pdf/1008.4884.
  • By default ReplaceEffectiveCouplings no longer replaces superleading effective couplings to not upset the EFT power counting. Using the option Superleading->True this replacement can still be performed.
  • Bug fixes:
    • Fixed compatibility with Wolfram 14.3.
    • Fixed bug in Match from loops involving derivative interactions (Xterms with open derivatives).
    • Several bug fixes concerning Majorana fermions and charge conjugation.
    • Fixed bug in EOMSimplify, failing to remove EOM terms proportional to multiple field strength tensors.
    • Corrected redefinition of renormalizable couplings (inparticular for of scalar quartics) when using MapEffectiveCouplings with the option ShiftRenCouplings->True. Previously, indirect contributions to the renormalizable couplings from field redefinitions/EOMs where not considered for the shift.
  • Performance and improvements:
    • Improved performance for GreensSimplify for higher dimension operators.
    • Added a more reliable algorithm for solving the matching conditions in MapEffectiveCouplings.
    • Improved performance of ContractCGs when going outside the basis with CGs with many indices.

v0.3.1 (2025-06-25)

  • Fixed installation
  • Minor bug fixes

v0.3.0 (2025-05-30)

  • Added option ReductionIdentities to GreensSimplify and EOMSimplify to perform simplifications in either $d=4$ or $d=4-2\epsilon$ space-time dimensions, including the possibility to map results to an evanescent-free version of the $\overline{\text{MS}}$ renormalization scheme.
  • Added documentation for all functions and objects in the built-in Mathematica documentation center, which can be accessed conveniently with the `F1` key. (w.i.p.)
  • Added support for flavor indices on diagonal mass matrices (and other diagonal tensors in flavor space) in the matching and simplifications.
  • Introduced MapEffectiveCouplings to obtain WC in a particular basis from a generic Lagrangian.
  • Breaking changes:
    • File format for model files for LoadModel significantly simplified (view documentation for details).
    • Gauge field normalization changed such that gauge couplings appear in front of gauge kinetic terms rather than inside covariant derivatives.
    • EOMSimplify defaults to ReductionIdentities -> EvanescentFree, meaning that the Lagrangian is transformed to the evanescent free renormalization scheme.
  • Minor changes:
    • Added functions IntroduceEffectiveCouplings, PrintEffectiveCouplings, and ReplaceEffectiveCouplings to (re)substitute new symbols (couplings) in place of the coefficients in a Lagrangian.
    • Added function ReplaceInLagrangian to substitute couplings in a Lagrangian while relabeling indices as required.
    • Added function SuggestBibliography to generate bibtex entires with appropriate citations.
    • DefineField options Charges and Indices now accept single entries in addition to lists.
    • DefineGroupRepresentation is now deprecated in favor of DefineRepresentation.
    • Removed the GroupMagic` context in favor of using Matchete` everywhere.
    • The documentation for the group theory fatures has been updated and changed to tech notes in the Mathematica documentation center. Simply search for “GroupMagic” and “CG Coefficients”.
  • Performance and improvements:
    • Optimized GreensSimplify for dimension-8 operators.
    • Changed construction of composite operators in GreensSimplify.
    • $ \gamma_5 $-odd DiracTraces are now performed consistently with NDR following the KKS prescription. Details can be found in the tech note on “Dirac Algebra” in the Mathematica documentation center.
    • Implemented memoization for DiracTrace.
    • Reduced memory usage when matching models with many particles and interactions.
    • Optimized the way coefficients are simplified in calls of GreensSimplify or EOMSimplify.
    • Greatly improved notebook file size from NiceForm output.

v0.2.0 (2024-04-22)

  • Traces are now computed covariantly with Wilson lines rather than CDE. Improved Match performance at one-loop order.
  • Match automatically identifies heavy and light fields and updates the masses according to the Lagrangian.
  • Introduced option DummyCoefficients -> True/False in EOMSimplify.
  • Implemented GetOperatorCoefficient to extract coefficients of specific EFT operators.
  • Improved the ability of GreensSimplify to determine when operators trivially vanish under symmetry.
  • Collection of coefficients in CollectOperators and GreensSimplify now accounts for flavor symmetries of operators.
  • Improved performance of GreensSimplify.
  • New, robust implementation of HcSimplify.
  • Various bug fixes:
    • Fixed ContractCGs for higher dimensional groups.
    • Fixed GreensSimplify bug with flavor indices.
    • Fixed GreensSimplify bug with multiple gamma matrices on the same fermion line.
    • Allows HcTerms as input in various functions.
    • Allows constants in GreensSimplify and CollectOperators.

v0.1.8 (2024-02-19)

  • Fixed a bug in the CDE of CovariantLoop/Match that caused non-cyclicity of the traces.
  • Improved HcSimplify.
  • Improved EvaluateLoopFunctions.
  • Implemented simplification routines to LF (Loop functions).
  • Introduced ShiftRankCouplings, which absorbs EFT corrections into the renormalized couplings.
  • EFT power counting is now directly determined from the Lagrangian rather than from the field definitions.

v0.1.7 (2023-11-02)

  • Fixed a bug in GreensSimplify in models with Majorana fermions.
  • Tweaks to HcSimplify.
  • Fixed an issue with EOMSimplify when field redefinitions took the form of the kinetic term.
  • Fixed an issue where CheckLagrangian would not recognize some pre-defined objects.

v0.1.6 (2023-10-09)

  • Fixed a bug in field redefinitions involving non-hermitian superleading terms.
  • Field redefinitions now count powers of hbar prior to inserting redefinitions, improving performance.
  • Introduced the option DummyCoefficients for EOMSimplify, improving performance when simplifying large Lagrangians.

v0.1.5 (2023-06-20)

  • Various bugfixes applied to the simplification routines.

v0.1.4 (2023-04-13)

  • Improved performance of EOMSimplify
  • Improved performance of Match
  • Fixed bug with option “EFTOrder” in “CovariantLoop”
  • Fixed bug with DiracTrace of 8 or more gammas
  • Extended DiracTrace with NDR value for traces of gamma5 and 6 or more gammas

v0.1.3 (2023-03-14)

  • Added check for invalid spinor contractions with the C matrix in CheckLagrangian
  • Fixed use of syntax e.g. “EFTOrder-> {6}” in Match
  • Fixed action of gauge groups on fields in conjugate (Bar’ed) representations

v0.1.2 (2023-02-10)

  • Fixed issues when dealing with global gauge groups
  • Improved MatchToCGs efficiency

v0.1.1 (2023-01-14)

  • Fixed an issue with field redefinitions on Mathematica 12
  • Minor bug fixes

v0.1.0 (2022-12-08)

  • Initial release