tests for changes in sheafcoh.lib

Tst/BuchDL/Ex_App.res.gz.uu

@@ -1,36 +1,37 @@
 begin 640 Ex_App.res.gz
-M'XL("'T8:D@``T5X7T%P<"YR97,`S5G?3^-&$'[GKUBA/MB<8W;7ZU^'B'2T
-MQS52KP^E;X@B0TQBX=A1[!34JO][9V)[=YTXP2:HJD&+L6>^F=V9W?DRN?G]
-MI\FOA!`V)K],KLAI691VFCR<7IS<U&_XF,##^R1+2L.\.,&_9#PF7U_OORR7
-M=A:_V$49E5+<&1-Y+VQR?G[9?0%`M%BF,?EB<[)'!B\)YG:`21!A,X<8CWE6
-M)MDZGII[$"689Y-5DLW(#;DD#J?4L<BK06U;F!:9+M7D_3%9Y-,U6/@^N5Q$
-MK\DTCE*#F4HB&).H+%?)@_%]8ITFQ<_Y(I^=6DE6_AD_&B-FFA=$K4@X)JNX
-MR--UF>09><X+L)_!$U2F"I51L!L!ZBN)TN4\HB"VBK)IOC#06VXQ:CF:.)-N
-M+@$,A*O_C$K9_`2&;IT[)<^ETRB_ZS:S=GY,S9S3FL738_X<K[(X1;LXEPVF
-M/ALAW9LF*Y`J82[%,B_BC:@FZ(Y)Y0%Y`;$1L^I??N!7:7MR5F!&F]2+9L%O
-MNU[YL_$:=;@F"8%-GHB1Y:4QC9^2+)X:3RG@QYEIFG]7NZ6*4;5AR#]2-;3)
-M)E'(!,!GJSQ^R.)5HVV@T5M^IRTHIRVOKB>-3ZVDX$QM+<[MRH-B'D<0@'E[
-MTW)'KO@U8%U/P)YZ">&`&9$K>+-1_S&?&]>XF!X8(]4UXC@PO*4X;.[P&7%P
-M$#BX.'@GHZ$7V!"?-T;Z#J#A?);&>VKPP398EP8[I$$/V_!QT7"9/(J[-'S'
-M6CW.$[0Q<F0H:#LR.S::,,-F.C\?C8F\!L2TP?#L!F.XYPV&;RL_AL:]P0@T
-MC*&9T&"$&L;0W*@Q'*IA#,V6!H-I&$/SI\'@Q\?%<23&NW/,@0HO[UWM'O+F
-M.4E3<F-=62_RY''\\>$:+@;4<`=R8ON`GA;KQ5NGLX,UN$?M%W1?K=9X@'X^
-M"R:+-@B[((UEUU4'K^!2H%S.DU8A1,\-5+-PT&J#<'14IT;5BKD04F!9(&@#
-MY2"4QA*$*P4?XC)BVYR"4[W^"4\YNQ$ODW0:MXMWD9QM7FE:?EL+B4N:/)4&
-M3MC2@#25CD+[];6\_TT%<@YU/,UGVY$4857(OA),(M``WH*+(^X`_?P<R,8B
-MS@H,7OZ$`G_@CAVQDT;?I?*$/"#=",.V57$0=1R$BH.K11<EENFZJ"5WPRS0
-M4:&%V55A+F?18A$MDJPK0MI:NV)+!1>[9?I,02DME06EY):PZ1XC"-(F9%:-
-MIEE2N?!7O,IO.;V[9=K,M:!7*=C*$0TGT`1A)\TTTR!H(;@F':K$;K%:A5[/
-MP#3ER>/!";U]?>I0W)C7UM]C/3FJ!V&N)):K=18C;=1>0A0Q66?58R#^,G\\
-M(9--/8,CL^:[TWAV7\%V45C-PCZ26P.,.)JM+DCJ(BX1>A7'A4383X'5C/23
-MP,,-.H3.>F$?.NM316=]MGN6-]14'0-MKJO.`9\?8+N^T\EVJ14HLOL6'6I*
-M(`G^4[([1$,C-+R?1B=]V:][D.SBTC%<*^'CAU<7/P.]9ZUJ(E+%@S=W&]ZZ
-MQT839;%-=@?$M,%PCR=5OG<\V?7]';(['"/H)KN]<J/!"-\BNP>RI<8(:"^R
-M>S"V`3L^+@'?)KO#<RQP%,$--.(;N!K9K8]A>?P$7@?E[>B!N7UZ8('_@3VP
-M(.C7`PO"MWI@(1W2`PM9OQY8R`?UP$)G6`\L%$?UP$)W6`\L]'KRB]`_I@<6
-M!F_WP,*P9P^,4?K>'ABC;!AI8)3W(`V,JO8RHV(_:;CZ]NU-W@#[>S]O8-3;
-MY0V`^C]KE)UM#9([G/55D]SAK*^:Y`Y;QO>V/LXD=]AV5XI\7*.LTP;M7*LF
-MTO[1C3)&M7H[W/4&).Q/'O9-AM$=\M`_%1H,MD,>^B='@\%WR$/_=&DPG!WR
-KT#^!&@SQ`8%A[@Y[&)QES).,@3&HX_B=&GYQMBZPE/YP\B\USQ81B1L`````
+M'XL("+*&'F4"`T5X7T%P<"YR97,`Q5G?;Z-&$'[/7[&*^H!]&.\NRZ\[Q=*E
+MO5PM]?K0]"U*(Q)C!P6#9?`E;=7_O3,8EL5@&QRK)=&&P,PWLSNS.Y_'M[__
+M-/V5$,(FY)?I-;G,TLR(PL?+3Q>WQ1L^(?#P(8S#3!M\NL"_9#(A7]X>/J]6
+M1AR\&FGF9U+<G!!Y+PPR'E^U7P#@+U=10#X;G%SMOR28U0(F083!3*(])7$6
+MQIM@-B!'P&R#K,-X06[)%3$YI:9.WC1J&&*@D]FJFKPS(<MDM@$+WZ972_\M
+MG`5^I+%!)>%.B)]EZ_!1^S;5+\/TYV29+"[U,,Z^!T_:B`T466]"UD&:1)LL
+M3&+RDJ1@/88GJ$HK.4;!J@^8;\2/5L\^!;&U'\^2I8:^<IU1W53$F71R!6`@
+MO/U/VRH//H"A._.^DN?2991O.LWTQH\R"V;69C%_2EZ"=1Q$:!?GDF.JLQ'2
+MO5FX!JD,YI*NDC3(115!:T*V'I!7$!LQO?CE!WXK;5O."LPHDWI5+#AUU[?^
+MY%ZC#E<D(:SAG&AQDFFS8![&P4R;1X`?Q(/!X._M7MG&:+M=R#]2U3-(GB9D
+M"N"+=1(\QL&ZU-;0Z!V_5Q:4TYI7-]/2IUI2<%9M+,Z-K0?I<^!#`)[K6Y:;
+M<L5O`.MF"O:JER)?9?"=7,/+'.''Y%F[P?6T%7L0C5F8KB+_3W@-J7>="^CQ
+M=W^=:K>#$6X"LKU&'`>&MQ2'_`Z?$1,'@8.%@WTQZGN!#?$Q-])U``WSHS3>
+M48/WML':--@A#7K8AH.+ALMD4]S4W@EK]?0<HHV1*4-!ZY%IV"BC#;MG/!Y-
+MB+QZQ+3$<(P2H[_G)89K5'[TC7N)X2D8?3.AP#"I@L%/\\-D"D;?;"DQN(+1
+M-W]*#//]<3&%Q#@YQTRHX/+>5NXA;U["*"*W^K7^*@\@TYT<+OBB1\$W\5#>
+M.<]GZ69Y[#`7>#9W(`J"[2OM"FE0CW/!98T'80NDL4I;U3DM3"F0K9[#6MU$
+MSS54TW%02HD0*JI9H"JU7UA28)4B:`EE(I1"*H0M!1^#S&>[%(13M5P*IW(V
+M%\_":!;4:WT:#O-7BI9;UT*>$X7S3,,)ZPJ0HN(UZ_*7M^SAMRJ04*N2*%GL
+M1M*"2((&^4(PB4`#:`XNCK@']/$8:MTRB%,,7C)'@3]PQX[8A=1G\H0\(%T*
+MP[:MXB"*.(@J#I82791819NTD&R&6:"C0@FS584Y6_C+I;\,X[8(*6MM63LJ
+MN-@UT\,*JM*JLB"35!0VW9,/0<I#IA=HBJ4J%_X*ULD=I_=W3)FY$O1M"M9R
+M1,'Q%$'820O%-`CJ"%Y)VQ5GKI/@"KV8P6`@=>"`WKT^M.CEUI7EMWE'1FN;
+MDT)BM=[$`9),Y24$$7-U43R6R6-;,M.J9W!>%MQX%BP>MJ!M=%?!=_80X@)@
+M!/NWG#5D=!ID"+T.@E0BN'OI<C4?]1BP<7?VH;Y.)^KK*-37X<V#O.2PU1E0
+MY\75(>`<8L;.7F9,=5?QIDF,X7W!BQ_]-,!Z4:/'QPA4632)^Y_2X]%I])B_
+M@Q[ST^@Q+AW#M1(.?CJV\$.6>SH]WL:#2^K"]]LH8]Z@QSUB6F*<@1X[9Z#'
+M3I,>]\9P]]!CW@?C*#WFQS&ZT>.#L77/0(_=!CWNGV.N0H]=A1Z[*CTNSFYY
+M&+EM)+FEQ69U:;&YWAE;;![MUF+SV+$6F\>[M]@\LUN+S1.]6FR>U:_%YMGO
+M:K%Y3K\6F^=V)"2>]XX6&Z/T:(N-4=:QQ<8H/[7%QJC9CV<P*CKP#-B0DF<P
+M:N_G&==?OQZE&HPZ^ZD&HVXKU0#@W3X<H]ZA/EPKW_A_VW'#G4'RC6%7-<DW
+MAEW5)-_8,;ZWP3*4?&/8,IRY'==J@[:N51%T_`;@G>TXQI3Z>FIA8XQW)QQ[
+M)V,V"$?W5"@Q1(-P=$^.$L-J$([NZ5)BV`W"T3V!2@SG'(%Q&XRC?Y9YDF4P
+8#N4:O^;#[_(V*9;?'R[^!9)#;38<'```
 `
 end

Tst/BuchDL/Ex_App.stat

@@ -1,4 +1,4 @@
-1 >> tst_memory_0 :: 1214912637:3043-2008062714:3-0-4:ix86-Linux:nepomuck:1729964 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:1289880
-1 >> tst_memory_1 :: 1214912637:3043-2008062714:3-0-4:ix86-Linux:nepomuck:5136708 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:2969600
-1 >> tst_memory_2 :: 1214912637:3043-2008062714:3-0-4:ix86-Linux:nepomuck:26353988 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:26716568
-1 >> tst_timer_1 :: 1214912637:3043-2008062714:3-0-4:ix86-Linux:nepomuck:17459 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:7946
+1 >> tst_memory_0 :: 1696499378:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:2425380
+1 >> tst_memory_1 :: 1696499378:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:45178880
+1 >> tst_memory_2 :: 1696499378:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:45699072
+1 >> tst_timer_1 :: 1696499378:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:862

Tst/BuchDL/Ex_App.tst

@@ -21,7 +21,8 @@ resolution FI = mres(I,0);
 
 LIB "sheafcoh.lib";
 module F = FI[2];
-def B = sheafCoh(F,-2,6);
+intmat B = sheafCoh(F,-2,6);
+displayCohom(B,-2,6,nvars(S)-1);
 //->          -2   -1    0    1    2    3    4    5    6
 //->   -------------------------------------------------
 //->     4:    -    -    -    -    -    -    -    -    -
@@ -70,7 +71,8 @@ resolution FI = mres(I,0);
 
 if (not(defined(sheafCoh))){ LIB "sheafcoh.lib"; }
 module F = FI[2];
-def B = sheafCoh(F,0,8);
+intmat B = sheafCoh(F,0,8);
+displayCohom(B,0,8,nvars(basering)-1);
 //->           0    1    2    3    4    5    6    7    8
 //->   -------------------------------------------------
 //->     4:    -    -    -    -    -    -    -    -    -
@@ -103,7 +105,8 @@ resolution FI = mres(I,0);
 
 if (not(defined(sheafCohBGG))){ LIB "sheafcoh.lib"; }
 module F = FI[2];
-def B = sheafCohBGG(F,-2,6);
+intmat B = sheafCohBGG(F,-2,6);
+displayCohom(B,-2,6,nvars(basering)-1);
 //->          -2   -1    0    1    2    3    4    5    6
 //->    -------------------------------------------------
 //->     4:    -    -    -    -    -    *    *    *    *

Tst/Long/sheafcoh_l.res.gz.uu

@@ -1,70 +1,69 @@
 begin 640 sheafcoh_l.res.gz
-M'XL("%\8"TX``W-H96%F8V]H7VPN<F5S`.U<;6_CN!'^OK^""/:#G9-U(JDW
-M9Q$#ERMR&[0I#MVB_9#N+KRQD@CKV(9E7W/]]>50$CFB2%ER$K0X)-EE'(M\
-M-//,"V<D.9_^_J>KOQ)"Z(S\Y>J"G.R*G;_,OYU\>/>I.L)F1+SY-5_EN]'X
-MPSOX268S4CQD\[O;]</7I;_*_NT7N_E.+>$SHEZ'?@E<SS?0(S0U]LF//Y(_
-MKQ_6C^OE^C[/R"+;DD^[[?[[;K^]GV^_9>2W]8K\^B4Y4XL26#3I^:56I3[9
-MYJM[LCT/O*<1]?UT["TV6JSIC#RN%_ME1J[/`_4V#69"I#ORT[G4YN?UPRCP
-M)C3P(D$,D5_B-QBG,*0P)##$,$0PA#!P&)B<#6M@!9&OX#T"1PG,(]&[OHH-
-M^1*2)F=P'I"*I.KDD^<,`C0^>S9*&S1Z#=#P-4#Y:X"RUP"EKP$:'`DJ70^<
-M$-R1,A$+G(LAF;+7<?[;A_P,0E"&I(Q0'8/=0X>D=7Z@97ZX4/GAXI=?JA3!
-M7S1%O"`W0]+!:?>@DL!I3^-W0D5GS?>.Q5,!?_IL/!7FMA,-PU/![>2@-YX*
-MZ6[S],%3@7S`TI:U9GB\I(N60=M+JD,N6H>J*&L6>;%9SG__&0J.T4_E1NXE
-M;UOYVU;^MI4?L_8/M95S(S]<E+OX"^>'MWV\/][;/OZVCVNNZC@-9^1[OER2
-MK>[2T34%:K^F<+7(YLOR@@+\^H]LNUYE148NE_/L]B$C^8J\_]>O7_A[=9V!
-M#KK.8%6^1DI]4EY\^$3."6=!P#WR-`I\/QQ[!%V$H-,945<AKLX?YT\YB#VB
-M8S6%!6+*?+?;YM]&UU?>25Y\%'K>GWCY:O=;=CN:T/'X`U%L,-&?D&U6K)?[
-M7;Y>D>_K0HBP$N_`Z@#ABNJ(;(20N]&W;+?+1V+FV#N1KT]4`I1?,J.53E/F
-MM++H*:N>064/H$[*`*CP(ODRT&/Y#J%#4'?KW7S9#U6ISX'YN:#UB<R7FX=Y
-M(&C:SE<+L0^`P9A7-73U_%!;:B/8%+/+WT;EZO$/@K\;_EDOB+3=8$';<M1K
-M?8_1">.F(>]NU]^S[2I;PIG!G!(4&S0Q#*I6]#?K`=+EZLI\R6"383/95BM%
-M4DWU(M\*?7?",,5F7612::3R5',L9MJ"PZO^L>I?O90'/NG\4BO0/V0>;L39
-M72FIM`R(PM!4,])@;A^;./F4851N216'22DSCJ\)'N4Y@O8!M\V0M1KGT';B
-M$$(R7Y$KH?K]=IU]6V7;T=U2F"1;235OV&=,6M@D[?*JIJR1FGAD$'9Y-30S
-M]<H>F!3:Y@PQ9Z.T-8GA2</#HQTDU(FDF(IUJ%R>7UX)NC6+D`_09>Q+;Q)[
-ML>;OZ#87AOAE2@95[T7J;,]HYR)`D;4QHXHS/@#E!?JW(0V;6]_C.C3P%`8<
-MQ`%<J)R^D(VJ'BP*P$DB<!)*ZLY(LJN:+N0Y+5EJKX3DWKQX^L=QS,X>9)AC
-M=K<?@]RBN_,8Y)C=3<?_QC&MLK@=T]5E<*@EZE]"J`X6^>/'$?>$>X:BPG['
-MJ#H*>[\\2L51J-7U(:8;DY`+$-FX?%)).0S1\>A0XY+E8C\U.Y90=RQA_%(=
-M2YCT[%C"U-E?H.X%[^8A$*M;#$&6%T%Q+2_%4L5&%.B"7,R+!"I4U)'>T"*J
-M9^PV#WFC,%P4^T?`CSP84,T1L08NKW!1I1ZA5F!3`&P-Q@$,-0%1J&<*C>;4
-M[!E8@`N_*$("R_F[?+G(F@5MD9_*0VA9;"R#UF29W^U&H+6'D-":I*%E6&D9
-M(BU3A`I3-LM]44UMTQB"YB&F<8J6W\\?'^>/^<JF/U(D#LPUH$GCY*<:2R_#
-M=E:]V>UZ=3L7%$A"O`H.G0N9^3^BU[]AP><;JM6/.7:>(C>-@)!"/%,X]CTZ
-MNYCI`3R:CHS<;`PU?J7%>*P6Q?;NXP?+6BD"LD2<]&V/XE3F*9BRV>Y7&30F
-MZ"A8%%+/??F^R'XJC25@N;*'$CGI_FL)8NNT-%Y"7<U8A2#ZIP^UHB+O%=D.
-ML+=95B@(YFZJM`8XQ!+^BKT5PQ<0++T5U0=LO96[=6BW"P.ZL4HJ6JU03(1#
-MN[$DZM6-);'>LA+8)AS]1B*]#1Z=H8VF(T2U'11TL#5#.2?WY*"B$4HYV+*A
-MD).%PN`2H:[8)GW_5\79E)>-`X,B97I@`7.=@3D6T$,B,6-!T$<'"E=`8=,>
-MSI*LF29"Z8E0>@)*R[L;025*4)7:^@RU=2%;&);E7NR=%,)A=*"]@G$'&;8R
-MZO,,>I0Q!QOR."-6!AQFO#2H0Y.9G=?_672>UO_KUNFTAS'K!>P,(1PRJ&J(
-M3AV+G$8]/;#HN='9/H-I8,U2;6"J<W3*?+/K2-'3FFEHZ3H*<KW>;M>WWXO)
-M]?[Q;KU=3"[VV6J1+0LRNI[?SO?+^>^3BRPO-GFVE$]H_G.]O-O.'\>J&4G+
-M=F:HSIU\U-"B7%*OD^JYSK_)YSK+#@4U*&F*=)WZ=6EV^?'ZADX_W_#HL]CE
-MZ@E3Z/,F3R,FFIS`DS'P!.T+_`C5>W@T?J"?"I/ZYE'G&N)X84%EO@$C1`S&
-MWB"X2BL,RWU\E(]K$MC8:T"I!:$VQ33R&]Q4`K5):PG.K8(CL6*+MK2GMI62
-M5MS$Q!UDC(;X)4D*.?4[(#1E4T4?#0)?$<>[B.OG14I+&E!3R^'*(@]0L-H%
-M:V/T`#3=5+,8CC4TM[&G'$5-$\ZG?S&\3\4O*^.7XYA&_'81)]S.=#2E<=!7
-M8X27^"KFGFV1AK_1('5ZLN6%)@WY'Q7^IQ*"R>,1F8]2ZK=XZJVN,K;%\V@K
-M^?6GKVU/A<I;B1HE#PMY-$3D17X=!<>0UTJP2*Q6[CO*5^J@4[#MU-=*E!9K
-M&,AM$KOSGN8+.1X+;)'KW#U,L55$63R%41_M<N:RIDJ'?04#MUQP@#E<Y#%K
-MVFN3QY#CL4CO&F&U#S52G:YEG/29OL'B5RA9*-,>9V3@-MS$N:.T24LM88N!
-MZ@!6"Y#K<>5Z%J;<KM>*E%)>A2H3'S\N\;D)Y,ZTUZK]>OB>0K6EO0[GX\CY
-MN'7/=<;O(1*04,ZDIVI1JZU=X<H3O9/WMH2Y55NX2]N&[B8/^5YHI#U+CU&)
-M/)2]D.)(PTJWZY:#GH)Q62N;]DRC#9.U:`Q[YKT0N5Z(\A[2L)%8JO,.IB]&
-MA2VS>8!%2&=!B'#=W<;$O?>Z$K%"[;GCALCUHL!O[A/-P)5\5A(9,6514X$.
-M;W3;C:4%]AG%GC-PHX%)+T*>%W4DO?9(6G5L1YJ*XH-I:M*.8$N>4H!)*V);
-M^:HW?8V&(^K<=BT,(O>+K06?<_-0;F+AHLX]"KK5Z[JR^*#,%S/?%*8S%]B+
-MEY8;QCT37XS<+Q[F?H8;@?"G>*-IB./<=:ME'"UKJFL<1)BMI*<QP_$7YG49
-M!)#Q%`1K<[]))0G6#I&(/#`YZ($V$D%')WE)5?0UY<4$-=>Y=$:(S)?$NQ%9
-M3\06,G?N1`TVE=$U<<@3DYZ>6!O:<4:(]=/&Y9\$]1\UI2@'&;Z&K8Y<T:9V
-M@G&932A$[*02C$O<H'X;XU7E'SIY0U2YIKI\S/2LH+2HQ443Y*+I,!<U2+9H
-MGU+?$OX&OZ1!IK;_1%L)0S*?-%@R$X'!LHWF,HLW'2#E/J:\M0]10V1%-$Y*
-M0/,'S&ZJ'[:B<'="O1;N!G?#KL^KIRTN/UZK^]TT36;J\Q;M)\I#K^N;E]]C
-MA);.\&U3N.MV+3]F]EH?0H5!?CQL^.VG@3=GREMZ#*2G`0C$(R6&\U%`Y]#Y
-M["2:)V]P!O50ZGO$.08_5,D&G6/(TY;&$#45M)WWR,<P;0-8"^PF+2AMR=.7
-M_#R8U7/<#V[*6*@"0II6<U"_AZ:4!QQ/=-)T.L,WO"'N0OPW&CKO=O?]`,'A
-MN]KJZ?0#DQJ/(@QZ!"$J?452POH\>M#SXQ'U@]\5-_4=Z$BR/ZE.5Y$]#72N
-:A3N@\/>$X`\&[0OX,-O[=_\%+*#?'85(````
+M'XL("/:A'F4"`W-H96%F8V]H7VPN<F5S`-U<;6_CN!'^[E]!!/O!]DDZD10E
+M.8L8N%R1VZ!-<>@6[8=T]^#$2B*L8P>2O4W[Z\O1"S6B*%GR2P]MDE4<B7PT
+M+\\,9RQZ/__U#[=_)H30.?G3[36YV*9;9Q4_7'P<?2ZNL#F1)W^+U_%V//DX
+M@M]D/B?I2[1X>MR\_+9RUM$_G72[V*HI?$[4:\_)@<OQ&KI`0WV'_/@C^>/F
+M9?.Z66V>XX@LHX1\WB:[;]M=\KQ('B+R?;,FOWX-+M6D`";9/;_4K-`A2;Q^
+M)LF5:[V/J>.$$VOY5HDUFY/7S7*WBLC=E:M.4W<N17HB/UUEVOR\>1F[EDU=
+M2TRJ,30?<ZW&7/_R2S&,HV'2K,LX?5LM_O4S*#S^*0>R`CF&9%_R;SC.X!#"
+M(8"##P<!!P\.'`XL&PUS8`;)7L$Y`E<)C"-B9)_A2TH:7,)]0"H2JIO;QQPD
+MJ']Y-$H35)P#U#L'*#\'*#L'*#T'J'L@*"U)"'2D3,8"Y_(0S-AYR/_X$E]"
+M"/HJ0JL8[#YT2%KF!Z[EA^L\@YPX/XQ^GUPP[3ZH###MZ?E.*'%9/W<HGHKV
+MZ=%X*L:G1^.IR)X>C:?B>7HTGHKBZ6`\/39&)X_87E+MHV@9I]Z<?(M7*Y)4
+M2SNJ::BYIKE=1HM57M#`GW^+DLTZ2B-RLUI$CR\1B=?DPS]^_<H_J#J'#JIS
+MNFH?*FN?O/CY3*X(9Z[++?(^=AW'FU@$%4%4%D&J"KJ]>EV\QR#VF%95#),%
+M$5ELMTG\,+Z[M2[B])/4\_G"BM?;[]'CV*83-%A61B2)TLUJMXUE&?=MDTH!
+MUO(,S'710%D;D3<IXG;\$&VW\5B.G%@7V>L+E?Z(RF<Y9?*,EI<\><TSJ.@9
+M93GR$N&)[*5;'?,SA`Y!W6ZVBU4_5*4^![LOI%'?R6+U]K)PI9F2Q7HI5P%P
+M%[/JI23S*C^]26O*T?E?XWSVY`=IOWO^I9H@*J_!A*;?J-7XQH[TZXZ49?VW
+M*%E'*[@SN#,#Q0X--(>J&?W=.MKOOB)[D6"PR[";@B[7A)6IEW$B]=U*QZ1O
+MFS3*E$8JSRH;RY&FT+"*'U;\E%.YZY#.+S4#_2#W<"W.GG)),\^`*`P-U2,-
+MQO;QR:@SC/(%J;!A0,JZ3L67C8_9/=SFA7:?(6_5[E'YB4,(9=F*W$K5GY--
+M]+".DO'32KHD6F=JWK,OV&A>W6@WMZ7):JF)"\U@-[=#,].H;S8JC4*;-D.6
+M,YFT,8CA0<&!&:V9R[I"A?M5J-Q<W=Q*<U=6A'R`FN@;R_8M'UD9PDSOCN4(
+M:_U]D:3CAT4:P0(VL6EE\X,;8SCXHU.5P'F%*([IA,OB4(BRFF94V9G_=SN^
+M(2T>/7%/!^QB8`/?A;=59J.3=FW"!9(((`E5O12OM6F(.0U92J9"FJ^_U:.3
+MV7-U,E__'Y.YL],91N;N)F<0E;K[FT%D[FYM?A\R&V5I)W-;+^/1JG'QF`.L
+M??TTYI9DM">YR:BZR.?%12HO`F^K2Q["$!(C:XX^5]'@H^O!ON8HBN6JK7=%
+M7M45>>&INB)OUK,K$FYK%X,Z)%PS"*C'JD9&&LL24,)G;_=290W!JK)?CA,2
+M%>IV42V;`C4&V[>7N%9^+M/=*^`+"PZHLA%>#9<7N*@?$*(:\98";`G&`0RU
+M&L*O1DJ-%E3O3)B+RTL1((&S\=MXM8SJ97,:3[-+:%JH38,&:!4_;<>@M860
+MT)Q934NOT-*KM/1=A`I#WE:[M!C:-*,'FGO(C#Y%TY\7KZ^+UWAMTA\IXC-]
+M#FA2N_FTPJJF83^K#O!QLWY<2!-D!K$*.'0OY.9_1\GFGKE?[BE27V#RI+'N
+M!(3DXY&2V,_H[G*D!?!H.')RO?VL\`LM)A,U*33W.#\8YF8B8$_,^C9A0;[T
+MPI"W9+>.H/U!5\&CD'J>B_,JB07@M[Q/DQGI^;<<PM3-(33>UO`5"+)'^UBJ
+M*;->&FT!.XFB5$%X[8U;)3\.L$"<L7]C^$T*0_]&N_NW]O:DV9(,Z/@*J:C6
+M;@3^T(XO"'IU?$%8+5@!+!(M/4V8<0T>#M):8^/A6C"DC<:&9D,ZBD&H`&$M
+MA_HO6\3=PO:LJ*"\HD8;7O>5)9[=]U]1S<UXWITPJ&IF>R:PMCNPE@ETGTA,
+MF^#VT8'"&[-0<XP.*[)LJ;0ME;9!Z>RABUN(XA:U>76'TMN01C0Z<.GKBU2R
+M#*6.D)M8P;M9<7I&#&)#P83C6'`0`P9[_S#/%UX?Z'&O3`),[PGK>4`T/,[^
+M!_+`M/Q7=G73'@R8X@:N1-C'`M6K35LFM3)ANF?2L7F@>0>=%9652F^CGB>4
+M/8_6$H5HA0EGAI8H)7>;)-D\?DOMN]WKTR99VM>[:+V,5BD9WRT>%SM)(_LZ
+MDGR*HU6V1>;OF]53LGB=J$YIYF;`)WW^74)31\D_8\7&FK]D&VOR]@EU3S.T
+M-6CF.67=>//I[I[.OMQS\85<J>O0/MKO8R8;,-?*0N`=6BOXY:ES^*C]0K\5
+MIN_H5UOGD)87!M3`T6"DB.[$&@17:(5A0P=?Y9/2"&QB:0+,E`NHZSHUHQ22
+M-*W5D)@;)59WH2XUJ$E[JEEH9\1ESC%>J(F?6T<A<\<(H:Y[R&["41;C71;K
+MQQMT$]\YFFM-GU.W(EWIA1Z`.C$K\WG(;*');+F)U1A$.:I1SL5$+3RCSB';
+M=AB-2J[I[%+:NGVU17C,41%VM#?J)*.\E;XFSE'$.2HYI\*^BVT]\QN%_0:Z
+M?7JKJ5*`@6TT.)S$33\JU-!ISE>9`@]$;&.N4S+^$*,AY73K,>J<@AME@"G8
+M9GYK9$.#%]K6*06[)[DQ1#0F3!':NC3HXJK(,3"#^0Y:N_1I=57V<P,#!\<O
+M"TVCA7N,AHC&W6I%\(K%I9;*F%:%&/37N<#I&0H0RBN&:1FV"6>WKA8-8W'N
+M=*<+M&9PQ#:NV&8P4CO;&D&1BZI0L]S&#\MM';9KS6R-(JX'W11JZ/1:#3CB
+MFV=<1EM#M7\%XM$.%5F+BAV1Z;%J<1ZRNGCFO*9@>=/!1J-YB&N>EMD,S4$A
+MZF"K^8Y>YU;IVVV7<B]NT$B8/3,E,U8O"G=/:O,0U01*;4BS6NXH[C?4;(*B
+MNI2UM!2DL>:[;3E)X;9W"7;[<KIO/1![%E&!J":$4U\"Z@&:V;&01(L=@WH*
+M='A':AM*F`9LX)P@1^J@/9.:0$SS.Y*:82EHE*`=:<BG>].0W8Q40QY2@*P1
+MF8U\U-MLM1[!Y_TLYR.Z^6*?Y6J+@J*%P09<JT)\WS$V@(?HB6$#1Q>F,^;-
+M=4B#=OZ>Q.8CN@7#Z&;H#:9X`<&W"5I7T6(:1]/J:FH7$29KQ_0F7YG5_98*
+MK0U!L":ZV84DN79J*&)<(`XQ'NC6;K2B:*O+B0U3G[>_DP\")S-X.R+KB=A`
+M#GLT\G;E;#4/\2_LR;_2O2WW@\B>UNKK$#4.I4%1IM$8AGV-"&A0.F1.C<<&
+MH9!9[4(PGN&ZY6F,5Q1QZ.8U4;,YQ;NXK!KEYO[$0(B8H1BXB-2,:]+:=PS!
+MKMF5U(RH;*R,4`^D,'!(S3IZV&O6-9DWS]6:XT,'F[JQRE!-9&7@>G7UE7U4
+MB#/U)CR%YP+JM:08/+RZNRHV8=Q\NE//K.B,S=5'/9K;V3VKZYOGWQ.$QN?X
+MT2@\)+O+/N$6H#'>O/E8%(9T/24[Z8=FL^V4V?:]LWR"L/$$CH'TU`6!N%!B
+M#-^WV_UYLVH<*S=XY+L\Q('W&+P]DYUMWZ9V$'4%V>DV=)H.7N&WS(.9+WGH
+MGILY[5M`LU@H`D(HHC.U(U34AN076O:&TIF8XX?:$*P>^A`2G?ESTP-M?O`#
+M[=')'ERK_?1#MB@,VIH@<GYE9F1]MB3T_!!(N55=>\@L,H_9Q>U*!P0HJ<LE
+7`_[/!OA/&78I?&#OP^@_VRX@=.E!````
 `
 end

Tst/Long/sheafcoh_l.stat

@@ -1,4 +1,4 @@
-1 >> tst_memory_0 :: 1309347710:3132- 14004 :3-1-3:ix86-Linux:mamawutz:6821920
-1 >> tst_memory_1 :: 1309347710:3132- 14004 :3-1-3:ix86-Linux:mamawutz:8646656
-1 >> tst_memory_2 :: 1309347710:3132- 14004 :3-1-3:ix86-Linux:mamawutz:19980096
-1 >> tst_timer_1 :: 1309347710:3132- 14004 :3-1-3:ix86-Linux:mamawutz:10952
+1 >> tst_memory_0 :: 1696506358:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:10992252
+1 >> tst_memory_1 :: 1696506358:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:27967488
+1 >> tst_memory_2 :: 1696506358:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:38166036
+1 >> tst_timer_1 :: 1696506358:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:1167

Tst/Long/sheafcoh_l.tst

@@ -35,7 +35,9 @@ kill r;
  print(betti(FI),"betti");
  module F=FI[2];
  A=sheafCoh(F,-6,6);
+ displayCohom(A,-6,6,nvars(basering)-1);
  B=sheafCohBGG(F,-6,6);
+ displayCohom(B,-6,6,nvars(basering)-1);
 
  dimH(3,F,-4);
  dimH(1,F,1);
@@ -76,8 +78,11 @@ kill r;
 
  module F=FI[2];
  def A1=sheafCoh(F,-4,6);
+ displayCohom(A1,-4,6,nvars(basering)-1);
  A1=sheafCoh(F,-3,6,"sres");
+ displayCohom(A1,-3,6,nvars(basering)-1);
  def A2=sheafCohBGG(F,-4,6);
+ displayCohom(A2,-4,6,nvars(basering)-1);
 
 kill S;
 
@@ -186,7 +191,9 @@ x(0)*x(2), 0,      0,     x(1)^2, 0,      x(0)*x(1),  0,       x(0)^2;
 def M=module(FHM);
 attrib(M,"isHomog",intvec(4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,3,3,3,3));
 A1=sheafCohBGG(M,-10,7);
+displayCohom(A1,-10,7,nvars(basering)-1);
 A2=sheafCoh(M,-4,3);
+displayCohom(A2,-4,3,nvars(basering)-1);
 
 tst_status(1);$
 

Tst/Manual/sheafCoh.res.gz.uu

@@ -1,14 +1,15 @@
 begin 640 sheafCoh.res.gz
-M'XL("*=?<DX``W-H96%F0V]H+G)E<P"ME%V/FD`4AN_]%2=F+S"908;/5@-)
-MW5[4I#9-]6[3W2",.@DR&QBL[J_?`R)0LZVZ+>0-#/.>`^?,P\P7GZ??`(`%
-M\'4Z@;[*E9Z(97\,>/<D4J&TP;A77B$((-_P<'4O-WK*?^FY"E5O7L>;=7SE
-MB-!1)6FFK0"&PV9DZS@"=,FM3.3Z`'(%N<J*2!49/[X$9`K?'^U1$^.4,?3Z
-MHPET=<A$NH;,-\A>8[KN#$C\W'Z:%\!6QD7"8>8;[>,/`<1\!9_\4\V:0:A'
-M3.P&5`?U4"[*0=DH"V6B&$X:94O+MO1N^&2*F>T1!CIEO74&^B>AV1K]S7!F
-M-F\QLUO,QB4S.];#G-NZ$6W$>3>,,[693^OVL4L:,]X@+9(J3-<\52),8%FD
-M,2Y]19O5T,;8.VEC9DW;#Z1-VY,#>2'%;[PQ_!4RGLND4`+?NF#^%H?:-MR+
-MF(>)Q@;$&+1NNT/G@CU8/]LI)P"1JAV/8.>;I#E;@QM`J%0FEMJ,]$7^!7NP
-M[I-=)[MWA'S20CXCU.U"_O\`KWGU,-)RZV6U_XG52YRRCO$BHZ7<ZXNIV*18
-E#,5B**M;=.*R:9';M!KWDW)'+3?-(L=5'M_U7@'9D6V*?`4`````
+M'XL("'"='F4"`W-H96%F0V]H+G)E<P"ME-MNFT`0AN]YBI'5"RSM$H:34UL@
+MQ>E%(]55U?BN:BH,V%Z)0P2+:^?I.TLP.%;:E"2@$:SWG\'S\PVWRT\W7P$`
+M`_AR,X>1K*21BM5H!G3W2^1"ZN.9IJX0!%!MDW!]76R-//EM5#*4VFV;;[7Y
+MC2(B15.DV[8#N+CH5HY!*R!5D15IL3E`L89*EG4DZS)Y?`@4.7R[<Z9=CJMR
+M^/\?7:)G0"GR#92^R?8Z&H8[9O%]_]<F`61%7*<)+'RS__DR@#A9PY5_[%DW
+M&9\P:]Q+/I)$5/=I>+A6K>A7C8`Y)('FX!,*C\*E<"AL"HL":=-4KBOG-#ZD
+M+7)O2HFNLJ2MP/\6)+:G_Q*<B:TA8APB-E\2XV,_Z`YS(]J*<S?,L^@KM^\-
+MS5,8$9^!,2IDF&^27(HPA56=QT1'`Z3=`8G6*X%$NP7R.P&I[]F!/;#Z"9+H
+M!%`F59'64M!3E^AGM-2S<"_B)$QU'#.SQQ#=$X"7^,/^V6]Y`8A<[I((=K[%
+MNK,7$/RAE*58Z0LV$M5G\F`S8KN3ZI=-B2R4,.]'8<&X=SH*>#X*\T;`['X4
+MWF\,6JHGE&E[[<MWWD3T2S3C$))5>-HP@CDUPZD9CJU%1WH[B[RCU1;1JS[-
+2ZNM;5\3"[(/V!RQ\?[O%!0``
 `
 end

Tst/Manual/sheafCoh.stat

@@ -1,4 +1,4 @@
-1 >> tst_memory_0 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:336660
-1 >> tst_memory_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:676376
-1 >> tst_memory_2 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:745604
-1 >> tst_timer_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:23
+1 >> tst_memory_0 :: 1696505200:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:327360
+1 >> tst_memory_1 :: 1696505200:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:2211840
+1 >> tst_memory_2 :: 1696505200:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:2274392
+1 >> tst_timer_1 :: 1696505200:4328, 64 bit:4.3.2:x86_64-Linux:nepomuck:5

Tst/Manual/sheafCoh.tst

@@ -6,6 +6,7 @@ LIB "sheafcoh.lib";
 ring r=0,x(1..5),dp;
 module M=0;
 def A=sheafCoh(0,-7,2);
+displayCohom(A,-7,2,4);
 //
 // cohomology of cotangential bundle on P^3:
 //-------------------------------------------
@@ -14,5 +15,6 @@ resolution T1=mres(maxideal(1),0);
 module M=T1[3];
 intvec v=2,2,2,2,2,2;
 attrib(M,"isHomog",v);
-def B=sheafCoh(M,-6,2);
+intmat B=sheafCoh(M,-6,2);
+displayCohom(B,-6,2,3);
 tst_status(1);$

Tst/Manual/sheafCohBGG.res.gz.uu

@@ -1,17 +1,17 @@
 begin 640 sheafCohBGG.res.gz
-M'XL("*A?<DX``W-H96%F0V]H0D='+G)E<P"M56V/FD`0_NZOF)A^P,O"L0*G
-M8B"I;7*]I-=<[OS6M`T"ZB;(-K!8K[^^L\NK'C5>KYA999EY=N:9>>1I^?'N
-M"P!0'S[?+6`H<F$D;#6<`_[ZP5(FM-%\(+_!]R'?QL'Z`]\N;F^--/YEY"(0
-M@Z<*8EQ!**>0;TN<YK'EP_4UX#[?\81OGH&O(1=9$8HBBTMDX"D\?+?=)L8V
-M,$:__&H"'0,REFX@\TQRT*AA.",2_6R3N?%AQZ,BB>'>,]OMB0]1O(;W7J=0
-M[9[H,V(C"Z`N?88V19N@W:`Y:#::A39&H^AD2DHE)[)P6<C@%56\+`L!7,P.
-M42T\C3JRPNH$O<>NNH;!EEO=]#F?!<#@L=O9>!4`!E/W))V+`3#8/`W^&P`M
-M^9"\2'XFYMO8#K>L[^2ZKUVC+]BN1VG:,^XA%T&ZB5/!@@1611KA_*F1M]J1
-MG_WCR%.S&OE'''GM0)[);U(<#3U%C6=QSI-",#QU2;T=WFJ[X,"B.$@T.B+F
-MJ/4>=R2RI%^M;^TCE#)+Q3X.8>^-2?-I'6P?`B$RMD+Q#%G^"3G8#,F^@^Z4
-M2EN<*FW:49J2F=*9$II2FI*:TIH26ZDVU0K5"R4XI;@W2J[EMY0/G<XD)_(@
-M*4.P9$)*B&!#-8:GRU6[U#HJ;_N<SR\-"G6/D<^'T3ZH6EG=_"Y,0Q:M.+"=
-M_\1NI;7C7'3)KDZ;=I?]-8_;W66WGBK\6Y>O+?E:*G(<Z/F[P1_,:>;7X08`
-!````
+M'XL("/"='F4"`W-H96%F0V]H0D='+G)E<P"ME>^/FC`8Q]_[5SPQ>X&7PE$!
+M?V`@.6_)[9+=LNQ\MVP+`FH3A`L4I_?7[VE!J,PMWES-4VUY?K3?]B//B_>/
+MGP"`^O#Q<0Y]7G`C8<O^#/#7#Y8RK@UF/?$-O@_%)@Y6]]EF_O!@I/%/H^`!
+M[SW7*89U"ND49ILJ3_/8\N'V%G`^VV9)MCY`MH*"YV7(RSRN,D.6PN?OMMO$
+MV`;&Z)>W)M`Q(&?I&G+/)'N-&H8S(-%+NYB1#]LL*I,8GCRSG1[[$,4KN/.4
+MC6I/1)\2>]!Z3="+%2])<+@7N]'NI(-T`=GT*=H$;8PV0G/0;#0+;8A&T<D4
+MJ@O9A#9BKSW]BH:5;1<W@%DMK$8=(4)=03]C-ZIAL.76`_U"4X.'KC+QI@08
+M3-W.<BY.@,%F-_A/"6BEA]!%Z#,VKU,[W+!SE8_GJAK]3>WC/9J>(2+,>)"N
+MXY2S((%EF49X12455D,%-?^1"DIK*KX@%=J>',@K*4^XH,AP'A=94G*&51?4
+MV^)0VP9[%L5!HM$!,5L0J*50M*!?K6_M(]L'EO)=',+.&Y+FTSHX/@2<YVR)
+M?/59\0$U6/?)3LD^JF"<=V&<J##2<0?&N70@5@.C)%&B*%F4,$H:)8Z2QPI(
+M>5KRN"23$LHKJ53Q%(31R52(+`H)4L$2"Y*L@@WU3>UV-VUW1*T:ZF_NFBS4
+M/<W\]S!Z+M41/G5]%RY#;%IJ8#O_2=T:Q].UZ$)=G3;'79VO>7K<JKK'*X7_
+6[^+E)UYN98%W?O:N]PM-N(&?)P<`````
 `
 end