Sponsored links: Algebra eBooks
 

Related

dotexptsimp

? dotexptsimp;

Calculate

dotexptsimp

? dotexptsimp;

Calculate

dotexptsimp

Run Example
(%i1)dotassoc:true;
(%o1)                                true
(%i2) dotdistrib:true;
(%o2)                                true
(%i3) dot1simp: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) dot1simp:true;
(%o3)                                true
(%i4) dotconstrules:true;
(%o4)                                true
(%i5) dotexptsimp:true;
(%o5)                                true
(%i6) I(X):=(X^^-1);
                                         <- 1>
(%o6)                           I(X) := X
(%i7) T(X):=X.I(T12).T14c.I(T14e).T12.I(X).T14e;
(%o7)  T(X) := X . (I(T12) . (T14c . (I(T14e) . (T12 . (I(X) . T14e)))))
(%i8) limit((1/a)*(T(T12+a*S)-T(T12)),a,0);
                         <- 1>              <- 1>                    <- 1>
(%o8) limit  ((a S) . T12      . T14c . T14e      . T12 . (T12 + a S)
      a -> 0
                                <- 1>                    <- 1>
            . T14e + T14c . T14e      . T12 . (T12 + a S)      . T14e - T14c)/a
(%i9) limit((1/a)*((X+a).(X+a)-X.X),a,0);
                                                  <2>
                                 X . a + a . X + a
(%o9)                     limit  --------------------
                          a -> 0          a
(%i10) 
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) 

Related Help

Help for Dotexptsimp