Re: [Maxima-discuss] Schoonship Form

[Andrey G. G. <A.G...@in...>]

Some statements are still wrong.

On Sat, 3 Dec 2022, Michel Talon wrote:
> Some statements are wrong, notably Schoonship was developed by Veltman in assembly language of the
> CDC7600, a beautiful computer who disappeared long ago. The machine words were quite long so Veltman used
> parts of words to store information. With this program he did computations of radiative corrections in the standard model
> which gave him access to the Nobel prize. When the CDC disappeared
Veltman has ported it from CDC assembly language to Atari assembly 
language

> the program was rewritten by Vermaseren in fortran,
> and given the name of Form.
Not in fortran but in C

> Presently i suppose such extremely complicated computations are no more of
> pressing interest to physicists, explaining the disillusion apparent in the article.
form is still widely used in theoretical particle physics community

> However saying that Mathematica is now
> the replacement is perhaps an overstatement.
Certainly not a replacement. form can (relatively) efficiently work with 
expressions when the size of a single expression is orders of magnitude 
larger than the main memory. No other CAS can do it.

> For sure Mathematica is used to draw the Feynman diagrams, but computing
> them is another story.
There are important tools for computing Feynman diagrams written in 
Mathematica, such as

FeynCalc and FormCalc (the last one generated form sources, runs form and 
reads results back to Mathematica)

Fire (implements IBP, can generate C++ sources to be run externally, but 
can also run completely within Mathematica - for smaller problems)

LiteRed (also IBP)

Libra (reduce systems of differential equations for Feynman integrals to 
epsilon-form)

HPL, HypExp (harmonic polylogarithms and expansion of hypergeometric 
functions)

Fiesta (sector decomposition, can generate C++ fources for numerical 
integration)

and many others.

Andrey