Questions tagged [ncalgebra]
Questions about the NCAlgebra, a package for manipulating noncommuting algebraic expressions.
39
questions
1
vote
1
answer
59
views
NCAlgebra 6.0.2 fails to compute the gradient of the trace of a simple quadratic product
NCAlgebra version 6.0.2 fails to compute the gradient of the trace of a quadratic product. Works fine in version ...
0
votes
1
answer
42
views
Dealing with commutative, noncommutative variables and patterns with NC Algebra
I use NC ALgebra to deal with polynomials in non commutative variables ei and fj. The eis do not commute with themselves, the fjs do not commute with themselves, but the ei commute with the fjs. So e2 ...
1
vote
1
answer
47
views
ParallelTable and NC polynomial simplification
I use NC algebra to apply simplification rules on non commutative polynomials.
I would like to treat a huge number of polynomials, ~200, so I would like to run these computations in parallel.
However, ...
0
votes
0
answers
51
views
NCAlgebra and Simplify, FullSimplify or TensorReduce
I want to simplify non-commutative expressions calculated using NCAlgebra with commuting coefficients, such as using identities for complex numbers, e.g. having
...
2
votes
1
answer
102
views
Factoring commutative coefficients to the left
Is it possible to make ncalgebra factorize commutative coefficients to the left?
For example, if I define a non-commutative object W and a commutative object ...
5
votes
1
answer
157
views
How to install NCAlgebra to Mathematica Online
New Mathematica user, attempting to install NCAlgebra to Mathematica Online. Following instructions from https://github.com/NCAlgebra/NC/blob/master/README.md , I first tried:
...
1
vote
1
answer
82
views
Derivative of quadratic form in NCAlgebra
I installed the NCAlgebra package in the hope that it contains enough rules for symbolic work with most branch-matrix expressions.
...
0
votes
1
answer
64
views
NCAlgebra - Factoring common commutative coefficients
This is a rather simple question that I cannot quite figure out how to do.
Basically, I have the result of some matrix multiplication in which my resultant matrix has a mixture of commutative and non-...
0
votes
1
answer
72
views
NCAlgebra conjugation
I'm trying to use NCAlgebra to simplify some expressions and I'm having trouble with simplifying conjugates. Let's say I have two variables $a, b$ and a third variable $c$ which I want to conjugate ...
1
vote
1
answer
58
views
NCReplaceRepeated destroys noncommutativity; is this a bug?
I am pretty new to patterns in Mathematica. Here is the example I want to consider:
...
3
votes
1
answer
229
views
Is the NCAlgebra package broken?
Just for fun I downloaded and installed the NCAlgebra package.
However upon running the NCTEST suite I got the following right off the bat:
SUMMARY OF TESTS
22 files tested.
1822 tests completed in ...
0
votes
1
answer
192
views
Collecting coefficients of non-commutative products from an expression
I am trying to manipulate a Hamiltonian with non-commutative operators, $a_j,a_j^\dagger$. After some algebra using NCAlgebra package in Mathematica, I have an expression like, $$H = C_1 (b**a) + C_2 (...
0
votes
1
answer
183
views
NCAlgebra: is it wrong or do I not understand commuting?
Let me try and do a simple non commutative expansion in NCAlgebra:
SetNonCommutative[xpt, rp, xq, s]
ExpandNonCommutativeMultiply[xpt*rp*rp*xpt*xq*xpt*rp*s*xq]
I ...
0
votes
1
answer
56
views
Replacement of functions bound by sums and integrals in NCAlgebra
I want to use the NCAlgebra package to do some simplification on non commutative expressions involving integrals. For example, one such expression would be
$$ I=\left(\int f(x)g(x) dx\right) * h $$
...
1
vote
0
answers
33
views
rule generalization-NCA algebra [duplicate]
How can I generalize the rule
...
2
votes
3
answers
133
views
Let NCAlgebra know that Tr[] commutes
I have an expression where there are terms like
a ** (b*Tr[a ** b])
and I want to simplify it to something like
...
1
vote
1
answer
606
views
Define commutator of operators, to do computations
I'm actually new to Mathematica I have been using sympy and sometimes cadabra to do calculations for a while though, I was wondering if there is an easy way to compute arbitrary expressions simplified ...
0
votes
2
answers
72
views
Solve the system using elimination What are a, b, and c in the quadratic equation, ax^2+bx+c=y given the [closed]
Solve the system using elimination What are a, b, and c in the quadratic equation, ax^2+bx+c=y given the points: (2,17), (-2,9), and (1,6), please solve the question using steps e.g. (step 1, step 2)?
2
votes
2
answers
215
views
Collecting terms in NCAlgebra
Let's say we have GP[v],GM[v]: two noncommutative objects depending on the commutative variable v.
...
4
votes
1
answer
156
views
NCSolve - solve for a variable
I use the latest NCAlgebra package (5.0) for non-commutative algebra.
<< NC`
<< NCAlgebra`
NCSolve[a**x==b,x]
How do I solve for the variable x, ...
2
votes
0
answers
158
views
how to find derivative of an equation of matrices with element-wise multiplication or division
For an equation like this:
$$ M= \left(\begin{array}{c} A\:x-B \otimes y\end{array}\right) \oslash C $$
where $\otimes$ is an element-wise multiplication and $\oslash$ is an element-wise division.
...
0
votes
0
answers
64
views
Define a variable to satisfy $x^3 = -x$, then sum to find exponential
I'm wondering if it is possible to tell Mathematica that my non-commuting variable satisfies $x^3 = -x$ such that it can compute $\sum_{n=0}^\infty \frac{(Ax)^n}{n!} = e^{Ax} = \cos A+ x \sin A$ with ...
1
vote
2
answers
140
views
How to set a symbolic function as non-commutative in NCAlgebra
Is there a way you can set a symbolic function to be non-commutative in NCAlgebra?
For example
SetCommutative[f[t]] returns ...
2
votes
3
answers
258
views
Simplify expression with non-commutative products
I am using NCAlgebra but I am open to any solution. I would like to simplify some expressions with many terms (a few dozens) using:
the fact that each term is a ...
2
votes
1
answer
121
views
Factorizing non commutative terms
Is it possible to factor
a ** b ** c - a ** b ** d
as
a ** b ** (c - d)
?
I am using ...
3
votes
1
answer
143
views
NCAlgebra: how to set distributivity?
Is the non-commutative product in NCAlgebra also not distributive? From the documentation it seems it should be. But here is an expression, that it does not seem to be able to simplify:
...
3
votes
2
answers
126
views
In NCAlgebra, how can we make d**d**d=0 if d**d=0 is given?
I wrote the following code to eliminate $d^n$ from the equation for $n>1$.
...
0
votes
1
answer
106
views
NCAlgebra square of commuting variable
I use the NCAlgebra Package.
Now when I enter the square(so standard product) of a noncommuting variable Mathematica returns the variable with NonCommutativeMultiply:
...
4
votes
1
answer
148
views
NCAlgebra to Mathematica Standard form
Is there any way to convert the output of NCAlgebra to standard Mathematica form?
For example
...
4
votes
1
answer
130
views
Distribute NonCommutativeMultiply over Times
Is there a method to transform
(a1 * a2) ** (b1 * b2)
into
(a1 ** b1) * (a2 ** b2)
I am trying to transform non-...
3
votes
2
answers
321
views
Non-commutative Algebra $LM=t^2 ML$, using NCAlgebra/Mathematica
I am currently using the NCAlgebra package, and am working with the algebra where $LM=t^2 ML$, where t is commutative.
...
0
votes
2
answers
701
views
Operator satisfies Leibniz rule
Suppose I have some symbols $a[-i]$ and $b[-j]$, where $i,j=1,\cdots,7$. The relation between them are $$a[-i]a[-j]=a[-j]a[-i],$$ $$a[-i]b[-j]=b[-j]a[-i],$$
$$b[-i]b[-j]=b[-j]b[-i],$$ I want to ...
0
votes
1
answer
87
views
Expand a differentiation-like product
Suppose I have some symbols $\tau$, $a[-i]$ and $b[-j]$, where $i,j=1,\cdots,7$. The relation between them are
$$a[-i]a[-j]=a[-j]a[-i],$$
$$a[-i]b[-j]=b[-j]a[-i],$$
$$b[-i]b[-j]=b[-j]b[-i],$$
...
2
votes
1
answer
259
views
Why If does not work instead of /; when searching condition in a list
I am trying to define a commutator. The way I am working this out is the following. I have a list with integers. I want to put the biggest on the right commuting them. For example, if I have a list ...
1
vote
1
answer
218
views
Collect is not collecting properly with non-commutative algebra
I'm using the NCAlgebra package to do some error analysis of operator split methods. I am trying to reproduce the simple examples in Mathematica, but I'm coming ...
11
votes
2
answers
2k
views
Non-commutative algebra (NCAlgebra): How to properly SetCommutingOperators
I am starting to work with non-commutative algebra in Mathematica and had a look at the NCAlgebra package. I installed it and can use its functions. However, what I am struggling with is the ...
5
votes
2
answers
374
views
Is this a bug in NCAlgebra library?
In course of my work with NCAlgebra package for Mathematica, http://math.ucsd.edu/~ncalg/ , I encountered unexpected behavior of replacements. I am using ...
2
votes
1
answer
1k
views
How to simplify symbolic matrix multiplication using the associativity of scalar multiplication?
My input is (2A).(3B). Is there a way to get 6A.B? All I could get back from Mathematica was ...
2
votes
1
answer
363
views
Differential operator involving permutations
I would like to construct an operator in Mathematica of the following form,
$$D_i=\partial_i +\sum_{i \neq j}^n\frac{1}{x_i-x_j}p_{ij}, \quad i=1,...,n$$
where $p_{ij}$ is a (symmetric) permutation ...