? dot0simp;

Calculate

dotassoc:true;

dotdistrib:true;

dot0simp:true;

Calculate

dotassoc:true;

dotdistrib:true;

dot0simp:true;

Calculate

dotassoc:true;

dotdistrib:true;

dot0simp:true;

Calculate

dotassoc:true;

dotdistrib:true;

dot0simp:true;

Calculate

dotassoc:true;

dotdistrib:true;

dot0simp:true;

Calculate

dotassoc:true;

dotdistrib:true;

dot0simp:true;

Calculate

dotassoc:true;

dotdistrib:true;

dot0simp:true;

Calculate

dotassoc:true;

dotdistrib:true;

dot0simp:true;

Calculate

dotassoc:true;

dotdistrib:true;

dot0simp:true;

Calculate

### dot0simp

Run Example
```(%i1)dotassoc:true;
(%o1)                                true
(%i2) dotdistrib:true;
(%o2)                                true
(%i3) dot0simp:true;
(%o3)                                true
(%i4) assume(a>
0);
(%o4)                               [a > 0]
(%i5) I(X):=(X^^-1);
<- 1>
(%o5)                           I(X) := X
(%i6) T(X):=X.I(T12).T14c.I(T14e).T12.I(X).T14e;
(%o6)  T(X) := X . (I(T12) . (T14c . (I(T14e) . (T12 . (I(X) . T14e)))))
(%i7) limit((1/a)*(T(T12+a*S)-T(T12)),a,0);
<- 1>              <- 1>                    <- 1>
(%o7) limit  ((a S) . T12      . T14c . T14e      . T12 . (T12 + a S)
a -> 0
<- 1>                    <- 1>
. T14e + T14c . T14e      . T12 . (T12 + a S)      . T14e - T14c)/a
(%i8) ```
Run Example
```dotassoc:true;
(%o1)                                true
(%i2) dotdistrib:true;
(%o2)                                true
(%i3) dot0simp:true;
(%o3)                                true
(%i4) dotconstrules:true;
(%o4)                                true
(%i5) dotexptsimp:true;
(%o5)                                true
(%i6) declare(a,scalar);
(%o6)                                done
(%i7) I(X):=(X^^-1);
<- 1>
(%o7)                           I(X) := X
(%i8) T(X):=X.I(T12).T14c.I(T14e).T12.I(X).T14e;
(%o8)  T(X) := X . (I(T12) . (T14c . (I(T14e) . (T12 . (I(X) . T14e)))))
(%i9) limit((1/a)*(T(T12+a*S)-T(T12)),a,0);
<- 1>              <- 1>                    <- 1>
(%o9) limit  ((a S) . T12      . T14c . T14e      . T12 . (T12 + a S)
a -> 0
<- 1>                    <- 1>
. T14e + T14c . T14e      . T12 . (T12 + a S)      . T14e - T14c)/a
(%i10) limit((1/a).((X+a).(X+a)-X.X),a,0);
1             1     <2>    1
(%o10)          limit  ((-) . X . a + (-) . a    + (-) . a . X)
a -> 0   a             a            a
(%i11) ```
Run Example
```dotassoc:true;
(%o1)                                true
(%i2) dotdistrib:true;
(%o2)                                true
(%i3) dot0simp:true;
(%o3)                                true
(%i4) I(X):=(X^^-1);
<- 1>
(%o4)                           I(X) := X
(%i5) T(X):=X.I(T12).T14c.I(T14e).T12.I(X).T14e;
(%o5)  T(X) := X . (I(T12) . (T14c . (I(T14e) . (T12 . (I(X) . T14e)))))
(%i6) limit((1/a)*(T(T12+a*S)-T(T12)),a,0);
<- 1>              <- 1>                    <- 1>
(%o6) limit  ((a S) . T12      . T14c . T14e      . T12 . (T12 + a S)
a -> 0
<- 1>                    <- 1>
. T14e + T14c . T14e      . T12 . (T12 + a S)      . T14e - T14c)/a
(%i7) ```

### Related Help

Help for Dot0simp