일부 변수를 Maxima에서 비가 교체 형으로 정의하는 방법

Question

예를 들어, x와 y를 비가 변 (non-commutative)으로 정의하고 a와 b를 교환 할 수있는 (평소와 같이) 것으로 정의하고 싶습니다. 즉, 또한

x y ≠ y x, a x = x a, a b = b a . 

,

(x + a y) (x - a y) = x^2 + a (y x - x y) - a^2 y^2.

x 및 y를 정의하는 코드와 곱셈 기호 (예 : * 및 .)는 무엇입니까?

Answer 1

당신은 다음 두 단계에 따라 원하는 방식으로 맥시마의 교환 법칙이 성립 *과 비 교환 법칙이 성립 . 제품과 함께 작업 할 수 있습니다

1. 스칼라로 기호 a 및 b를 선언 :

   을 declare([a, b], scalar)$

2. dotscrules :

   dotscrules: true$

   이 교환 적 제품에 관련된 스칼라 비 - 교환 적 제품을 단순화 (즉가 a.x가 a*x된다).

이제 준비되었습니다. 예를 들어,

expand((a*x + b*y) . (a*x - b*y)) 

복귀

a*b*y.x - b^2*y^^2 - a*b*x.y + a^2*x^^2 

( ^^가 비 상호적인 지수 연산자이다).