Questions tagged [field-theory]

The tag has no usage guidance.

19 questions
Filter by
Sorted by
Tagged with
156 views

How to know which is value for field extension

I can convert $\sqrt{5}$ into a AlgebraicNumber: ToNumberField[Sqrt[5]] ...
• 26.8k
256 views

Implementing the field axioms with FindEquationalProof?

I am fiddling around with FindEquationalProof, currently trying to prove some basic statements for fields. I have a set of axioms which almost constitutes the field theory axioms: ...
• 867
126 views

Why is there an error about division by 0?

I'm converting all of my old Mathematica 7.0 codes to my new Mathematica 13.2, and I'm struggling with some issues I didn't encounter with version 7.0. The following code is giving me a headache, ...
• 4,093
1k views

• 87
101 views

Need a package to compute constraint structure

I want to compute constraint structure of some field theory and some gravitational field theory. By constraint structure I mean what is explained in the "Lectures on Quantum Mechanics" by P. A. M. ...
Let $p(z)$ be a (not necessarily irreducible) polynomial in $\mathbb{Q}[z]$. Is there a built-in function I can use for determining the minimal polynomial of an element $\overline{q(z)} \in \mathbb{Q}[... • 101 0 votes 0 answers 87 views Transforming a tensor expression I have the expression$\qquad\sqrt{\det[\gamma^{\mu \nu} F_{\mu \nu}]}$Basiclly, I need to expand this expression in some form like :$trF^4 + (trF^2)^2 + \sqrt{\det[F_{\mu \nu}]}$, where$\gamma^{\...
I've symmetric tensor $h(z)$ with rank $s$. Instead of writing symmetric tensor with its components I use the following notation \$h^{(s)}(z;a) = \sum_{\mu_i}(\prod_{i=1}^{s}a^{\mu_i})h^{(s)}_{\mu_1\...