brst

Value Members

1. implicit def ERESCAtoESCA(x: ER[SUSY]): SUSY

2. implicit def ESCAtoELS(x: SUSY): ELS[BigInt, (Set[Thetas], Map[Bosons, Int])]

3. object Lambda

   Lambda and Mu are the canonical form of a pair of pure spinors in generic position

4. object Mu

   Lambda and Mu are the canonical form of a pair of pure spinors in generic position

5. def QL(x: ESCA[BigInt, Thetas, Bosons]): ESCA[BigInt, Thetas, Bosons]

6. def QLmat(x: Mat[ESCA[BigInt, Thetas, Bosons]]): Mat[ESCA[BigInt, Thetas, Bosons]]

7. def QR(x: ESCA[BigInt, Thetas, Bosons]): ESCA[BigInt, Thetas, Bosons]

8. def QRmat(x: Mat[ESCA[BigInt, Thetas, Bosons]]): Mat[ESCA[BigInt, Thetas, Bosons]]

9. object TLMTLT extends App

   This verifies the following equation from arXiv:1105.2231 :
   
   This equation holds in cohomology of QL, i.e. up to QL-exact terms

10. val TLdn: Mat[ESCA[BigInt, Thetas, Bosons]]

    This is the sphere part of the vector class

11. val TLup: Mat[ESCA[BigInt, Thetas, Bosons]]

    This is the AdS part of the vector class

12. val TMdn: Mat[ESCA[BigInt, Thetas, Bosons]]

13. val TMup: Mat[ESCA[BigInt, Thetas, Bosons]]

14. val TTL: Mat[ESCA[BigInt, Thetas, Bosons]]

    This is $(\theta\Gamma_m\lambda)\Gamma_m\theta$ and $(\theta\Gamma_m\mu)\Gamma_m\theta$

15. val TTM: Mat[ESCA[BigInt, Thetas, Bosons]]

16. val cap: Mat[ESCA[BigInt, Thetas, Bosons]]

17. def capless(x: Mat[ESCA[BigInt, Thetas, Bosons]]): Mat[ESCA[BigInt, Thetas, Bosons]]

18. def collectEquations(x: SUSY): List[ELS[BigInt, EqCoeff]]

    Collects equations for vanishing of x, i.

    Collects equations for vanishing of x, i.e. vanishing of the coefficient of every monomial in x. (Monomial is an element of BosonsFermions.) Returns the list of equations. Every equation is a linear combination of terms. There are 2 types of terms: the constants (rational numbers) and rational number times z(n), where z(n) are unknowns to be solved for.

19. def collectEquationsFromMat(x: Mat[ESCA[BigInt, Thetas, Bosons]]): List[ELS[BigInt, EqCoeff]]

20. val cup: Mat[ESCA[BigInt, Thetas, Bosons]]

21. def cupless(x: Mat[ESCA[BigInt, Thetas, Bosons]]): Mat[ESCA[BigInt, Thetas, Bosons]]

22. val dim: Int

23. def esca(x: ELS[BigInt, (Set[Thetas], Map[Bosons, Int])]): ESCA[BigInt, Thetas, Bosons]

24. def insUnknownsMat(n: Int, xs: List[Mat[ESCA[BigInt, Thetas, Bosons]]]): Mat[ESCA[BigInt, Thetas, Bosons]]

25. val mLa: Mat[ESCA[BigInt, Thetas, Bosons]]

26. val mMu: Mat[ESCA[BigInt, Thetas, Bosons]]

27. val mTh: Mat[ESCA[BigInt, Thetas, Bosons]]

28. def matScalar(x: ESCA[BigInt, Thetas, Bosons]): Mat[ESCA[BigInt, Thetas, Bosons]]

29. def matScalarESCA(n: Int): Mat[ESCA[BigInt, Thetas, Bosons]]

30. def matScalarUnknown(n: Int): Mat[ESCA[BigInt, Thetas, Bosons]]

31. def mono(t: Set[Thetas], m: Map[Bosons, Int]): ESCA[BigInt, Thetas, Bosons]

32. def monoBase(t: Set[Thetas], m: Map[Bosons, Int]): EBLS[BigInt, (Set[Thetas], Map[Bosons, Int])]

33. def mscalar(m: BigInt, n: BigInt, size: Int): Mat[ESCA[BigInt, Thetas, Bosons]]

34. implicit def ordTheta(x: Thetas): Ordered[Thetas]

35. def ratio(m: BigInt, n: BigInt): EmbedQ[BigInt]

36. def ratioESCA(m: BigInt, n: BigInt): ESCA[BigInt, Thetas, Bosons]

37. def scalar(n: BigInt): UnitOfRing[BigInt]

38. def scalarESCA(n: BigInt): ESCA[BigInt, Thetas, Bosons]

39. def traceless(x: Mat[ESCA[BigInt, Thetas, Bosons]]): Mat[ESCA[BigInt, Thetas, Bosons]]

40. def unknown(n: Int): ESCA[BigInt, Thetas, Bosons]

41. def varList(start: Int, end: Int): List[EBLS[BigInt, EqCoeff]]

42. def word(wrd: String): Mat[ESCA[BigInt, Thetas, Bosons]]