Sponsored links: Algebra eBooks
 

Related

propvars

Run Example
(%i1)matchdeclare (aa, integerp);
(%o1)                                done
(%i2)  matchdeclare (bb, lambda ([x], x >
 0));
(%o2)                                done
(%i3)  matchdeclare (cc, freeof (%e, %pi, %i));
(%o3)                                done
(%i4)  matchdeclare (dd, lambda ([x, y], gcd (x, y) = 1) (1728));
(%o4)                                done
(%i5)  matchdeclare (ee, true);
(%o5)                                done
(%i6)  matchdeclare (ff, all);
(%o6)                                done
(%i7)  matchdeclare (aa, integerp, bb, atom);
(%o7)                                done
(%i8)  defrule (r1, bb^aa, ["integer" = aa, "atom" = bb]);
                           aa
(%o8)               r1 : bb   -> [integer = aa, atom = bb]
(%i9)  r1 (%pi^8);
(%o9)                      [integer = 8, atom = %pi]
(%i10)  matchdeclare (aa, atom, bb, lambda ([x], not atom(x)));
(%o10)                               done
(%i11)  defrule (r1, aa + bb, ["all atoms" = aa, "all nonatoms" =                         bb]);
(%o11)        r1 : bb + aa -> [all atoms = aa, all nonatoms = bb]
(%i12)  r1 (8 + a*b + sin(x));
(%o12)           [all atoms = 8, all nonatoms = sin(x) + a b]
(%i13)  defrule (r2, aa * bb, ["all atoms" = aa, "all nonatoms" =                         bb]);
(%o13)         r2 : aa bb -> [all atoms = aa, all nonatoms = bb]
(%i14)  r2 (8 * (a + b) * sin(x));
(%o14)          [all atoms = 8, all nonatoms = (b + a) sin(x)]
(%i15)  matchdeclare (aa, atom, bb, lambda ([x], not atom(x)));
(%o15)                               done
(%i16)  defrule (r1, aa + bb, ["all atoms" = aa, "all nonatoms" =                         bb]);
(%o16)        r1 : bb + aa -> [all atoms = aa, all nonatoms = bb]
(%i17)  r1 (8 + a*b + %pi + sin(x) - c + 2^n);
                                                         n
(%o17)    [all atoms = %pi + 8, all nonatoms = sin(x) + 2  - c + a b]
(%i18)  defrule (r2, aa * bb, ["all atoms" = aa, "all nonatoms" =                         bb]);
(%o18)         r2 : aa bb -> [all atoms = aa, all nonatoms = bb]
(%i19)  r2 (8 * (a + b) * %pi * sin(x) / c * 2^n);
                                                      n + 3
                                             (b + a) 2      sin(x)
(%o19)      [all atoms = %pi, all nonatoms = ---------------------]
                                                       c
(%i20)  matchdeclare ([aa, bb, cc], atom, [dd, ee], integerp);
(%o20)                               done
(%i21)  matchdeclare (ff, floatnump, gg, lambda ([x], x >
 100));
(%o21)                               done
(%i22)  propvars (matchdeclare);
(%o22)                   [aa, bb, cc, dd, ee, ff, gg]
(%i23)  printprops (ee, matchdeclare);
(%o23)                          [integerp(ee)]
(%i24)  printprops (gg, matchdeclare);
(%o24)                    [lambda([x], x > 100, gg)]
(%i25)  printprops (all, matchdeclare);
(%o25) [lambda([x], x > 100, gg), floatnump(ff), integerp(ee), integerp(dd), 
                                                  atom(cc), atom(bb), atom(aa)]
(%i26) 
Run Example
load("unit");
******************************************************************* 
*                       Units version 0.50                        * 
*          Definitions based on the NIST Reference on             * 
*              Constants, Units, and Uncertainty                  * 
*       Conversion factors from various sources including         * 
*                   NIST and the GNU units package                * 
******************************************************************* 
 
Redefining necessary functions... 
Initializing unit arrays... 
Done. 
(%o1)        /usr/share/maxima/5.21.1/share/contrib/unit/unit.mac
(%i2) propvars("unit");
(%o2)                                 []
(%i3) setunits([s,m,mol]);
(%o3)                                done
(%i4) ddot_max:0.2*mm/365/d;
                                      mm
(%o4)                               ------
                                    1825 d
(%i5)  /* maximale Korrosionsgeschwindigkeit */A:10*m*m;
                                          2
(%o5)                              (10) (m )
(%i6)  /* Oberfläche des Apparates */M_Fe:8*g/ml/(55.9*g/mol);
                                   80
(%o6)                           (------) (mol)
                                 559 ml
(%i7)  /* Mol Ionen pro ml Stahl */mdot:1*kg/s;
                                      kg
(%o7)                                 --
                                      s
(%i8)  /* Massenstrom des Produkts */xdot_na2s4:mdot/(174.24*g/mol);
                                  6250   mol
(%o8)                            (----) (---)
                                  1089    s
(%i9)  /* mol Produkt pro Sekunde */xdot_Fe:A*ddot_max;
                                  2 mm     2
(%o9)                            (-----) (m )
                                  365 d
(%i10)  /* Ionenstrom Fe pro s */konz:xdot_Fe/xdot_na2s4;
                                            2
                                1089 mm    m  s
(%o10)                        (---------) (----)
                               1140625 d   mol
(%i11) float(1.0*konz);
                                            2
                                1089 mm    m  s
(%o11)                        (---------) (----)
                               1140625 d   mol
(%i12) 
Run Example
kill(a,b,c);
(%o1)                                done
(%i2) propvars(constant);
(%o2)                                 []
(%i3) map(’diff,[sin(x),cos(x),tan(x) ] )/del(x);
                   diff(sin(x))  diff(cos(x))  diff(tan(x))
(%o3)             [------------, ------------, ------------]
                      del(x)        del(x)        del(x)
(%i4) 

Related Help

Help for Propvars