Questions tagged [algebra]

Abstract manipulation of symbols. Transforming an algebraic expression into the desired form.

35 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3
votes
0answers
66 views

Command to find whether ideal is binomial in Mathematica?

Consider the ideal $$I=\left\{p_2 \left(p_3^2-p_4^2\right) \left(p_5 p_6+p_7\right),-\left(p_2 p_3-p_1 p_4\right) \left(p_5 p_6+p_7\right),-\left(p_3+p_4\right) \right\}.$$ Corollary 1.3 gives a ...
2
votes
0answers
63 views

Mathematica package for computing Macdonald polynomials

I want to implement computation of Macdonald polynomials in mathematica. A similar question was raised in another question 5 years ago (Macdonald-Koornwinder polynomials?), but received no clear ...
2
votes
0answers
64 views

Using Curl and Grad in cylindrical coordinates gives different result than in Cartesian

I am doing a quite elementary calculation to verify $$ \vec \nabla\cdot V = \vec\nabla \times \vec A $$ Where $V$ is just some scalar function in $\rho$, $\phi$ and $z$ and $A$ is defined as $$ ...
2
votes
0answers
48 views

Define quaternions by properties instead of coordinates

I'd like to manipulate an expression of quaternions and only use the following properties ...
2
votes
0answers
136 views

Hafnian of a matrix

Is there a Mathematica built-in function for the calculation of the Hafnian of a matrix? I am interested in the function as it appears naturally in the calculation of moments of a multivariate ...
2
votes
0answers
37 views

Search the full group $G$ based on the partial list of its matrix representations

Suppose I have a list of matrices that may represent the partial list of the full group $G$. And here are the given set of 7 matrix elements. $$e =\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{...
2
votes
0answers
207 views

Operations on ideals of polynomial rings

There is GroebnerBasis to compute a Gröbner basis of an ideal in a polynomial ring, but I am looking for a package to perform operations on ideals $I,J\subseteq\Bbb ...
2
votes
0answers
2k views

Algebra with Sums In Mathematica

I'm trying to perform basic algebra with summations and I haven't been able to find any information on whether it is possible in Mathematica. For instance, I took this rule about multiplying sums ...
2
votes
0answers
89 views

Sum of zeros in finite Galois field

In the following code: << FiniteFields` GF[2][{0}] + GF[2][{0}] == GF[2][{0}] GF[2][{0}] + GF[2][{0}] + GF[2][{0}] == GF[2][{0}] Why does the second line ...
2
votes
0answers
218 views

What are the steps using boolean algebra for transforming one equation into another?

I have a special case where I have two equations, which I have solved in a better and quicker way, but I need to solve with Boolean algebra. Using the laws of Boolean algebra, I have to prove that ...
1
vote
0answers
47 views

How to use only real values in a notebook?

I am wondering how to make Mathematica only evaluate real numbers by creating an initialization line in the beginning of a notebook. I would like to prevent the following: complex trigonometric ...
1
vote
0answers
48 views

dot product of vectors with noncommutative elements

I came upon an interesting problem. Suppose you have three vectors $\psi=(a, b)$, $\phi=(c,d)$ such that their components do not commute: $ac\neq ca$, $bd \neq db$ etc. (in general the vectors may ...
1
vote
0answers
77 views

Connectivity of semi-algebraic set

I am given the following semi-algebraic set: $$ \{ x= \begin{bmatrix} x_1,x_2,x_3,x_4,x_5 \end{bmatrix} ^T\in\mathbb{R}^5| -2 \leq (1 - x_2x_3)x_5 - 2x_4x_3x_1 \leq 1.5,\\ ~ -1 \leq x_1 \leq 30,...
1
vote
0answers
75 views

Some Mathematica textbooks specialized for use in (nontrivial) algebra?

So, Mathematica was constructed as a computer algebra system, but most textbooks focus on programming, mathematical problems of secondary school type or numerically-technical specialization (matrix, ...
1
vote
0answers
48 views

Defining an abstract multiplication over finite indices

I would like to define a map (a "multiplication" denoted $\otimes$) over the finite set of symbols $G=\{a,b,c,d,e,f,g,h\}$. I would like to define several rules like $$a \otimes b= \{b \} $$ $$a \...
1
vote
0answers
31 views

Computational discrepancy for plugging in equivalent forms into an expression

When the following 9th root of unity is raised to the 6th power a 3rd root of unity is returned. (Power[-(1/2) + (I Sqrt[3])/2, (3)^-1])^6 // N -0.5 - 0.866025 I ...
1
vote
0answers
76 views

How can I test that an expression is a member of a field extension of $Q$

Are there functions in Mathematica that I can use to define a field extension of $Q$? I want to be able to check if an element $a \in Q(\sqrt2)$. So far I've tried to bypass this with with ...
1
vote
0answers
274 views

collecting terms with different order

I am using homotopy perturbation method to solve nonlinear ODE. The first step is to introduce P parameter and collect different order of P. The code is like this: ...
1
vote
0answers
49 views

Find rectangle boundries with any angle

I have a rectangle that has an angle and i need to find its boundaries in an equality form ( less than, greater than). so i guess the best way to start is to tell you what i know CENTER: (...
1
vote
0answers
92 views

RSolve with simple initial condition

Suppose we have the following equation: $$ g_ma_m=r_ma_{m-1} $$ with initial condition $a_L=d$ and $L$ might be negative. The following command ...
0
votes
1answer
35 views

Checking the consistency of a variable change

This question may have a simple solution. I did a change of variables and I'd like to check it; what do you recommend?. Altough I believed there's a way to compare term-by-term doing ...
0
votes
0answers
50 views

apply a change of variable to an expression

What would be the simplest way in which we can write y[x1_, x2_, x3_] = x1 + x2*x3 then x4 = x2*x3; to get to the form: ...
0
votes
0answers
52 views

Inverse/Division in finite field?

Think of multiplictavie group of finite field F[p,n], where p is a prime number and n is a positive integer. The whole elements of F[p,n] can be represented as p^n-p^(n-1) positive integers in the ...
0
votes
0answers
63 views

Simplify simple symbolic expression with KroneckerDelta

In short, my question is about finding a method for performing an automatic substitution f[a]/.{a->b}, where b depends on the ...
0
votes
1answer
119 views

Simplifying quantum operators (ladder operators with multiple modes)

Similar to this question, I am interested in working with an implementation of quantum ladder operators. I've been trying to use this "Quantum Mathematica Package" to solve some lengthy ...
0
votes
0answers
51 views

Eliminate doesn't work

I tried to define r by the polynomials a,b,c only. The result which I want is r=4/3 a. But this eliminate doesn't work! It is continue running without stop and without any output. Eliminate[{a == x[1] ...
0
votes
0answers
51 views

Algebraic manipulation on removing common factor outside

d[i,j] and M[i,j] are elements of size arrays of size 2x2 After some manipulations I get this as Output ...
0
votes
0answers
63 views

Find a matrix that are unitarily equal to the given matrix

I have four $5\times 5$ matrices, $P_i, Q_i$ ($i=1, 2$) as follows: $P_1=\begin{pmatrix} 1 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & -...
0
votes
0answers
68 views

Combinatorica and MultiplicationTable in Mathematica 11

I try to use <<Combinatorica` or call IntervalSlider; Needs["Combinatorica`"] or call ...
0
votes
0answers
77 views

Implement commutativity and associativity for custom operation

Just to give context: I want to implement quantum mechanical ladder operators and for this I want Mathematica to realize when it can just commute my ladder operators with numbers or variables because ...
0
votes
0answers
28 views

Finding trivial solutions, of the type 0 = 0, of an equation involving su(N) structure constants

so I have a bunch of equations $f_{abc} = f_{egd}m_{ae}m_{bg}m_{cd}$ (sum over repeated indices), where $f_{abc}$ are the structure constants of $su(N)$, for some $N$, and $m_{ab}$ are elements of ...
0
votes
0answers
784 views

Normalize a complex matrix

I have a complex matrix say, M={{a+bi,c,c,d},{0,a-di,c,d},{d,c,a-di,0},{d,c,c,a+bi}}; Normalize[M] I attempted to normalize this symbolic matrix with Mathematica ...
0
votes
0answers
400 views

Manipulations with complex numbers, phasors

I am trying to implement phasor arithmetic, but cannot get it to work well. The key is that the arguments to the phasor function are Reals, but I cannot get Mathematica to deal with that efficiently. ...
0
votes
0answers
132 views

Multivariate remainder of polynomial in respect to a set of polynomials

I would like to have a really fast routine that computes the so called Normal Form of a multivariate polynomial f in respect to a set of other multivariate ...