ySEOeLXgzFcYκuΓT¨wv2-2-AwpκΜθ`,N01Μθ`:N01=R(4),N02,nΜθ`:ΝnΈN;N02,n=N01~{1,EEE,n}~{3},N04,nΜθ`:ΝnΈN;N04,n=N02,nΎN3,N22Μθ`:N22=N01~2~{3},N24Μθ`:N24=N22ΎN3,N03Μθ`:N03=4~4,F01Μθ`:F01=[N01¨{0,1}],F02,nΜθ`:ΝnΈN;F02,n=[N02,n¨{0,1}],F04,nΜθ`:ΝnΈN;F04,n={f|fΈR(N04,n)and
f(N02,n)ΈF02,n},F22Μθ`:F22={f|fΈR(N22)and ΝΜΈN01;f(Μ,1,3)0},F24Μθ`:F24={f|fΈR(N24)and
f(N22)ΈF22},F03Μθ`:F03={f|fΈR(N03)and Ν(i,j)ΈN03;f(i,j)=-f(j,i)},e22Μθ`:ΝfΈF22;ΝEΈF3;e22(f,E)Μ[Ξf'ΈF12;y1zandy2z]y1zf=V12(f')y2ze12(f',E),e24Μθ`:ΝfΈF24;e24(f)Μ[Ξf'ΈF14;y1zandy2z]y1zf=V14(f')y2ze14(f'),e25Μθ`:ΝfΈF24;e25(f)Μ[Ξf'ΈF14;y1zandy2z]y1zf=V14(f')y2ze15(f')
|