Hello.

I think the PHYSOP package has some error.

My test code is following.

load_package noncom2;

load_package physop;

scalop a,b; noncom a,b; oporder b,a;

let comm(a,b) = unit;

a*b*a*b*a*b;

a*b*a*b*a*b*a*b;

When I run the above code,

"a*b*a*b*a*b" return the wrong result:

"7*b*a + 7*b*b*a*a + b*b*b*a*a*a + unit".

The expected result is following:

"7*b*a + 6*b*b*a*a + b*b*b*a*a*a + unit".

Furthermore, the last line causes segmentation fault.

Please fix this error.

Thank you.