home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / GAUSS.REF < prev    next >
Text File  |  1996-06-04  |  11KB  |  448 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. X = vr(1,val => none,wlist => []), 
  6. Y = vr(3,val => none,wlist => []), 
  7. Z = vr(2,val => none,wlist => []).
  8.  
  9. --1> --1> --1> ===} begin         0
  10. ===} no_minus      0
  11. ===} dist          0
  12. ===} add_ac        0
  13. ===} red_mult      0
  14. ==} expand         0
  15. ==} reduce         0
  16. ====} do_subst     0
  17. ====} wake_up      0
  18. ===} inst_var      0
  19. ==} solve          0
  20. ===} begin         0
  21. ===} no_minus      0
  22. ===} dist          0
  23. ===} add_ac        0
  24. ===} red_mult      0
  25. ==} expand         0
  26. ==} reduce         0
  27. ====} do_subst     0
  28. ====} wake_up      0
  29. ===} inst_var      0
  30. ==} solve          0
  31. ===} begin         0
  32. ===} no_minus      0
  33. ===} dist          0
  34. ===} add_ac        0
  35. ===} red_mult      0
  36. ==} expand         0
  37. ==} reduce         0
  38. ====} do_subst     0
  39. ====} wake_up      0
  40. ===} inst_var      0
  41. ==} solve          0
  42. ===} begin         0
  43. ===} no_minus      0
  44. ===} dist          0
  45. ===} add_ac        0
  46. ===} red_mult      0
  47. ==} expand         0
  48. ==} reduce         0
  49. ===} slist_merge   0
  50. ==} solve          0
  51.  
  52. *** Yes
  53. Q = q(@~), 
  54. X = vr(1,val => [-3.5],wlist => []), 
  55. Y = vr(3,val => [-2],wlist => []), 
  56. Z = vr(2,val => [-1.5],wlist => []).
  57.  
  58. ----2> 
  59. *** Yes
  60. Q = q(@~), 
  61. W = vr(4,val => none,wlist => []), 
  62. X = vr(1,val => [-3.5],wlist => []), 
  63. Y = vr(3,val => [-2],wlist => []), 
  64. Z = vr(2,val => [-1.5],wlist => []).
  65.  
  66. ------3> ===} begin         0
  67. ===} no_minus      0
  68. ===} dist          0
  69. ===} add_ac        0
  70. ===} red_mult      0
  71. ==} expand         0
  72. ==} reduce         0
  73. ===} slist_merge   0
  74. ===} slist_merge   0
  75. ===} slist_merge   0
  76. ====} do_subst     0
  77. ====} wake_up      0
  78. ===} inst_var      0
  79. ==} solve          0
  80.  
  81. *** Yes
  82. Q = q(@~), 
  83. W = vr(4,val => [-8.5],wlist => []), 
  84. X = vr(1,val => [-3.5],wlist => []), 
  85. Y = vr(3,val => [-2],wlist => []), 
  86. Z = vr(2,val => [-1.5],wlist => []).
  87.  
  88. --------4> 
  89. *** No
  90. Q = q(@~), 
  91. W = vr(4,val => none,wlist => []), 
  92. X = vr(1,val => [-3.5],wlist => []), 
  93. Y = vr(3,val => [-2],wlist => []), 
  94. Z = vr(2,val => [-1.5],wlist => []).
  95.  
  96. ------3> 
  97. *** No
  98. Q = q(@~), 
  99. X = vr(1,val => [-3.5],wlist => []), 
  100. Y = vr(3,val => [-2],wlist => []), 
  101. Z = vr(2,val => [-1.5],wlist => []).
  102.  
  103. ----2> 
  104. *** No
  105. X = vr(1,val => none,wlist => []), 
  106. Y = vr(3,val => none,wlist => []), 
  107. Z = vr(2,val => none,wlist => []).
  108.  
  109. --1> 
  110. *** No
  111. > 
  112. *** Yes
  113. U = vr(5,val => none,wlist => []), 
  114. W = vr(6,val => none,wlist => []), 
  115. X = vr(7,val => none,wlist => []), 
  116. Y = vr(8,val => none,wlist => []), 
  117. Z = vr(9,val => none,wlist => []).
  118.  
  119. --1> ===} begin         0
  120. ===} no_minus      0
  121. ===} dist          0
  122. ===} add_ac        0
  123. ===} red_mult      0
  124. ==} expand         0
  125. ==} reduce         0
  126. ====} do_subst     0
  127. ====} wake_up      0
  128. ===} inst_var      0
  129. ==} solve          0
  130. ===} begin         0
  131. ===} no_minus      0
  132. ===} dist          0
  133. ===} add_ac        0
  134. ===} red_mult      0
  135. ==} expand         0
  136. ==} reduce         0
  137. ====} do_subst     0
  138. ====} wake_up      0
  139. ===} inst_var      0
  140. ==} solve          0
  141. ===} begin         0
  142. ===} no_minus      0
  143. ===} dist          0
  144. ===} add_ac        0
  145. ===} red_mult      0
  146. ==} expand         0
  147. ==} reduce         0
  148. ====} do_subst     0
  149. ====} wake_up      0
  150. ===} inst_var      0
  151. ==} solve          0
  152.  
  153. *** Yes
  154. Q = q(@~), 
  155. U = vr(5,val => _A: [1 * W|_B: [1 * Z,-8]],wlist => []), 
  156. W = vr(6,val => none,wlist => [gauss_wup(lhs_var => U,term_ptr => _A)]), 
  157. X = vr(7,val => _C: [1.25 * Z,0],wlist => []), 
  158. Y = vr(8,val => _D: [-0.25 * Z,0],wlist => []), 
  159. Z = vr(9,
  160.        val => none,
  161.        wlist => [gauss_wup(lhs_var => U,term_ptr => _B),
  162.                  gauss_wup(lhs_var => Y,term_ptr => _D),
  163.                  gauss_wup(lhs_var => X,term_ptr => _C)]).
  164.  
  165. ----2> ===} begin         0
  166. ===} no_minus      0
  167. ===} dist          0
  168. ===} add_ac        0
  169. ===} red_mult      0
  170. ==} expand         0
  171. ==} reduce         0
  172. ====} do_subst     0
  173. ====} wake_up      0
  174. ===} inst_var      0
  175. ==} solve          0
  176.  
  177. *** Yes
  178. Q = q(@~), 
  179. U = vr(5,val => _A: [2 * Z,-8],wlist => []), 
  180. W = vr(6,val => _B: [1 * Z,0],wlist => []), 
  181. X = vr(7,val => _C: [1.25 * Z,0],wlist => []), 
  182. Y = vr(8,val => _D: [-0.25 * Z,0],wlist => []), 
  183. Z = vr(9,
  184.        val => none,
  185.        wlist => [gauss_wup(lhs_var => W,term_ptr => _B),
  186.                  gauss_wup(lhs_var => U,term_ptr => _A),
  187.                  gauss_wup(lhs_var => Y,term_ptr => _D),
  188.                  gauss_wup(lhs_var => X,term_ptr => _C)]).
  189.  
  190. ------3> ===} begin         0
  191. ===} no_minus      0
  192. ===} dist          0
  193. ===} add_ac        0
  194. ===} red_mult      0
  195. ==} expand         0
  196. ==} reduce         0
  197. ===} slist_merge   0
  198. ====} do_subst     0
  199. ====} wake_up      0
  200. ===} inst_var      0
  201. ==} solve          0
  202.  
  203. *** Yes
  204. Q = q(@~), 
  205. U = vr(5,val => [-11.2],wlist => []), 
  206. W = vr(6,val => [-1.6],wlist => []), 
  207. X = vr(7,val => [-2],wlist => []), 
  208. Y = vr(8,val => [0.4],wlist => []), 
  209. Z = vr(9,val => [-1.6],wlist => []).
  210.  
  211. --------4> 
  212. *** No
  213. Q = q(@~), 
  214. U = vr(5,val => _A: [2 * Z,-8],wlist => []), 
  215. W = vr(6,val => _B: [1 * Z,0],wlist => []), 
  216. X = vr(7,val => _C: [1.25 * Z,0],wlist => []), 
  217. Y = vr(8,val => _D: [-0.25 * Z,0],wlist => []), 
  218. Z = vr(9,
  219.        val => none,
  220.        wlist => [gauss_wup(lhs_var => W,term_ptr => _B),
  221.                  gauss_wup(lhs_var => U,term_ptr => _A),
  222.                  gauss_wup(lhs_var => Y,term_ptr => _D),
  223.                  gauss_wup(lhs_var => X,term_ptr => _C)]).
  224.  
  225. ------3> 
  226. *** No
  227. Q = q(@~), 
  228. U = vr(5,val => _A: [1 * W|_B: [1 * Z,-8]],wlist => []), 
  229. W = vr(6,val => none,wlist => [gauss_wup(lhs_var => U,term_ptr => _A)]), 
  230. X = vr(7,val => _C: [1.25 * Z,0],wlist => []), 
  231. Y = vr(8,val => _D: [-0.25 * Z,0],wlist => []), 
  232. Z = vr(9,
  233.        val => none,
  234.        wlist => [gauss_wup(lhs_var => U,term_ptr => _B),
  235.                  gauss_wup(lhs_var => Y,term_ptr => _D),
  236.                  gauss_wup(lhs_var => X,term_ptr => _C)]).
  237.  
  238. ----2> 
  239. *** No
  240. U = vr(5,val => none,wlist => []), 
  241. W = vr(6,val => none,wlist => []), 
  242. X = vr(7,val => none,wlist => []), 
  243. Y = vr(8,val => none,wlist => []), 
  244. Z = vr(9,val => none,wlist => []).
  245.  
  246. --1> 
  247. *** No
  248. > 
  249. *** Yes
  250. U = vr(10,val => none,wlist => []), 
  251. W = vr(11,val => none,wlist => []), 
  252. X = vr(12,val => none,wlist => []), 
  253. Y = vr(13,val => none,wlist => []), 
  254. Z = vr(14,val => none,wlist => []).
  255.  
  256. --1> ===} begin         0
  257. ===} no_minus      0
  258. ===} dist          0
  259. ===} add_ac        0
  260. ===} red_mult      0
  261. ==} expand         0
  262. ==} reduce         0
  263. ====} do_subst     0
  264. ====} wake_up      0
  265. ===} inst_var      0
  266. ==} solve          0
  267. ===} begin         0
  268. ===} no_minus      0
  269. ===} dist          0
  270. ===} add_ac        0
  271. ===} red_mult      0
  272. ==} expand         0
  273. ==} reduce         0
  274. ====} do_subst     0
  275. ====} wake_up      0
  276. ===} inst_var      0
  277. ==} solve          0
  278. ===} begin         0
  279. ===} no_minus      0
  280. ===} dist          0
  281. ===} add_ac        0
  282. ===} red_mult      0
  283. ==} expand         0
  284. ==} reduce         0
  285. ====} do_subst     0
  286. ====} wake_up      0
  287. ===} inst_var      0
  288. ==} solve          0
  289.  
  290. *** Yes
  291. Q = q(@~), 
  292. U = vr(10,val => _A: [1 * W|_B: [1 * Z,-8]],wlist => []), 
  293. W = vr(11,val => none,wlist => [gauss_wup(lhs_var => U,term_ptr => _A)]), 
  294. X = vr(12,val => _C: [1.25 * Z,0],wlist => []), 
  295. Y = vr(13,val => _D: [-0.25 * Z,0],wlist => []), 
  296. Z = vr(14,
  297.        val => none,
  298.        wlist => [gauss_wup(lhs_var => U,term_ptr => _B),
  299.                  gauss_wup(lhs_var => Y,term_ptr => _D),
  300.                  gauss_wup(lhs_var => X,term_ptr => _C)]).
  301.  
  302. ----2> ===} begin         0
  303. ===} no_minus      0
  304. ===} dist          0
  305. ===} add_ac        0
  306. ===} red_mult      0
  307. ==} expand         0
  308. ==} reduce         0
  309. ====} do_subst     0
  310. ====} wake_up      0
  311. ===} inst_var      0
  312. ==} solve          0
  313.  
  314. *** Yes
  315. Q = q(@~), 
  316. U = vr(10,val => [-8],wlist => []), 
  317. W = vr(11,val => _A: [-1 * Z,0],wlist => []), 
  318. X = vr(12,val => _B: [1.25 * Z,0],wlist => []), 
  319. Y = vr(13,val => _C: [-0.25 * Z,0],wlist => []), 
  320. Z = vr(14,
  321.        val => none,
  322.        wlist => [gauss_wup(lhs_var => W,term_ptr => _A),
  323.                  gauss_wup(lhs_var => Y,term_ptr => _C),
  324.                  gauss_wup(lhs_var => X,term_ptr => _B)]).
  325.  
  326. ------3> 
  327. *** No
  328. Q = q(@~), 
  329. U = vr(10,val => _A: [1 * W|_B: [1 * Z,-8]],wlist => []), 
  330. W = vr(11,val => none,wlist => [gauss_wup(lhs_var => U,term_ptr => _A)]), 
  331. X = vr(12,val => _C: [1.25 * Z,0],wlist => []), 
  332. Y = vr(13,val => _D: [-0.25 * Z,0],wlist => []), 
  333. Z = vr(14,
  334.        val => none,
  335.        wlist => [gauss_wup(lhs_var => U,term_ptr => _B),
  336.                  gauss_wup(lhs_var => Y,term_ptr => _D),
  337.                  gauss_wup(lhs_var => X,term_ptr => _C)]).
  338.  
  339. ----2> 
  340. *** No
  341. U = vr(10,val => none,wlist => []), 
  342. W = vr(11,val => none,wlist => []), 
  343. X = vr(12,val => none,wlist => []), 
  344. Y = vr(13,val => none,wlist => []), 
  345. Z = vr(14,val => none,wlist => []).
  346.  
  347. --1> 
  348. *** No
  349. > 
  350. *** Yes
  351. U = vr(15,val => none,wlist => []), 
  352. W = vr(16,val => none,wlist => []), 
  353. X = vr(17,val => none,wlist => []), 
  354. Y = vr(18,val => none,wlist => []), 
  355. Z = vr(19,val => none,wlist => []).
  356.  
  357. --1> ===} begin         0
  358. ===} no_minus      0
  359. ===} dist          0
  360. ===} add_ac        0
  361. ===} red_mult      0
  362. ==} expand         0
  363. ==} reduce         0
  364. ====} do_subst     0
  365. ====} wake_up      0
  366. ===} inst_var      0
  367. ==} solve          0
  368. ===} begin         0
  369. ===} no_minus      0
  370. ===} dist          0
  371. ===} add_ac        0
  372. ===} red_mult      0
  373. ==} expand         0
  374. ==} reduce         0
  375. ====} do_subst     0
  376. ====} wake_up      0
  377. ===} inst_var      0
  378. ==} solve          0
  379. ===} begin         0
  380. ===} no_minus      0
  381. ===} dist          0
  382. ===} add_ac        0
  383. ===} red_mult      0
  384. ==} expand         0
  385. ==} reduce         0
  386. ====} do_subst     0
  387. ====} wake_up      0
  388. ===} inst_var      0
  389. ==} solve          0
  390.  
  391. *** Yes
  392. Q = q(@~), 
  393. U = vr(15,val => _A: [1 * W|_B: [1 * Z,-8]],wlist => []), 
  394. W = vr(16,val => none,wlist => [gauss_wup(lhs_var => U,term_ptr => _A)]), 
  395. X = vr(17,val => _C: [1.25 * Z,0],wlist => []), 
  396. Y = vr(18,val => _D: [-0.25 * Z,0],wlist => []), 
  397. Z = vr(19,
  398.        val => none,
  399.        wlist => [gauss_wup(lhs_var => U,term_ptr => _B),
  400.                  gauss_wup(lhs_var => Y,term_ptr => _D),
  401.                  gauss_wup(lhs_var => X,term_ptr => _C)]).
  402.  
  403. ----2> ===} begin         0
  404. ===} no_minus      0
  405. ===} dist          0
  406. ===} add_ac        0
  407. ===} red_mult      0
  408. ==} expand         0
  409. ==} reduce         0
  410. ===} slist_merge   0
  411. ====} do_subst     0
  412. ====} wake_up      0
  413. ===} inst_var      0
  414. ==} solve          0
  415.  
  416. *** Yes
  417. Q = q(@~), 
  418. U = vr(15,val => _A: [1 * W,-9.6],wlist => []), 
  419. W = vr(16,val => none,wlist => [gauss_wup(lhs_var => U,term_ptr => _A)]), 
  420. X = vr(17,val => [-2],wlist => []), 
  421. Y = vr(18,val => [0.4],wlist => []), 
  422. Z = vr(19,val => [-1.6],wlist => []).
  423.  
  424. ------3> 
  425. *** No
  426. Q = q(@~), 
  427. U = vr(15,val => _A: [1 * W|_B: [1 * Z,-8]],wlist => []), 
  428. W = vr(16,val => none,wlist => [gauss_wup(lhs_var => U,term_ptr => _A)]), 
  429. X = vr(17,val => _C: [1.25 * Z,0],wlist => []), 
  430. Y = vr(18,val => _D: [-0.25 * Z,0],wlist => []), 
  431. Z = vr(19,
  432.        val => none,
  433.        wlist => [gauss_wup(lhs_var => U,term_ptr => _B),
  434.                  gauss_wup(lhs_var => Y,term_ptr => _D),
  435.                  gauss_wup(lhs_var => X,term_ptr => _C)]).
  436.  
  437. ----2> 
  438. *** No
  439. U = vr(15,val => none,wlist => []), 
  440. W = vr(16,val => none,wlist => []), 
  441. X = vr(17,val => none,wlist => []), 
  442. Y = vr(18,val => none,wlist => []), 
  443. Z = vr(19,val => none,wlist => []).
  444.  
  445. --1> 
  446. *** No
  447. > 
  448.