Questions tagged [ncalgebra]

Questions about the NCAlgebra, a package for manipulating noncommuting algebraic expressions.

Filter by
Sorted by
Tagged with
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 ...
Drmanifold's user avatar
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 ...
Goupildz's user avatar
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, ...
Goupildz's user avatar
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 ...
GeorgF's user avatar
  • 11
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 ...
tsnao's user avatar
  • 121
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: ...
Jeremy's user avatar
  • 51
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. ...
dtn's user avatar
  • 2,364
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-...
D. Brown's user avatar
  • 304
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 ...
double111's user avatar
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: ...
HerpDerpington's user avatar
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 ...
1729taxi's user avatar
  • 747
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 (...
SlothForeva's user avatar
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 ...
dan mackinlay's user avatar
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 $$ ...
HerpDerpington's user avatar
1 vote
0 answers
33 views

rule generalization-NCA algebra [duplicate]

How can I generalize the rule ...
geom's user avatar
  • 649
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 ...
F3RN4ND0's user avatar
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 ...
Gerardo Suarez's user avatar
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)?
Shelly's user avatar
  • 13
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. ...
Kawette's user avatar
  • 73
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, ...
user823's user avatar
  • 221
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. ...
Math is fun's user avatar
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 ...
tBuLi's user avatar
  • 101
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 ...
oweydd's user avatar
  • 345
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 ...
anderstood's user avatar
  • 14.2k
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 ...
anderstood's user avatar
  • 14.2k
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: ...
Wolpertinger's user avatar
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$. ...
Kartik Chhajed's user avatar
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: ...
lennart's user avatar
  • 103
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 ...
Soumyajit Roy's user avatar
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-...
Daniel's user avatar
  • 41
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. ...
Andy Nguyen's user avatar
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 ...
Nirvanacs's user avatar
  • 117
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],$$ ...
Nirvanacs's user avatar
  • 117
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 ...
Ezareth's user avatar
  • 379
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 ...
tpg2114's user avatar
  • 121
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 ...
Lukas's user avatar
  • 2,652
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 ...
Dmytro Popovych's user avatar
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 ...
blueidea's user avatar
  • 121
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 ...
moroder's user avatar
  • 23