Advanced Search

Question: How to construct a type for an expression A^n where A is a QuantumOperator and n is integer?

Question:How to construct a type for an expression A^n where A is a QuantumOperator and n is integer?

Andriy 270 Maple
physics type operator
October 15 2014
2

I am trying the following:

restart; 
with(Physics); 
with(Library); 
Setup(mathematicalnotation = true); 
Setup(op = A);
assume(n::integer);

type(A^n, Physics:-`^`(PhysicsType:-ExtendedQuantumOperator, integer));
type(A^n, PhysicsType:-ExtendedQuantumOperator^integer);

the result is

false
false

However, I expected to get true in both cases. How to construct correct type for A^n?
Thank you.
Please Wait...