Maps (Thm 3.7)
| > | # general maps
subs(Theta(t)=Theta[0],subs( seq(((D@@i)(Theta))(t)=Theta[i],i=1..20),convert(bigODEmaps,D))); |
![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_91.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_92.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_93.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_94.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_95.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_96.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_97.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_98.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_99.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_100.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_101.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_102.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_103.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_104.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_105.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_106.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_107.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_108.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_109.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_110.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_111.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_112.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_113.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_114.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_115.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_116.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_117.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_118.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_119.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_120.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_121.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_122.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_123.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_124.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_125.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_126.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_127.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_128.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_129.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_130.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_131.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_132.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_133.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_134.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_135.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_136.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_137.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_138.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_139.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_140.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_141.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_142.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_143.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_144.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_145.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_146.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_147.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_148.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_149.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_150.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_151.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_152.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_153.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_154.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_155.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_156.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_157.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_158.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_159.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_160.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_161.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_162.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_163.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_164.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_165.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_166.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_167.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_168.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_169.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_170.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_171.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_172.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_173.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_174.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_175.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_176.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_177.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_178.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_179.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_180.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_181.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_182.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_183.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_184.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_185.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_186.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_187.gif){kind=small} ![`+`(`-`(`*`(`/`(896, 45), `*`(Theta[6], `*`(Theta[3], `*`(`^`(t, 20)))))), `-`(`*`(`/`(1792, 45), `*`(`^`(Theta[1], 2), `*`(Theta[6], `*`(`^`(t, 19)))))), `-`(`*`(`/`(1792, 45), `*`(Theta[1], `*`(Thet...](images/countingMaps-nonoriented_188.gif){kind=small} |
(5.1.1) |
Maps (Thm 3.7)
| > | # general maps
subs(Theta(t)=Theta[0],subs( seq(((D@@i)(Theta))(t)=Theta[i],i=1..20),convert(bigODEmaps,D))); |
|
(5.1.1) |