[1] **viXra:1511.0160 [pdf]**
*submitted on 2015-11-18 12:28:07*

**Authors:** Alex Patterson

**Comments:** 7 Pages.

Will be look at (data) type inference for the four major arithmetic types to search for symmetry-checks and factorization in the Lie algebra, using the multiplicative decomposition by such searches in the Lie Algebra to Poincare Group, Poincare Group important only for the theory check.

**Category:** Set Theory and Logic