## 15 Reputation

14 years, 267 days

## Bra-Ket Simplification Question...

Maple 2016

Hi all,

Using the Physics package, I have defined a density operator, shown in the image below:

(I did assume(s ≠i), assume(v≠h).

I then operate on it with the Bracket as shown in the next image:

I think this should evaluate to (|Y,s,h><Y,s,h|)/2; or at least that's the result I want. However, Maple evaluates this to zero.

Is there a where to convince Maple to evaluate this to what I want/expect?

Kevin

## Define A Vector as A Tensor...

Maple

I am trying to figure out how to enter tensors using the new Physics package in 17.02. For my first, presumably simple example, I am trying to reproduce the Lorentz transformation in Special Relativity:

Xμ' = Λνμ Xν

where

Λνμ = [{γ, -γβ, 0, 0}, {-γβ, γ, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}]

Xν = [x0, x1, x2, x3]T

My Λ tensor Defines just fine; I do

(which, upon <Enter> is labeled (1)), and then

Define((1))

and this suceeds. However, when I do the X vector:

which is labeled (2), then the Define((2)) function returns the following error:

Error, (in Physics:-Define) expected right-hand-side of tensor definition as an algebraic tensorial expression, or a Matrix or an Array, representing the evaluation rule for the tensor X[`~nu`]; received: Vector(4, {(1) = x0, (2) = x1, (3) = x2, (4) = x3})

So my question is, what is the correct syntax for Defining or declaring a vector to be a tensor?

(Also, incidentally, why is the covariant (superscript) index ~nu being displayed as a subscript when Maple echoes my entry?)

Thank you,

Kevin

 Page 1 of 1
﻿