archive/share/trash/rieman.nvr

   1
   2 (SETQ SAVENO 2690.)
   3 (DSKSETQ $DE0 (QUOTE ((MTIMES SIMP FACTORED) ((RAT SIMP) 1. 4.) ((MEXPT
   4 SIMP) $A -4.) ((MEXPT SIMP) $B -4.) ((MEXPT SIMP) $D -4.) ((MEXPT SIMP) $X
   5 -4.) ((MPLUS SIMP IRREDUCIBLE) ((MTIMES SIMP) 16. ((MEXPT SIMP RATSIMP) $A 4.)
   6  ((MEXPT SIMP RATSIMP) $B 2.) ((MEXPT SIMP RATSIMP) $D 4.)) ((MTIMES SIMP)
   7 -32. ((MEXPT SIMP RATSIMP) $A 3.) ((MEXPT SIMP RATSIMP) $B 3.) ((MEXPT SIMP
   8 RATSIMP) $D 4.)) ((MTIMES SIMP) 16. ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT
   9 SIMP RATSIMP) $B 4.) ((MEXPT SIMP RATSIMP) $D 4.)) ((MTIMES SIMP) -32.
  10 ((MEXPT SIMP RATSIMP) $A 3.) ((MEXPT SIMP RATSIMP) $B 2.) ((%DERIVATIVE SIMP
  11 RATSIMP) $B $X 1.) ((MEXPT SIMP RATSIMP) $D 4.) $X) ((MTIMES SIMP) 32.
  12 ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT SIMP RATSIMP) $B 3.) ((%DERIVATIVE SIMP
  13 RATSIMP) $B $X 1.) ((MEXPT SIMP RATSIMP) $D 4.) $X) ((MTIMES SIMP) 8.
  14 ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $A $X 1.) 2.) ((MEXPT SIMP
  15 RATSIMP) $B 4.) ((MEXPT SIMP RATSIMP) $D 4.) ((MEXPT SIMP RATSIMP) $X 2.))
  16 ((MTIMES SIMP) -32. $A ((%DERIVATIVE SIMP RATSIMP) $A $X 1.) ((MEXPT SIMP
  17 RATSIMP) $B 3.) ((%DERIVATIVE SIMP RATSIMP) $B $X 1.) ((MEXPT SIMP RATSIMP)
  18 $D 4.) ((MEXPT SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) -8. ((MEXPT SIMP
  19 RATSIMP) $A 3.) $B ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $B $X 1.) 2.)
  20 ((MEXPT SIMP RATSIMP) $D 4.) ((MEXPT SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) 56.
  21 ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT SIMP RATSIMP) $B 2.) ((MEXPT SIMP)
  22 ((%DERIVATIVE SIMP RATSIMP) $B $X 1.) 2.) ((MEXPT SIMP RATSIMP) $D 4.)
  23 ((MEXPT SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) 8. ((MEXPT SIMP RATSIMP) $A 2.)
  24 ((MEXPT SIMP RATSIMP) $B 4.) ((MEXPT SIMP RATSIMP) $D 2.) ((MEXPT SIMP)
  25 ((%DERIVATIVE SIMP RATSIMP) $D $X 1.) 2.) ((MEXPT SIMP RATSIMP) $X 2.))
  26 ((MTIMES SIMP) 8. ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $A $X 1.) 2.)
  27 ((MEXPT SIMP RATSIMP) $B 3.) ((%DERIVATIVE SIMP RATSIMP) $B $X 1.) ((MEXPT
  28 SIMP RATSIMP) $D 4.) ((MEXPT SIMP RATSIMP) $X 3.)) ((MTIMES SIMP) -8. $A
  29 ((%DERIVATIVE SIMP RATSIMP) $A $X 1.) ((MEXPT SIMP RATSIMP) $B 2.) ((MEXPT
  30 SIMP) ((%DERIVATIVE SIMP RATSIMP) $B $X 1.) 2.) ((MEXPT SIMP RATSIMP) $D 4.)
  31 ((MEXPT SIMP RATSIMP) $X 3.)) ((MTIMES SIMP) -8. ((MEXPT SIMP RATSIMP) $A 2.)
  32 $B ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $B $X 1.) 3.) ((MEXPT SIMP
  33 RATSIMP) $D 4.) ((MEXPT SIMP RATSIMP) $X 3.)) ((MTIMES SIMP) -16. $A
  34 ((%DERIVATIVE SIMP RATSIMP) $A $X 1.) ((MEXPT SIMP RATSIMP) $B 3.)
  35 ((%DERIVATIVE SIMP RATSIMP) $B $X 2.) ((MEXPT SIMP RATSIMP) $D 4.) ((MEXPT
  36 SIMP RATSIMP) $X 3.)) ((MTIMES SIMP) 32. ((MEXPT SIMP RATSIMP) $A 2.)
  37 ((MEXPT SIMP RATSIMP) $B 2.) ((%DERIVATIVE SIMP RATSIMP) $B $X 1.)
  38 ((%DERIVATIVE SIMP RATSIMP) $B $X 2.) ((MEXPT SIMP RATSIMP) $D 4.) ((MEXPT
  39 SIMP RATSIMP) $X 3.)) ((MTIMES SIMP) 8. ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT
  40 SIMP RATSIMP) $B 3.) ((%DERIVATIVE SIMP RATSIMP) $B $X 1.) ((MEXPT SIMP
  41 RATSIMP) $D 2.) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $D $X 1.) 2.)
  42 ((MEXPT SIMP RATSIMP) $X 3.)) ((MTIMES SIMP) 2. ((MEXPT SIMP) ((%DERIVATIVE
  43 SIMP RATSIMP) $A $X 1.) 2.) ((MEXPT SIMP RATSIMP) $B 2.) ((MEXPT SIMP)
  44 ((%DERIVATIVE SIMP RATSIMP) $B $X 1.) 2.) ((MEXPT SIMP RATSIMP) $D 4.)
  45 ((MEXPT SIMP RATSIMP) $X 4.)) ((MTIMES SIMP) 4. $A ((%DERIVATIVE SIMP
  46 RATSIMP) $A $X 1.) $B ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $B $X 1.) 3.)
  47 ((MEXPT SIMP RATSIMP) $D 4.) ((MEXPT SIMP RATSIMP) $X 4.)) ((MTIMES SIMP) 3.
  48 ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $B $X
  49 1.) 4.) ((MEXPT SIMP RATSIMP) $D 4.) ((MEXPT SIMP RATSIMP) $X 4.)) ((MTIMES
  50 SIMP) -8. $A ((%DERIVATIVE SIMP RATSIMP) $A $X 1.) ((MEXPT SIMP RATSIMP) $B
  51 2.) ((%DERIVATIVE SIMP RATSIMP) $B $X 1.) ((%DERIVATIVE SIMP RATSIMP) $B $X
  52 2.) ((MEXPT SIMP RATSIMP) $D 4.) ((MEXPT SIMP RATSIMP) $X 4.)) ((MTIMES
  53 SIMP) -8. ((MEXPT SIMP RATSIMP) $A 2.) $B ((MEXPT SIMP) ((%DERIVATIVE SIMP
  54 RATSIMP) $B $X 1.) 2.) ((%DERIVATIVE SIMP RATSIMP) $B $X 2.) ((MEXPT SIMP
  55 RATSIMP) $D 4.) ((MEXPT SIMP RATSIMP) $X 4.)) ((MTIMES SIMP) 8. ((MEXPT SIMP
  56 RATSIMP) $A 2.) ((MEXPT SIMP RATSIMP) $B 2.) ((MEXPT SIMP) ((%DERIVATIVE
  57 SIMP RATSIMP) $B $X 2.) 2.) ((MEXPT SIMP RATSIMP) $D 4.) ((MEXPT SIMP
  58 RATSIMP) $X 4.)) ((MTIMES SIMP) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $A
  59 $X 1.) 2.) ((MEXPT SIMP RATSIMP) $B 4.) ((MEXPT SIMP RATSIMP) $D 2.) ((MEXPT
  60 SIMP) ((%DERIVATIVE SIMP RATSIMP) $D $X 1.) 2.) ((MEXPT SIMP RATSIMP) $X 4.))
  61 ((MTIMES SIMP) 2. ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT SIMP RATSIMP) $B 2.)
  62 ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $B $X 1.) 2.) ((MEXPT SIMP
  63 RATSIMP) $D 2.) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $D $X 1.) 2.)
  64 ((MEXPT SIMP RATSIMP) $X 4.)) ((MTIMES SIMP) 2. $A ((%DERIVATIVE SIMP
  65 RATSIMP) $A $X 1.) ((MEXPT SIMP RATSIMP) $B 4.) $D ((MEXPT SIMP)
  66 ((%DERIVATIVE SIMP RATSIMP) $D $X 1.) 3.) ((MEXPT SIMP RATSIMP) $X 4.))
  67 ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT SIMP RATSIMP) $B 4.)
  68 ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $D $X 1.) 4.) ((MEXPT SIMP
  69 RATSIMP) $X 4.)) ((MTIMES SIMP) -4. $A ((%DERIVATIVE SIMP RATSIMP) $A $X 1.)
  70 ((MEXPT SIMP RATSIMP) $B 4.) ((MEXPT SIMP RATSIMP) $D 2.) ((%DERIVATIVE SIMP
  71 RATSIMP) $D $X 1.) ((%DERIVATIVE SIMP RATSIMP) $D $X 2.) ((MEXPT SIMP
  72 RATSIMP) $X 4.)) ((MTIMES SIMP) -4. ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT
  73 SIMP RATSIMP) $B 4.) $D ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $D $X 1.)
  74 2.) ((%DERIVATIVE SIMP RATSIMP) $D $X 2.) ((MEXPT SIMP RATSIMP) $X 4.))
  75 ((MTIMES SIMP) 4. ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT SIMP RATSIMP) $B 4.)
  76 ((MEXPT SIMP RATSIMP) $D 2.) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $D $X
  77 2.) 2.) ((MEXPT SIMP RATSIMP) $X 4.))))))
  78 (ADD2LNC (QUOTE $DE0) $VALUES)
  79 (DSKSETQ $LG0 (QUOTE (($MATRIX SIMP) ((MLIST SIMP) ((MTIMES SIMP) -1. $A) 0.
  80 0. 0.) ((MLIST SIMP) 0. ((MTIMES SIMP) -1. $B ((MEXPT SIMP) $X 2.)) 0. 0.)
  81 ((MLIST SIMP) 0. 0. ((MTIMES SIMP) -1. $B ((MEXPT SIMP) $X 2.) ((MEXPT SIMP)
  82 ((%SIN SIMP) $Y) 2.)) 0.) ((MLIST SIMP) 0. 0. 0. $D))))
  83 (ADD2LNC (QUOTE $LG0) $VALUES)
  84 (DSKSETQ $LG1 (QUOTE (($MATRIX SIMP) ((MLIST SIMP) ((MTIMES SIMP) -1. $A) 0.
  85 0. 0.) ((MLIST SIMP) 0. ((MTIMES SIMP) -1. ((MEXPT SIMP) $X 2.)) 0. 0.)
  86 ((MLIST SIMP) 0. 0. ((MTIMES SIMP) -1. ((MEXPT SIMP) $X 2.) ((MEXPT SIMP)
  87 ((%SIN SIMP) $Y) 2.)) 0.) ((MLIST SIMP) 0. 0. 0. $D))))
  88 (ADD2LNC (QUOTE $LG1) $VALUES)
  89 (DSKSETQ $DE1 (QUOTE ((MTIMES SIMP FACTORED) ((RAT SIMP) 1. 4.) ((MEXPT
  90 SIMP) $A -4.) ((MEXPT SIMP) $D -4.) ((MEXPT SIMP) $X -4.) ((MPLUS SIMP
  91 IRREDUCIBLE) ((MTIMES SIMP) 16. ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT SIMP
  92 RATSIMP) $D 4.)) ((MTIMES SIMP) -32. ((MEXPT SIMP RATSIMP) $A 3.) ((MEXPT
  93 SIMP RATSIMP) $D 4.)) ((MTIMES SIMP) 16. ((MEXPT SIMP RATSIMP) $A 4.)
  94 ((MEXPT SIMP RATSIMP) $D 4.)) ((MTIMES SIMP) 8. ((MEXPT SIMP) ((%DERIVATIVE
  95 SIMP RATSIMP IRREDUCIBLE) $A $X 1.) 2.) ((MEXPT SIMP RATSIMP) $D 4.) ((MEXPT
  96 SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) 8. ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT
  97 SIMP RATSIMP) $D 2.) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE)
  98 $D $X 1.) 2.) ((MEXPT SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) ((MEXPT SIMP)
  99 ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $A $X 1.) 2.) ((MEXPT SIMP RATSIMP)
 100 $D 2.) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $D $X 1.) 2.)
 101 ((MEXPT SIMP RATSIMP) $X 4.)) ((MTIMES SIMP) 2. $A ((%DERIVATIVE SIMP
 102 RATSIMP IRREDUCIBLE) $A $X 1.) $D ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP
 103 IRREDUCIBLE) $D $X 1.) 3.) ((MEXPT SIMP RATSIMP) $X 4.)) ((MTIMES SIMP)
 104 ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP
 105 IRREDUCIBLE) $D $X 1.) 4.) ((MEXPT SIMP RATSIMP) $X 4.)) ((MTIMES SIMP) -4.
 106 $A ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $A $X 1.) ((MEXPT SIMP RATSIMP)
 107 $D 2.) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $D $X 1.) ((%DERIVATIVE SIMP
 108 RATSIMP) $D $X 2.) ((MEXPT SIMP RATSIMP) $X 4.)) ((MTIMES SIMP) -4. ((MEXPT
 109 SIMP RATSIMP) $A 2.) $D ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP
 110 IRREDUCIBLE) $D $X 1.) 2.) ((%DERIVATIVE SIMP RATSIMP) $D $X 2.) ((MEXPT
 111 SIMP RATSIMP) $X 4.)) ((MTIMES SIMP) 4. ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT
 112 SIMP RATSIMP) $D 2.) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $D $X 2.) 2.)
 113 ((MEXPT SIMP RATSIMP) $X 4.))))))
 114 (ADD2LNC (QUOTE $DE1) $VALUES)
 115 (DSKSETQ $DE2 (QUOTE ((MTIMES SIMP FACTORED) ((RAT SIMP) 1. 4.) ((MEXPT
 116 SIMP) $A -6.) ((MEXPT SIMP) $D -4.) ((MEXPT SIMP) $X -2.) ((MPLUS SIMP
 117 IRREDUCIBLE) ((MTIMES SIMP) 24. ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT SIMP)
 118 ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $A $X 1.) 2.) ((MEXPT SIMP RATSIMP)
 119 $D 4.)) ((MTIMES SIMP) 8. ((MEXPT SIMP RATSIMP) $A 4.) ((MEXPT SIMP RATSIMP)
 120 $D 2.) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $D $X 1.) 2.))
 121 ((MTIMES SIMP) -8. $A ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE)
 122 $A $X 1.) 3.) ((MEXPT SIMP RATSIMP) $D 4.) $X) ((MTIMES SIMP) 16. ((MEXPT
 123 SIMP RATSIMP) $A 2.) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $A $X 1.)
 124 ((%DERIVATIVE SIMP RATSIMP) $A $X 2.) ((MEXPT SIMP RATSIMP) $D 4.) $X)
 125 ((MTIMES SIMP) 8. ((MEXPT SIMP RATSIMP) $A 3.) ((%DERIVATIVE SIMP RATSIMP
 126 IRREDUCIBLE) $A $X 1.) ((MEXPT SIMP RATSIMP) $D 2.) ((MEXPT SIMP)
 127 ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $D $X 1.) 2.) $X) ((MTIMES SIMP) 9.
 128 ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $A $X 1.) 4.) ((MEXPT
 129 SIMP RATSIMP) $D 4.) ((MEXPT SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) -16. $A
 130 ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $A $X 1.) 2.)
 131 ((%DERIVATIVE SIMP RATSIMP) $A $X 2.) ((MEXPT SIMP RATSIMP) $D 4.) ((MEXPT
 132 SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) 8. ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT
 133 SIMP) ((%DERIVATIVE SIMP RATSIMP) $A $X 2.) 2.) ((MEXPT SIMP RATSIMP) $D 4.)
 134 ((MEXPT SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) 3. ((MEXPT SIMP RATSIMP) $A 2.)
 135 ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $A $X 1.) 2.) ((MEXPT
 136 SIMP RATSIMP) $D 2.) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE)
 137 $D $X 1.) 2.) ((MEXPT SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) 2. ((MEXPT SIMP
 138 RATSIMP) $A 3.) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $A $X 1.) $D ((MEXPT
 139 SIMP) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $D $X 1.) 3.) ((MEXPT SIMP
 140 RATSIMP) $X 2.)) ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $A 4.) ((MEXPT SIMP)
 141 ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $D $X 1.) 4.) ((MEXPT SIMP RATSIMP)
 142 $X 2.)) ((MTIMES SIMP) -4. ((MEXPT SIMP RATSIMP) $A 3.) ((%DERIVATIVE SIMP
 143 RATSIMP IRREDUCIBLE) $A $X 1.) ((MEXPT SIMP RATSIMP) $D 2.) ((%DERIVATIVE
 144 SIMP RATSIMP IRREDUCIBLE) $D $X 1.) ((%DERIVATIVE SIMP RATSIMP) $D $X 2.)
 145 ((MEXPT SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) -4. ((MEXPT SIMP RATSIMP) $A 4.)
 146 $D ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP IRREDUCIBLE) $D $X 1.) 2.)
 147 ((%DERIVATIVE SIMP RATSIMP) $D $X 2.) ((MEXPT SIMP RATSIMP) $X 2.)) ((MTIMES
 148 SIMP) 4. ((MEXPT SIMP RATSIMP) $A 4.) ((MEXPT SIMP RATSIMP) $D 2.) ((MEXPT
 149 SIMP) ((%DERIVATIVE SIMP RATSIMP) $D $X 2.) 2.) ((MEXPT SIMP RATSIMP) $X
 150 2.))))))
 151 (ADD2LNC (QUOTE $DE2) $VALUES)
 152 (DSKSETQ $LG2 (QUOTE (($MATRIX SIMP) ((MLIST SIMP) ((MTIMES SIMP) -1. $A) 0.
 153 0. 0.) ((MLIST SIMP) 0. ((MTIMES SIMP) -1. $A ((MEXPT SIMP) $X 2.)) 0. 0.)
 154 ((MLIST SIMP) 0. 0. ((MTIMES SIMP) -1. $A ((MEXPT SIMP) $X 2.) ((MEXPT SIMP)
 155 ((%SIN SIMP) $Y) 2.)) 0.) ((MLIST SIMP) 0. 0. 0. $D))))
 156 (ADD2LNC (QUOTE $LG2) $VALUES)
 157 (DSKSETQ $LG3 (QUOTE (($MATRIX SIMP) ((MLIST SIMP) ((MTIMES SIMP) -1. $A) 0.
 158 0. 0.) ((MLIST SIMP) 0. ((MTIMES SIMP) -1. $A ((MEXPT SIMP) $X 2.)) 0. 0.)
 159 ((MLIST SIMP) 0. 0. ((MTIMES SIMP) -1. $A ((MEXPT SIMP) $X 2.) ((MEXPT SIMP)
 160 ((%SIN SIMP) $Y) 2.)) 0.) ((MLIST SIMP) 0. 0. 0. $A))))
 161 (ADD2LNC (QUOTE $LG3) $VALUES)
 162 (DSKSETQ $DE3 (QUOTE ((MTIMES SIMP FACTORED) ((RAT SIMP) 1. 4.) ((MEXPT
 163 SIMP) $A -6.) ((MEXPT SIMP) $X -2.) ((MPLUS SIMP IRREDUCIBLE) ((MTIMES SIMP)
 164 32. ((MEXPT SIMP RATSIMP) $A 2.) ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP)
 165 $A $X 1.) 2.)) ((MTIMES SIMP) 16. ((MEXPT SIMP RATSIMP) $A 2.) ((%DERIVATIVE
 166 SIMP RATSIMP) $A $X 1.) ((%DERIVATIVE SIMP RATSIMP) $A $X 2.) $X) ((MTIMES
 167 SIMP) 15. ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $A $X 1.) 4.) ((MEXPT
 168 SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) -24. $A ((MEXPT SIMP) ((%DERIVATIVE
 169 SIMP RATSIMP) $A $X 1.) 2.) ((%DERIVATIVE SIMP RATSIMP) $A $X 2.) ((MEXPT
 170 SIMP RATSIMP) $X 2.)) ((MTIMES SIMP) 12. ((MEXPT SIMP RATSIMP) $A 2.)
 171 ((MEXPT SIMP) ((%DERIVATIVE SIMP RATSIMP) $A $X 2.) 2.) ((MEXPT SIMP
 172 RATSIMP) $X 2.))))))
 173 (ADD2LNC (QUOTE $DE3) $VALUES)
 174 (DSKSETQ $COMMENT (QUOTE
 175 |&THESE ARE THE METRICS AND CORRESPONDING DES=RIEMANN^2|))
 176 (ADD2LNC (QUOTE $COMMENT) $VALUES)
 177 (DSKSETQ $SOL (QUOTE ((MLIST SIMP) ((MEQUAL SIMP) $A ((MTIMES SIMP) ((MEXPT
 178 SIMP) ((%DERIVATIVE SIMP) $F $X 1.) 2.) ((MEXPT SIMP) ((MPLUS SIMP) 1.
 179 ((MTIMES SIMP) -2. ((MEXPT SIMP) $F -1.) $M)) -1.))) ((MEQUAL SIMP) $B
 180 ((MTIMES SIMP) ((MEXPT SIMP) $F 2.) ((MEXPT SIMP) $X -2.))) ((MEQUAL SIMP)
 181 $D ((MPLUS SIMP) 1. ((MTIMES SIMP) -2. ((MEXPT SIMP) $F -1.) $M))))))
 182 (ADD2LNC (QUOTE $SOL) $VALUES)
 183 (DSKSETQ $COM1 (QUOTE |&SOL IS THE TRANSFORM OF THE SCH SOLUT|))
 184 (ADD2LNC (QUOTE $COM1) $VALUES)
 185 (MDEFPROP $B ($X) DEPENDS)
 186 (ADD2LNC (QUOTE (($B) $X)) $DEPENDENCIES)
 187 (MDEFPROP $A ($X) DEPENDS)
 188 (ADD2LNC (QUOTE (($A) $X)) $DEPENDENCIES)
 189 (MDEFPROP $D ($X) DEPENDS)
 190 (ADD2LNC (QUOTE (($D) $X)) $DEPENDENCIES)
 191 (MDEFPROP $F ($X) DEPENDS)
 192 (ADD2LNC (QUOTE (($F) $X)) $DEPENDENCIES)
 193 (MDEFPROP $SAV ((LAMBDA) ((MLIST)) (($SAVE) ((MLIST) $RIEMAN $INVARS)
 194 $VALUES $DEPENDENCIES $FUNCTIONS)) MEXPR)
 195 (ADD2LNC (QUOTE (($SAV))) $FUNCTIONS)