## Principle

*MARTY* is a symbolic computation program specialized for high-energy physics computations: amplitudes, cross-sections, and Wilson coefficients in a large variety of Beyond the Standard Model (BSM) models. All computations are automated and symbolic.

*MARTY* is composed of three modules. Its core, containing all the physics ; *CSL* (C++ Symbolic computation Library) that allows to manipulate mathematical expressions symbolically ; and *GRAFED* (Generating and Rendering Application for FEynman diagrams) that generates and displays Feynman diagrams.

Discover its features more in detail in the documentation.

## Model building

Within *MARTY* it is possible to build a model. Either by giving explicitly the Lagrangian (often a heavy task), or by giving a high-energy version of it (with all symmetries preserved, with much less interaction terms) and asking *MARTY* to break it following some prescriptions. Gauge symmetry breaking, flavor symmetry breaking, field rotation / redefinition, mass matrix diagonalization may be done on demand by *MARTY*.

*MARTY*'s models lie in a 4-dimensional Minkowski space-time, with particles of spin 0, 1 and 1/2 (Weyl, Dirac and Majorana fermions). Particles may be in any irreducible representation of a semi-simple group (SU(N), SO(N), Sp(N), F_{4}, E_{6}, E_{7}, E_{8} and G_{2}).

## Theoretical calculations

Given a Model, *MARTY* may compute symbolically and automatically theoretical quantities. First, Feynman rules are derived. With them, amplitudes, cross-sections and Wilson coefficients may be calculated up to the 1-loop level. To do so, *MARTY* takes care of simplifying Minkowski indices, Dirac algebra, group theory factors ; and momentum integrals are reduced to scalar quantities that may be evaluated numerically.

All computations are done symbolically with the help of *CSL* (C++ Symbolic computation Library), a sub-module of *MARTY*. Learn more about *CSL* on the documentation.

## Code generation

Symbolic expressions that *MARTY* derives may be rather long and complicated, in particular for 1-loop computations. For further phenomenological analysis of the results, *MARTY* can generate and build C++ numerical libraries to evaluate expressions. Unknown parameters at the moment of the evaluation are let as function parameters.

Numerical libraries generated by *MARTY* are written in C++, and allow to evaluate the calculated theoretical quantities depending on the model's parameters. Plotting is however usually done with python.

## Feynman diagrams

*MARTY* also has a module that fully automates generation and rendering of Feynman diagrams. This module is called *GRAFED* (Generating and Rendering Application for FEynman Diagrams).

Generated diagrams may be edited, and exported directly as PNG files or as Latex code.

## Annoucements

### MARTY-1.3 Release (May the 10^{th} 2020):

This release includes:

**General Fierz identities.****Refactored diracology**(new SGL module created for the occasion:**S**ymbolic**G**amma-matrices**L**ibrary).**New Standard Model,**build from high-energy Lagrangian and much more reliable.**Calculation pipeline refactored**, more utilities to isolate specific contributions in amplitudes.**Several bug fixes.**

### MARTY-1.2.1 Release (February the 13^{rd} 2020):

This release includes:

**Correction of group theory weights,**in particular SU(N) identities.**Bug fixed**in squared amplitude compression algorithm.

### MARTY-1.2 Release (February the 7^{rd} 2020):

This release includes:

**Fermion number violating interactions**have now a more general treatment.**Run-time optimizations**in all parts of the code.**Heavy squared amplitudes**(in particular at one loop) are now performed well without creating expressions with a non manageable size.**Optimizations of the generated code**for Wilson coefficients and squared amplitudes.**Better interface**for calculations and error handling in model building.**Latex names for particles**can now be defined separately from regular names.**Various bug fixes.**

### MARTY-1.1 Release + Manual (December the 3^{rd} 2020)

This release includes:

**Manual for**, comprehensive, that covers all main features of*MARTY**MARTY*from model building to theoretical calculations.**Cleaner User Interface**corresponding to all the sample codes presented in manual.**Installation compatible with Mac**with the setup.sh script.**Run-time optimization**deriving large irreducible representation (irrep).**In**for labels in Feynman diagrams.*GRAFED:*full latex support**In**.*GRAFED:*better User Interface- Corrections to the SM and the MSSM.

### MARTY-1.0 Release (November the 5^{th} 2020)

First public release of *MARTY!* It can be found here.

## Current developments

### MARTY-1.4 development (planned for July 2021):

This future release will include:

- Simple User Interface to derive general Wilson coefficients, including for 4-fermion operators.

## Special Acknowledgements

Thanks to Jérémie Uhlrich-Meunier that designed the logo and the website for the sake of *MARTY!*