selpog / autoboot Goto Github PK

Ryan Lanzetta informed us that the line

Describe the bug
After unzip the sgd folder, running D8.m will not produce the boostrap equation but

And the trace is

Evaluate[Symbol[GroupInfoLie`Private`<>dimension]]=Symbol[RootSystem`<>dimension];
<<grouplie.m
<<group.m

To Reproduce
Run D8.m would give the bug

Expected behavior
No error. Bootstrap equations are produced.

Desktop (please complete the following information):

• OS: Mac
• Mathematica Version 13.1.0.0
• Version 2022

We could not genarate all data of all small groups. We should add generator.

We support only 4-point functions of scalars. It will be important to generate bootstrap equations with spins, because they must be tedious to write down than those of scalars.

Describe the bug
If I run Ising.m in sample it gives an error and not the correct output. The O2 example does work well.

To Reproduce
Run Ising.m. See error. (Specifically bootstrapAll[] gives an error.)

Expected behavior
Output crossing equations. Not give an error.

• OS: Ubuntu 18.04
• Mathematica Version "12.0.0 for Linux x86 (64-bit) (April 7, 2019)"

We need unitary irreps now. But it is so strong that some irreps of some groups cannot be calculated by GAP. We can unitarize irreps if we know how to generate full group from its generators (unitarization will be complicated, this feature will be supported only in ninv.m).

We support few Lie algebras now, but in principle, we can construct any irreps of a simple Lie algebra.