## 270 Reputation

12 years, 59 days

## obscurity...

@Carl Love

One moment is still unclear.

returns false and it is strange. I expected the result to be true.

## Aren't Physics:-`.` and Physics:-`*` equ...

@Carl Love
@Acer

I'll make a timid assumption. Physics:-`.` and Physics:-`*` in Maple 18.01 are equivalent.
For example

`evalb(Physics:-`*`(ap1, am1) = Physics:-`.`(ap1, am1))`

returns 'true'.

I suppose that operation Physics:-`.` is available just for backward compatibility.

By the way, what two 'anything' means in type checking

`type(z1, ('`.`')(anything, anything));`

?

## Just one comment...

@Carl Love
Thanks a lot for several tips used in your answer. I didn't know about them. The only comment, if one needs just a parity then a command

group[parity](convert([seq(pos[y], y= L2)], disjcyc))

## a function returning a number of your tr...

@Kitonum
Number of your transpositions and number of transpositions of neighboring elements has the same parity. So, in my case it doesn't matter what particular transpositions to consider.

@ecterrab

## you are right...

@Alejandro Jakubi

now the problem is formulated as:

`restart; with(Physics); with(Library); Setup(mathematicalnotation = true); Setup(op = A);type(A^5, Physics:-`^`(PhysicsType:-ExtendedQuantumOperator, posint));type(A^5, PhysicsType:-ExtendedQuantumOperator^posint);`

the result is

false
false

Unfortunately, I don't know how to construct a correct type for A^n where n is some particular positive integer.

## overloaded '`*`' in Physics package...

Reminder

`restart;with(Physics); z := a*b*c;type(z, '`*`'(name));type(z, ':-`*`'(name));`
`falsetrue`

## IDE-like editor?...

@Alejandro Jakubi
What exactly editor do you use?

@acer
and exhaustingly

## Still don't understand...

@Carl Love

What is the difference between this function

`f:=k->k^2;`

and this one

`f:=k->fsolve(x^2+k*x-1=0,x)[1];`

???

A reference to the documentation would be ok.

## What does it mean "k is just a name"?...

@Preben Alsholm
@Markiyan Hirnyk
Thank you.

@Preben Alsholm
What does it mean "k is just a name"?

## @Carl Love May be. PSf:= `+`: looks...

@Carl Love
May be.
PS
f:= `+`:
looks really nice.

## yes...

@Markiyan Hirnyk

thank you!

## accept as is...

@acer, @Preben Alsholm

Thank you for clarification! However, I don't understand the sens of such design of set. But it is a rhetorical question. So I accept it as is.

## Thank you for simplifying the problem...

@Preben Alsholm

However it is still actual. So, now it can be formulated as

`restart; A := {a, b, c}; b := a; A; print("++++++++++++++++++"); for i to numelems(A) do   print(sprintf("A[%a]=%a", i, A[i])) end do; print("++++++++++++++++++"); for i to numelems(A)+1 do   print(sprintf("A[%a]=%a", i, A[i])) end do`

The result:
A := {a, b, c}
b := a
{a, c}
"++++++++++++++++++"
"A[1]=a"
"A[2]=a"
"++++++++++++++++++"
"A[1]=a"
"A[2]=a"
"A[3]=c"

What is going on with the set A?

 1 2 3 4 5 6 7 Last Page 2 of 10
﻿