testall.w32 6.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273
  1. mkdir log
  2. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=algint -Dloadup=algint -- log\algint.log
  3. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=applysym -Dloadup=applysym -- log\applysym.log
  4. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=arnum -Dloadup=arnum -- log\arnum.log
  5. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=assist -Dloadup=assist -- log\assist.log
  6. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=avector -Dloadup=avector -- log\avector.log
  7. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=boolean -Dloadup=boolean -- log\boolean.log
  8. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=cali -Dloadup=cali -- log\cali.log
  9. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=camal -Dloadup=camal -- log\camal.log
  10. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=changevr -Dloadup=changevr -- log\changevr.log
  11. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=compact -Dloadup=compact -- log\compact.log
  12. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=complex -- log\complex.log
  13. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=crack -Dloadup=crack -- log\crack.log
  14. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=cvit -Dloadup=cvit -- log\cvit.log
  15. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=decompos -- log\decompos.log
  16. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=defint -Dloadup=defint -- log\defint.log
  17. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=desir -Dloadup=desir -- log\desir.log
  18. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=dfpart -Dloadup=dfpart -- log\dfpart.log
  19. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=dummy -Dloadup=dummy -- log\dummy.log
  20. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=elem -- log\elem.log
  21. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=excalc -Dloadup=excalc -- log\excalc.log
  22. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=factor -- log\factor.log
  23. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=fide -Dloadup=fide -- log\fide.log
  24. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=fps -Dloadup=fps -- log\fps.log
  25. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=gcd -- log\gcd.log
  26. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=gentran -Dloadup=gentran -- log\gentran.log
  27. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=groebner -Dloadup=groebner -- log\groebner.log
  28. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=ideals -Dloadup=ideals -- log\ideals.log
  29. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=ineq -Dloadup=ineq -- log\ineq.log
  30. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=int -- log\int.log
  31. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=invbase -Dloadup=invbase -- log\invbase.log
  32. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=laplace -Dloadup=laplace -- log\laplace.log
  33. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=lie -Dloadup=lie -- log\lie.log
  34. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=limits -- log\limits.log
  35. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=linalg -Dloadup=linalg -- log\linalg.log
  36. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=math -- log\math.log
  37. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=matrix -- log\matrix.log
  38. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=modsr -Dloadup=modsr -- log\modsr.log
  39. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=ncpoly -Dloadup=ncpoly -- log\ncpoly.log
  40. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=normform -Dloadup=normform -- log\normform.log
  41. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=numeric -Dloadup=numeric -- log\numeric.log
  42. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=odesolve -Dloadup=odesolve -- log\odesolve.log
  43. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=orthovec -Dloadup=orthovec -- log\orthovec.log
  44. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=pf -- log\pf.log
  45. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=physop -Dloadup=physop -- log\physop.log
  46. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=pmrules -Dloadup=pmrules -- log\pmrules.log
  47. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=randpoly -Dloadup=randpoly -- log\randpoly.log
  48. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=reacteqn -Dloadup=reacteqn -- log\reacteqn.log
  49. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=reduce -- log\reduce.log
  50. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=residue -Dloadup=residue -- log\residue.log
  51. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=rlfi -Dloadup=rlfi -- log\rlfi.log
  52. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=rlisp88 -- log\rlisp88.log
  53. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=roots -- log\roots.log
  54. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=rounded -- log\rounded.log
  55. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=rsolve -Dloadup=rsolve -- log\rsolve.log
  56. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=scope -Dloadup=scope -- log\scope.log
  57. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=sets -Dloadup=sets -- log\sets.log
  58. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=solve -- log\solve.log
  59. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=spde -Dloadup=spde -- log\spde.log
  60. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=specfn -Dloadup=specfn -- log\specfn.log
  61. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=sum -- log\sum.log
  62. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=symmetry -Dloadup=symmetry -- log\symmetry.log
  63. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=taylor -Dloadup=taylor -- log\taylor.log
  64. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=tps -Dloadup=tps -- log\tps.log
  65. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=tri -Dloadup=tri -- log\tri.log
  66. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=trigsimp -Dloadup=trigsimp -- log\trigsimp.log
  67. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=wu -Dloadup=wu -- log\wu.log
  68. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=xcolor -Dloadup=xcolor -- log\xcolor.log
  69. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=xideal -Dloadup=xideal -- log\xideal.log
  70. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=zeilberg -Dloadup=zeilberg -- log\zeilberg.log
  71. start /w r36 -k8000 -b ..\cslsrc\ndotest.red -Dname=ztrans -Dloadup=ztrans -- log\ztrans.log
  72. echo all tests done