Annotation of OpenXM/src/math-misc/twistedLogCohomology-ja.tex, Revision 1.1
1.1 ! nisitani 1: (J\documentclass{jarticle}(B
! 2:
! 3: (J\begin{document}(B
! 4: (J\begin{center}(B
! 5: (J{\bf twistedLogCohomology(List,List) -- 2$@JQ?tB?9`<0$KIU?o$9$k(J twisted logarithmic cohomology $@72$r7W;;(J}(B
! 6: (J\end{center}(B
! 7: (J\begin{flushleft}(B
! 8:
! 9: (J{\bf $@35MW(J}(B
! 10:
! 11: (J\begin{itemize}(B
! 12: (J\item $@;HMQJ}K!(J: twistedLogCohomology(F,A)(B
! 13: (J\item $@4X?tL>(J: twistedLogCohomology(B
! 14: (J\item $@F~NO(J:(B
! 15: (J \begin{itemize}(B
! 16: (J\item F, 2$@JQ?tB?9`<0$N%j%9%H(B
! 17: (J\item A, $@M-M}?t$N%j%9%H(B
! 18: (J \end{itemize}(B
! 19: (J\item $@=PNO(J:(B
! 20: (J \begin{itemize}(B
! 21: (J\item $@%O%C%7%e%F!<%V%k(J. $@<!$N$b$N$rMWAG$H$7$F4^$`(J: $\{$ Bfunction, CohomologyGroups, LogBasis, OmegaRes, PreCycles, VResolution $\}$(B
! 22: (J \end{itemize}(B
! 23: (J\end{itemize}(B
! 24:
! 25: (J{\bf $@@bL@(J}(B
! 26:
! 27: (JTwisted logarithmic cohomology $@72$N4pDl$O%O%C%7%e%F!<%V%k(J LogBasis $@$K4^$^$l$k(J. (B
! 28: (J$H^1$ $@$H(J $H^2$ $@$N4pDl$OJ,;R$N$_=PNO$5$l$k(J. (B
! 29: $@0J2<$NNc$G$O(J $H^1$ $@$N4pDl$O(J (B
! 30: (J$\{ \frac{y^2dx-xydy}{x(x+y)}, \frac{2x^2dx+2xydx}{x(x+y)} \}$, (B
! 31: (J$H^2$ $@$N4pDl$O(J $\{ \frac{ydxdy}{x(x+y)} \}$ $@$G$"$k(J. (B
! 32:
! 33: (J{\footnotesize (B
! 34: (J\begin{verbatim}(B
! 35: (Ji1 : loadPackage "Dmodules";(B
! 36:
! 37: (Ji2 : load "twistedLogCohomology.m2";(B
! 38:
! 39: (Ji3 : R = QQ[x,y];(B
! 40:
! 41: (Ji4 : twistedLogCohomology({x,x+y},{-1,0})(B
! 42: (JWarning: not a generic weight vector. Could be difficult...(B
! 43:
! 44: (Jo5 = HashTable{BFunction => (s - 1) }(B
! 45: (J 1(B
! 46: (J CohomologyGroups => HashTable{0 => QQ }(B
! 47: (J 2(B
! 48: (J 1 => QQ(B
! 49: (J 1(B
! 50: (J 2 => QQ(B
! 51: (J LogBasis => HashTable{0 => | x | }(B
! 52: (J 1 => | y2dx-xydy 2x2dx+2xydx |(B
! 53: (J 2 => | ydxdy |(B
! 54: (J 1 2 1(B
! 55: (J OmegaRes => (QQ[x, y, dx, dy]) <-- (QQ[x, y, dx, dy]) <-- (QQ[x, y, dx, dy]) <-- 0(B
! 56: (J (B
! 57: (J 0 1 2 3(B
! 58: (J PreCycles => HashTable{0 => | -x2-xy |}(B
! 59: (J | -x |(B
! 60: (J 1 => | 0 -2x |(B
! 61: (J | -y 0 |(B
! 62: (J | 0 0 |(B
! 63: (J 2 => | y |(B
! 64: (J 1 3 2(B
! 65: (J VResolution => (QQ[x, y, dx, dy]) <-- (QQ[x, y, dx, dy]) <-- (QQ[x, y, dx, dy]) <-- 0(B
! 66: (J (B
! 67: (J 0 1 2 3(B
! 68:
! 69: (Jo5 : HashTable(B
! 70:
! 71: (J\end{verbatim}(B
! 72: (J}(B
! 73:
! 74: (J\end{flushleft}(B
! 75: (J\end{document}(B
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>