Changeset ca899b in git


Ignore:
Timestamp:
Mar 2, 2021, 4:14:07 PM (3 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd25190065115c859833252500a64cfb7b11e3a50')
Children:
471da6a284cf3893ba07cde8e9d3036f088a01384d8049f1ac15e575ca3192329049bfdba1bfcfe253b40a8806a189ae4aebe83a567ede76e81fa6db
Parents:
e0883c550eb236d9de36d76faf56a9c4c084ea45
Message:
idModulo via idPrepare
Files:
7 edited

Legend:

Unmodified
Added
Removed
  • Tst/Manual/truncate.res.gz.uu

    re0883c rca899b  
    11begin 640 truncate.res.gz
    2 M'XL("!**<TX``W1R=6YC871E+G)E<P!UDU%OFS`4A=_Y%5?1'D!R"(:N[=;A
    3 MAZK25FF9JK;/K0@XP5*`"$P*_/I=@S$!M8H5R.7S\<VYAY?7A\=_`$`9_'V\
    4 MAY6LI'L4N]4=X-V[R(6TG3M+78$QD&6=QY'D;LX_W$I&TGK1^WV]OTIYM(^+
    5 M=!`QCP,&I<@/\!QZQ&Y(2SJ')*?I^16#K$CJ(X=MF$6-2'ATM`-G`KXS2(NL
    6 M.-A;+%)3OF:PV4!<9*=:<CB5O.(YMB6*'+)(EJ*!?5&:MI/Q$/MY\ZOO@KT%
    7 MSKO-0M\QDC>N:<4/QYWVEO@7W=PR/$ODTMZJ:D<\\VD)>&KIKT;_-,ORR(2O
    8 MNX'7,%Z:)7R)0\]/\)RWANJ(#T4MO^X6O#5J=A>PEA\.6K>F'VOZ>YV!M;SI
    9 M=MC2@/'H!X-$9+_+*.')4U0JKPA%M[R1H-XGA/+SVA"T'Z],10556M3'!$<M
    10 M\ACC`1]"IC\-Z+M+J852T"M5J=A+.""FPKAK@4X25R[@1,\\AG-(S:@I!B^2
    11 MF*0=2JY$]4>%<$7.4Q@H9O#+I-";65*43ZWRN?.U<VWO:(/.]Y4&+?2)A829
    12 L[`)5-V/%:N<A,.AL@9D)O?W$\6#F$TY-O?CJW:XK&^?US?H/3J";#R,$````
     2M'XL("*4Z/F`"`W1R=6YC871E+G)E<P!UDU]OFS`4Q=_]*:ZB/1C))1BZMEN'
     3M'Z9)6Z5EFMH]KR+@!$L!(C`I\.EWS1\#4:=8`2X_'R[G'E[^?'OZ!0!<P,^G
     4MK[#1E79/:K]Y!#Q[5;G2U'DDY@A"@"[K/(ZT='/YYE8ZTN1EW.^/^ZM41H>X
     5M2`<1>SL04*K\",^AQVC#6M8Y+#G/]V\%9$52GR3LPBQJ5"*C$PV<&?@H("VR
     6MXDAW6.2V?"=@NX6XR,ZUEG`N925S;$L5.621+E4#AZ*T;2?30^CS]DO?A?@;
     7M.*]4A+YC)>]=VXH?3COICOF+;AX$/DOEFNY,M6.>_;4,/+/&OV:\M(MX;,9O
     8MNH$?83PTU_`2AYZ?X35/ANJ$#\51'C?>M$M],FEV"WB4'RX7/)E?K[/P*&^[
     9M'1[1@/7HDX!$9=_+*)')[Z@T7C&.;GD3P;UW"./GG25X/UZ=J@JJM*A/"8Y:
     10MY3'&`]Z43C];T'>OI:Z4@EZI2M5!PQ$Q$\9]"WR6N'4!)WJ1,5Q";D?-,7B1
     11MQB3M47*CJA\FA!MVF</`,8/_30J_7R5E\!6MZOS1N;9WM$'G^TJ#%OJ,(&$G
     12K>X6:DZE"VG4(++I:8&?"']YQ/%CYA%,S'[[YMNN*XKP^D'_R%6<I(P0`````
    1313`
    1414end
  • Tst/Manual/truncate.stat

    re0883c rca899b  
    1 1 >> tst_memory_0 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:243808
    2 1 >> tst_memory_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:666332
    3 1 >> tst_memory_2 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:699116
    4 1 >> tst_timer_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:11
     11 >> tst_memory_0 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:206280
     21 >> tst_memory_1 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:2150192
     31 >> tst_memory_2 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:2191296
     41 >> tst_timer_1 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:8
  • Tst/Manual/truncateFast.res.gz.uu

    re0883c rca899b  
    11begin 640 truncateFast.res.gz
    2 M'XL("-!ZN4X``W1R=6YC871E1F%S="YR97,`K9AK;YM(%(:_\RN.K'[`*CAF
    3 M2)K;0J6VZD7:5%6SG[<BAL1H8SLR@P/\^IWQF&'N4.T*(EOAY<S[S!D.<WS_
    4 MUZ=OWP$@2N'/;Q]@ABN\>"X?9K=`OOTJMR7VY[<>_80T!;ROMZL,%Y\S(ML6
    5 MKXL*9]B[/\5`IQC5NL@>5[LU"\0OQRGLR^T3_$R6@=\$;=`%=7"8!_G+H#E/
    6 M8;/+Z^<"[I)-UI1YD3W[\7P07*2PWFUV3_X=^6?$__TNA;,S6.TV+S4NX&5?
    7 M5,666"MW6]AD>%\V\+C;<_MY/XC_\^R/DY/T[WC^RT\3-.=!+Q=0;C'@!)>;
    8 M8C]XN!I,(G+Q%-2_"Y!@])K,%B1PO!5"P/Q*M#QZG9&_^W+S0J+T$6Y@%HC"
    9 M:*&-'2%A[$1,AU_AG$R*Z"&*K1[.N0=ZK]7!Q8+,)9D#_XZ&/01+QU$'L)1.
    10 M_>ADB0?6.UHUF/&D1^,*J)_>,G!AA`>%PW1`YQI34D[@."D;:T`CA!N#RFJS
    11 M)<XI<K@A)G`,RN:W(%P8(',X)-T8!,,=XY!B-K\#8<<8Q/4(!.,8S<08AX3+
    12 M9J6QBA4(&P:(`>L1"#9FIYDR*BT<JI+-BI/#$\<P88#,8<(`9>+"6BQ95@@+
    13 MAQG"R>')H^@8('.8,-1,\*6E0XBX(8VD<U@A[!R>ZDC%&,1A?TG%,$/T'*Y,
    14 MF/*AXK*`C-C"H4&H&,9YJC6);<QN`H3,X<J$A<,`(6,8(60,:<7Q,7N.3E'J
    15 M*XI^Z?C[?!Q"XS!"B!@6"!%#6G'BF"'3=+9@QGRHN-JL4&*9PP(Q8%@A!@SK
    16 M,\'OZ&2E+1E'CDF9D/-AA>@Q'!`]QCA$CR'ES,+1*KA::@?BL&5;10<$PW!"
    17 M,(PI$`QC9#F=]*V:"4?F*`?P#3KI>^@F_N.Z6/US0]L12!+R\?ZXD:_*KO"_
    18 M?R:;=_*==@<(S^=S>"M<P/T5<N'6,T>")1_N,H6\W'S99WF1_\CVM"\((G+C
    19 MH+@R*&CO$%UPR?6Q]\#KLH)JO:N?<]*WE=L5Z?7@M<3KFUZ(E@LUEA(*1<=0
    20 MU;I\Q/!$=+2]?&@A&F*@8P]W*%9P2"+>V"#2&668](4/).:LK+[2EG)&FM%!
    21 M03HDM?E"I/FT=WSHG:W;0I<3.SYTI7=\Z#J=T.K%2]O@<32IU8N1U.K5_8Z!
    22 MOX#$HGQ`$Y?V>&T9.SVQ4QDU4QL>X.&L4?!?G+`2PQ_'Z68ZDROBI.[%G594
    23 M.M<,>T-M./H)A4HST4PK;W39Y(AF6L$2,]/VH[1#V,&);BF4JYK;3"._2'4S
    24 M#=\X]68:]B)#04,J(N+K./X_*R)Y<M[;JB+B12\^-Q2]6*I4,2D=]`<U^GM9
    25 07?FD9K[Q_@6`14/=>Q,`````
     2M'XL("*4Z/F`"`W1R=6YC871E1F%S="YR97,`K9AM;Z-&$,??\RE&5E]@%1Q8
     3MDLM3X:2VNO:DYE1=^KHG8DB\:FQ'9N%@/WT'8Q86[RX;M8+(Q`RS_]_.[C#C
     4MQ[]^_?P%`,($_OC\,RQ8P5:O]&EQ#WCUC>XH<Y?W3OL)20+L4.[6*<L_I6BV
     5MR[^O"I8RY_'D@YQ\%)L\?5[O-YTC<3M*X$!W+_`U#CRW]AJ/>Z57+;WL;;"Y
     6M3&"[S\K7'![B;5K3+$]?W6@Y&%PEL-EO]R_N`WX9BJ\_)'!Q`>O]]JUD.;P=
     7M\B+?H32ZW\$V90=:P_/^(.1G_2#NUXN?3DJ2OZ/E-S>)R5(XO5X!W3%@,:/;
     8M_#!HN!E$$KQY<NH^>&0D]!9G"V(X/@H^,'$G#(Y:%_CW2+=OZ*7W<`<+;VP8
     9MKL[&#LEH['@<#K=@&4[*6$,8:35<"@WMLUH%5RN<2YP#]Z%U6WF!X2@]"*3S
     10M_."RB0/:)YJI,^79'K7)X?GI!)X)PZ\F'*H#N!T$_MO80>!%_3X(,T9K5IH@
     11MD-,OAWB8(2PX!LOZ71`F#)`Y#"9\#J+#];EY74D^Z_=`Z#%`YC";<(M(S,5#
     12MPO4;#QW6MA`Z#/"K<3S,$%TDN`6$GF-JV<U*;0FAQ@"9H[2`&&\1@Z6&0PUA
     13MY'#D42J=PIY#A:%.L7P.0K,_M!!Z#F>JJ-(J]"OQ\K"!Z#E,D5#%0PTAMDAM
     14M`S'%4,Y3J5]Q8LR>8QY"YC!%0A,/1[53JSD(&4-:<6+,GH/;0(S6U3S$&8>C
     15MSIK5',080UIQXS']\E28S$*,XC$/<;:N'-U+KIJ#&##F:R>NSA+2PO-Y5Y=8
     16M14*.AZ,O.*HYB![#I@#DJBRAY&CL(?IX.*8:MIJ#Z##LJECN!995;#.%,$2N
     17MY0!1H&/?TQ;QOVSR]3]W;3L"<8P?'X^%?$%Y[G[YA,4[7K?=`6'+Y1)^'-U@
     18M_1V\<>^H/4$@AKM.(*/;WPYIEF=_IH>V+_!"?'"PN%%8M+U#>"5,;H^]!]O0
     19M`HK-OGS-L&^CNS7V>O"=LLU=;TB"U=37Q!4)CZZ*#7UF\()V;7OYU$`X^"#'
     20M'J[*UU#%H6AL"'9&*<.^\`E]+FCQ>]M2+K`9'2RP0YHV7P2;3WW'1S[HNBUR
     21M;=GQD9OSCH_<)A:M7A3H!H]"JU8O(E*K5_850Z-*RA6Q7-KV+8VV(NJV@J68
     22MLC()*XGW7Y1TF4AL1WLQ7*4*E92],3]+*MPTP\XX,W953/!.,<U(4C<G$S'-
     23M2%(GINE':0:WCB+/CGJ/P%I,+9<7YV)J43CU8NKN14:\&C,B$>LX^C\S(NZ<
     24GC[JL2$32BRX522^2,E6$J:/]0:W]O:PL7,R9/SC_`@7;Q+I[$P``
    2625`
    2726end
  • Tst/Manual/truncateFast.stat

    re0883c rca899b  
    1 1 >> tst_memory_0 :: 1320778391:3133- exportiert :3-1-3:x86_64-Linux:wawa:378224
    2 1 >> tst_memory_1 :: 1320778391:3133- exportiert :3-1-3:x86_64-Linux:wawa:672688
    3 1 >> tst_memory_2 :: 1320778391:3133- exportiert :3-1-3:x86_64-Linux:wawa:748768
    4 1 >> tst_timer_1 :: 1320778391:3133- exportiert :3-1-3:x86_64-Linux:wawa:3
     11 >> tst_memory_0 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:272512
     21 >> tst_memory_1 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:2183168
     31 >> tst_memory_2 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:2236416
     41 >> tst_timer_1 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:9
  • Tst/Short/sheafcoh_s.res.gz.uu

    re0883c rca899b  
    11begin 640 sheafcoh_s.res.gz
    2 M'XL("'(8"TX``W-H96%F8V]H7W,N<F5S`.U<;7.;.!#^[E^AR?0#3L$%`0:G
    3 M9\^T=Y/6<^=+I^G<EUR;(3&)F=B0`=S:_?6W*X&0`;\EI"]7.[9B6ZN5M,^N
    4 M]I$@.?_PQ_!O0H@Q('\-7Y.C-$D[T^#JZ&7K/*NA`P)?7@9AD"KMERW\308#
    5 MDDQ\[^8ZFEPFG=#_TDE2+Q5-S`$1[ZT.X9KS!B7UMB3;[9`7+\B?T22:1=/H
    6 M-O#)V(_)>1K/[])Y?.O%5S[Y'(7DW2?[1#1RL)&VXT.T<CLD#L);$O=U=:$8
    7 MG4ZWK8[OBV'U!F06C>=3GXSZNOC:T`<PI!ORJL]F\WLT44:J9NBJ#98A[`&?
    8 ML.QAX6+A8-'%PL;"PL+$@C)I;(,M"'N'WQ&L)2A'[-:N$]OG`2.U3Z!#BJ.R
    9 ML:"L\ZX8AK9_`4JMDP>VW:34?`JE]"F4&D^A5'^@4@$H@Q9!9G!3FSZ-2UU/
    10 M@A/P9NQ#P]XTUB_W^\+'ZXH-(\VC#A:G:L2I1TGL)T>'P#L$WB'PGBCP*$]W
    11 MKT7PO7[SYE?,>,=UA0B\XT>X6HU2\V3UN\=K%H%7ZNU1FD7@U1GGH9I%X-5:
    12 M?&/;[Q)XFT:Z.?#J72H//&#0XR"YGWK+WY$-*Z^RG/=+1=VZI?F0[II7>DAW
    13 M\-DJ1=WK7S'J#KFNJOF0ZYXPU]F#NE.?6S_]$B2IG_KAEA,@H[O/"=#*O'(-
    14 M3H=X:1H'5T!NCX+D+8SD]D@-PO2S?ZUHM-TN3H#<FKVHV>CZT""$V5KP@^7=
    15 M!K-M@SFVP<RZ=S[])O&<17&C&;-7%PU/<3)S"(I#4/PD04'U0>V)R?\L2S3-
    16 M$YMFATUSPJ:9X/[\[UL&Q.Y<;SO#HT:5X06Q?Y?BQ;WY;`8,KV![I>M]887N
    17 M4?I0NK<RS5R;V2$S#ZC?@HQ&%^;'"^.CX'H4]H.C_FA4?`%4=0-/-%1=E;DB
    18 M[9:S8T_:2OZPN\AL.3!I#\DY=M3%@M+<_?9,ETV?V#1]6-/T.4W31S0/2YSH
    19 M4A0+Q\5="Q1F#P!U'+UQ?^%G,N@O&O,7#?U%8_Y2FU&WC2\/'Z<:/E:96S81
    20 M1<VGTB9BY\`MOTN(-)Y*&PD,$1-N#;=T)6KY'0EE?O"XB]LW0QZ;H8S-$,5F
    21 MZ.%>I+#671X/XQX$<#/MZU5H'W*Y,SQ0>PZET7ZNG+U8*$:[#2_2)V>7-JN+
    22 M\#?4GEU:4"&(GZDW0?RT@ON91@=('[\!K*T6=WF9M,3[3',C[Z.J`1L\B?B9
    23 M5CESN:K50(ABT5"VRO=\S'\>??[AX$A-G(>!!;'W4MI,>FHF,S63E';,1W4!
    24 M[.!Z#T@[5D.I*(]GMB*;5@U&:W.//);<M>T:UZZ2LH.''SQ<6.@G\_#N#T^Q
    25 M=O+I[11K%W?^=2G6>G?Y5A1K^\F:"5ODNV`Z)7'!/=SBAGJS5WM#_7#L>U-^
    26 M+14__N/'4>@G/CF=>O[UQ"=!2)[]^^Z3^4Q0+^O1U$MH`L[%[[P_!\9G4ETW
    27 M5;)0]$[':JM$N@/?`A(F;L$?]F?>(L!A`U,K1("6"5XVK#N0`TY&A#4L8&4$
    28 M\E0TG:<!$-&[*($AA/`-MM8EO9#CR#T,,E6N_#0-%)!LJT?LO93D!$X<*![C
    29 M/(7QD[F]CN90J\8=.]/'8U(O2OX-,?;1FD:I-]U-JYA^%RW/ST2]Z?W$T\%,
    30 ML1>.HYF"@`'=Y1<S<GFG0.H>K`G2_)/"6[>?@_TNS.)<U7(+W+!!%3E#K?Q(
    31 M]-KJK0)Y<QW=^7'H3[%GA),IE0"U]1*@HL7NL&XQ.FN=P>?L#9D,4UUK,1&C
    32 M,/4XB&&^*0"3W$>)SR8M39D6-@;)VM/J[$FSIVAJ=LC&AV@A/25X[%*<W?"1
    33 M,F1P*%02+4<:RNZ"R5I[LC#B"2:SH</'+,>7)I>L#[U:L1XS":V5/B2<,(38
    34 M>D6&,/7;./*O0C]6;J8`B1^R:5[0C[+1G%6CG0YSDZTL3;9;,MCI<-^5::?5
    35 M0S:*4;699+DZDU:$J"RT?WA4@\18JTE8JE>$RFG_=`CF%E;LXGH@[6).5<V2
    36 M-NC(Y323,SE&Y/2L1YI9<?<=2LZWM&VOC%?AE3TV(7.#(-U5H[%.T"@)ZMLT
    37 M.GCQ:_=9\X-/F`R[TLUHL<Y?PIY<8PZ(40=(Y3Z2`R[?&A?,(JN;(08-W0&3
    38 MK:/:AH'8:QROLWUN\^/LM=;6QS5"AFSCXS5"VO999%R^K"&WJ>#J762KX@/^
    39 M6>PXF+U53!4M"CRU10U1BVF1U1I0BXRWJ.H6]+[K=,I18S#I#!H!1V42%=/G
    40 MIE[OSF6W-2KN6>TE,XUP,3%PS&)LWW)>K,F]8F(.VVZ07=U:ZC%78#`%'_PD
    41 M)=$-D*1Y>.VEOMC/.)11'+8/>=_7566A+M6O*W\!["!<Q0ZDOZ#JTE2_6H6`
    42 MQ01P:W6KC&2,')O5P`"NH]G]/.6TV`]3CZ7VC%K?1+$8V#CO1WG_XK>\IT'[
    43 M4AGT:5NH[7;D$=%^WEH9R9S*<5COG"2,L&*I$AV?4"RRM^S35^!\VE=UF=5)
    44 MU>QS"UZL.F_!JT4=>RZ93%Z]6L<KH-10!]06_N^X;)#@XV]B;^R/WWDQ#I9Y
    45 MK[@`[/3JA)B,F<NX>KTBG+=8QEPC!R2=!`E))M%\.@9P@O`:2!KY$J03X1HN
    46 M=XURIZOZS-J!X9ZH*V2LO,]D$MRDP`&],;K;U1)IJ)"R66^<DY//?<T0.+I=
    47 MIJ#FNL/G`FR7@[W6&5RW[`P9W@)R!$;R"5UM,>"6LD3),UJZ6G:-DG^TBK;+
    48 M%6<07B))2+WE0HM5B=7>F!#("&=R:_V$^X#`HZ<7ZTL/E@?\GP;X3POF"1XI
    49 ,/&O]!X<-&JP)00``
     2M'XL("*DZ/F`"`W-H96%F8V]H7W,N<F5S`.U<;7.;.!#^SJ_09/H!N^""`(/3
     3MLV?:NTGKN?.UTW3N2Z_-$)O$3&S(`$[M_/K;%2!DC-\2G*97.[9LH]5*[+.K
     4M?21PSC__T?^;$*+WR%_]M^0DB9/6Q+\\>2V=9S6T1^#@A1_XB=QX+>$[Z?5(
     5M//;<JV$XOHA;@?>]%2=NPIL8/<(_FRV2:LX;E-1;@FR[15Z](G^&XW`:3L)K
     6MWR,C+R+G232[26;1M1M=>N0N#,C';]8I;V1C(W7'!V_EM$CD!]<DZFK*7-9;
     7MK79#&=T6P^KTR#0<S28>&70U?EC7>C"D*_*FR\[F]W`L#Q15UQ0++$/8`[YA
     8MV<'"P<+&HHV%A86)A8$%9=+8!EL0]@F/$:PE*$<L23W``T9JG4*'%$=E84%9
     9MYVT^#'7_`I2:IP]LNTFI<0BE]!!*]4,HU1ZHE`/*H$60&=S4HH=QJ>'8/P5O
     10MQCY4[$UE_:9^7_AX5;%AI'G4P>2T&G'*21QY\<DQ\(Z!=PR\`P4>3=/=6QY\
     11M;]^]^Q4S7K.JX('7?(2K52@U3I>//5XS#[QFC9IYX#5KU,P#K[FWYA\2>)M&
     12MNCGPJETJ#SQ@T",_OIVXB]^1#<MOLIQWY)G'='=,=X=*=V8IZM[^BE%WS'7'
     13M7/>DN<[J5>WZ7'O)=S].O,0+MNP`Z>U]=H"J=H-TNT7<)(G\2R"W)W[\'D9R
     14M?:+X07+G#665-AK%#I!3L18U:IT?I-KG@F>6=VO,MC7FV!HSZ][Y]$GB.8OB
     15M6C-FIRH:#K$S<PR*8U#\)$%!M5[ECLG_+$O4S1/K9H=U<\*ZF>#^_.\I`V)W
     16MKK>=X5%]E>'YD7>3X,6]V70*#*]@>Z7K?<$*W:/TH72OBOI1HT6F+E"_.1D,
     17MOAA?O^A?.=>CL!X<=`>#X@!0U0T\45<T1>2*M%W.CAUA*?EL5Y'9=&#0#I)S
     18M[*B-!:4/3)=U[]C4O5E3]SY-W5LT#TN<Z%(4"]O!50L41@<`M6U-.LR>#/J+
     19MROQ%17]1F;]49M1MX\O#QUX-'[/,+>N((NE9QLZ16_Z0$)&>96#PF'`JN*4C
     20M4,L?2"CSC<==W+X>\E@/9:R'*-9##_<BA97N(CTE`=Q,^SHKM`^YW`?<4'L)
     21MI=YX*7]X-9?U1@->I$L^7%BL+L1WJ/UP84(%)WZ&5@?Q$[B?H;>`]*4W@#64
     22MXBXO@Y9XGV%LY'U4T6&!)Q`_PRQG+D<Q:PC1&K-5ON9C_O/H_0\;1VK@>>@6
     23MXZ3[9KH:TE,]F:F>I+1C/JH*8!OG>T#:-FM*17D\LQG9,"LPTG892^[:5H5K
     24MKY*RHX<?/?QG]?#VLZ=8._GT=HJUBSO_NA1KO;L\%<7:OK-FP!+YQI],2%1P
     25M#Z>XH=[H5-Y0WQ]Y[B2]EHI?__&B,/!BCYQ-7&\X]H@?D!?_?OQFO.#4RWPT
     26M]>*:@'.E=]Z?`^,SJ*89"IG+6JME-A0BW(%O`@GCM^#WNU-W[N.P@:D5(D#+
     27M."_K5VW("9S,!$Y&($N%DUGB`PV]"6,80`!'L*TF"$*&([<PQ$2^])+$ET&R
     28MH9RPST**XRBE,*41GB:P=%]NKXTYB<T9IX*^-"*UHDR/$'T?K4F8N)/=M/+3
     29M;Z/=TQU1=W([=C4P4^0&HW`J(UQ`=M-+&;F\7>!T"]8$Z?2;G+9NO`3[?3&*
     30M7573*5##!JNXZ<K*GPAD9QG(JV%XXT6!-\&>$4ZF5`#4TDJ`\A:[PRIMAR^;
     31ME;*I>1_(1)CL#=!8>F'JD1_!^28`3'P;QAX[:>&4:6%CD*S<J\Z>-'ORID:+
     32M;'SP%L)3@,<JQ=E5.E*&#`Z%"J+E2$/973"1-H91FEXR&]HDIRL\OE2Q9'UH
     33MJQ7K,1/06NI#P`E#B,U6I`^G?AV%WF7@1?+5!"#Q`G::7^A7T6CVLM'.^KG)
     34MEJ8FRRD9[*R_[\PD[3H;Y4;15VTF6*[*I"M"5!2R'SBCK<YE&T.E4X3*6?>L
     35M#^;F5FSC?""L8<X4U126Y\CD5"/E<8S&:5F/-+/B[NN3G&VIVUX9J\+K>NR$
     36MC`V"=%>-^CI!O22H;=-HXZ4O:<]M3S@9=IV;D6(M?7%[IAIS0/0J0%;N(CGB
     37M\M2X8!997@HQ:.@.F$B/Q8"O-)KK;)_;O)F]UMJZ62&DBS9NKA%2I5V9?%E#
     38M;E/.U-O";V+;^)O8D3]]+QL*&A3,275>B4F15>I0B6RWJ&H+.NQ6.69T)IW?
     39M89*#(6TU?&[H]<Y<=EI]Q3FE=8;A#L8'CCF,K5G.BQFY4YR8S98:Y.$K#%MG
     40M"CY[<4+"*Z!(LV#H)AY?R]B4$1RV!OG4U11YKBR4^Z5?_]JXL"A6']TY51:&
     41M<F\6`B83P&75M3P0,;(M5@,#&(;3VUF2DF(O2%R6V#-B?15&?&"CO!_YTZO?
     42M\IYZC0NYUZ4-KK;=$D=$NWEK>2`R*MMFO:<488`5"X5H^(1BGGUDW^Z!\:GW
     43MRB*K$ZK9=PE>K#IOD5;S.O9<,!EUD2I?KH.*]".KAEI2(.RP08*/OXO<D3?Z
     44MZ$8X6.:]_.*OW:D28C)&+N-HU8KPO/DDYN@Y(,G8CTD\#F>3$8#C!T.@:.2[
     45MGXRY:SBI:Y0[7=9G5`X,5T1M+F/F?<9C_RH!!NB.T-TN%TA"N93%>DL9.;GK
     46MJCK'T6DS!177'.X*L)T4[+7.X#AE9\CPYI`C,()/:(K$@%N($B7/D-B1)=<H
     47M^8=4M%T4SB!ZB2"QW%ON*Z+$BB/BH3EW)J>SW@<X'AVMF%\Z,#W@_S/`?U@P
     48/BW$[X87T']KSB9`%00``
    5049`
    5150end
  • Tst/Short/sheafcoh_s.stat

    re0883c rca899b  
    1 1 >> tst_memory_0 :: 1309347710:3132- 14004 :3-1-3:ix86-Linux:mamawutz:2593328
    2 1 >> tst_memory_1 :: 1309347710:3132- 14004 :3-1-3:ix86-Linux:mamawutz:4280320
    3 1 >> tst_memory_2 :: 1309347710:3132- 14004 :3-1-3:ix86-Linux:mamawutz:15377812
    4 1 >> tst_timer_1 :: 1309347710:3132- 14004 :3-1-3:ix86-Linux:mamawutz:1724
     11 >> tst_memory_0 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:6301780
     21 >> tst_memory_1 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:16683008
     31 >> tst_memory_2 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:30428076
     41 >> tst_timer_1 :: 1614690981:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:383
  • kernel/ideals.cc

    re0883c rca899b  
    588588*works always in a ring with ringorder_s
    589589*/
    590 static ideal idPrepare (ideal  h1, tHomog hom, int syzcomp, intvec **w, GbVariant alg)
    591 {
    592   ideal   h2;
     590/* construct a "matrix" (h11 may be NULL)
     591 *      h1  h11
     592 *      E_n 0   
     593 * and compute a (column) GB of it, with a syzComp=rows(h1)=rows(h11)     
     594 * currRing must be a syz-ring with syzComp set
     595 * result is a "matrix":
     596 *      G   0
     597 *      T   S
     598 * where G: GB of (h1+h11)
     599 *       T: G/h11=h1*T
     600 *       S: relative syzygies(h1) modulo h11
     601 */
     602static ideal idPrepare (ideal  h1, ideal h11, tHomog hom, int syzcomp, intvec **w, GbVariant alg)
     603{
     604  ideal   h2,h22;
    593605  int     j,k;
    594606  poly    p,q;
     
    596608  if (idIs0(h1)) return NULL;
    597609  k = id_RankFreeModule(h1,currRing);
     610  if (h11!=NULL)
     611  {
     612    k = si_max(k,(int)id_RankFreeModule(h11,currRing));
     613    h22=idCopy(h11);
     614  }
    598615  h2=idCopy(h1);
    599616  int i = IDELEMS(h2);
     617  if (h11!=NULL) i+=IDELEMS(h22);
    600618  if (k == 0)
    601619  {
    602620    id_Shift(h2,1,currRing);
     621    if (h11!=NULL) id_Shift(h22,1,currRing);
    603622    k = 1;
    604623  }
     
    619638  //}
    620639
    621   for (j=0; j<i; j++)
     640  for (j=0; j<IDELEMS(h2); j++)
    622641  {
    623642    p = h2->m[j];
     
    649668    else
    650669      h2->m[j]=q;
     670  }
     671  if (h11!=NULL)
     672  {
     673    ideal h=id_SimpleAdd(h2,h22,currRing);
     674    id_Delete(&h2,currRing);
     675    id_Delete(&h22,currRing);
     676    h2=h;
    651677  }
    652678
     
    718744  si_opt_1|=Sy_bit(OPT_REDTAIL_SYZ);
    719745
    720   ideal s_h3=idPrepare(s_h1,h,k,w,alg); // main (syz) GB computation
     746  ideal s_h3=idPrepare(s_h1,NULL,h,k,w,alg); // main (syz) GB computation
    721747
    722748  SI_RESTORE_OPT1(save_opt);
     
    870896    s_h1 = h1;
    871897
    872   ideal s_h3=idPrepare(s_h1,hi,k,&w,alg); // main (syz) GB computation
     898  ideal s_h3=idPrepare(s_h1,NULL,hi,k,&w,alg); // main (syz) GB computation
    873899
    874900  ideal s_h2 = idInit(IDELEMS(s_h3), s_h3->rank);
     
    11111137  else
    11121138  {
    1113     s_h3 = idPrepare(s_mod,(tHomog)FALSE,k+comps_to_add,NULL,alg);
     1139    s_h3 = idPrepare(s_mod,NULL,(tHomog)FALSE,k+comps_to_add,NULL,alg);
    11141140  }
    11151141  if (!goodShape)
     
    21462172}
    21472173*/
    2148 /*2
    2149 * represents (h1+h2)/h2=h1/(h1 intersect h2)
    2150 */
    2151 //ideal idModulo (ideal h2,ideal h1)
    2152 ideal idModulo (ideal h2,ideal h1, tHomog hom, intvec ** w, matrix *T, GbVariant alg)
     2174
     2175#ifdef HAVE_SHIFTBBA
     2176ideal idModuloLP (ideal h2,ideal h1, tHomog hom, intvec ** w, matrix *T, GbVariant alg)
    21532177{
    21542178  intvec *wtmp=NULL;
     
    21912215    //Print("weights:");wtmp->show(1);PrintLn();
    21922216  }
    2193 #ifdef HAVE_SHIFTBBA
    2194   if (rIsLPRing(currRing))
    2195   {
    2196     for (i=0;i<IDELEMS(h2);i++)
    2197     {
    2198       temp->m[i] = pCopy(h2->m[i]);
    2199       q = pOne();
    2200       // non multiplicative variable
    2201       pSetExp(q, currRing->isLPring - currRing->LPncGenCount + i + 1, 1);
    2202       p_Setm(q, currRing);
    2203       pSetComp(q,i+1+length);
    2204       pSetmComp(q);
    2205       if(temp->m[i]!=NULL)
    2206       {
    2207         if (slength==0) p_Shift(&(temp->m[i]),1,currRing);
    2208         p = temp->m[i];
    2209         temp->m[i] = pAdd(p, q);
    2210       }
    2211       else
    2212         temp->m[i]=q;
    2213     }
    2214   }
    2215   else
    2216 #endif
    2217   {
    2218     for (i=0;i<IDELEMS(h2);i++)
    2219     {
    2220       temp->m[i] = pCopy(h2->m[i]);
    2221       q = pOne();
    2222       pSetComp(q,i+1+length);
    2223       pSetmComp(q);
    2224       if(temp->m[i]!=NULL)
    2225       {
    2226         if (slength==0) p_Shift(&(temp->m[i]),1,currRing);
    2227         p = temp->m[i];
    2228         while (pNext(p)!=NULL) pIter(p);
    2229         pNext(p) = q; // will be sorted later correctly
    2230       }
    2231       else
    2232         temp->m[i]=q;
    2233     }
     2217  for (i=0;i<IDELEMS(h2);i++)
     2218  {
     2219    temp->m[i] = pCopy(h2->m[i]);
     2220    q = pOne();
     2221    // non multiplicative variable
     2222    pSetExp(q, currRing->isLPring - currRing->LPncGenCount + i + 1, 1);
     2223    p_Setm(q, currRing);
     2224    pSetComp(q,i+1+length);
     2225    pSetmComp(q);
     2226    if(temp->m[i]!=NULL)
     2227    {
     2228      if (slength==0) p_Shift(&(temp->m[i]),1,currRing);
     2229      p = temp->m[i];
     2230      temp->m[i] = pAdd(p, q);
     2231    }
     2232    else
     2233      temp->m[i]=q;
    22342234  }
    22352235  rk = k = IDELEMS(h2);
     
    23172317        if (((int)pGetComp(s_temp1->m[i]))<=length)
    23182318        {
    2319           do
    2320           {
     2319          do
     2320          {
    23212321            p_LmDelete(&(s_temp1->m[i]),currRing);
    2322           } while((int)pGetComp(s_temp1->m[i])<=length);
     2322          } while((int)pGetComp(s_temp1->m[i])<=length);
    23232323          poly q = prMoveR( s_temp1->m[i], syz_ring,orig_ring);
    23242324          s_temp1->m[i] = NULL;
    23252325          if (q!=NULL)
    23262326          {
    2327             q=pReverse(q);
    2328             do
     2327            q=pReverse(q);
     2328            do
    23292329            {
    23302330              poly p = q;
     
    23342334              pSetComp(p,0);
    23352335              pSetmComp(p);
    2336               pTest(p);
     2336              pTest(p);
    23372337              MATELEM(*T,(int)t-length,i) = pAdd(MATELEM(*T,(int)t-length,i),p);
    23382338            } while (q != NULL);
     
    23592359  }
    23602360  idTest(s_temp1);
     2361  return s_temp1;
     2362}
     2363#endif
     2364
     2365/*2
     2366* represents (h1+h2)/h2=h1/(h1 intersect h2)
     2367*/
     2368//ideal idModulo (ideal h2,ideal h1)
     2369ideal idModulo (ideal h2,ideal h1, tHomog hom, intvec ** w, matrix *T, GbVariant alg)
     2370{
     2371#ifdef HAVE_SHIFTBBA
     2372  if (rIsLPRing(currRing))
     2373    return idModuloLP(h2,h1,hom,w,T,alg);
     2374#endif
     2375  intvec *wtmp=NULL;
     2376  if (T!=NULL) idDelete((ideal*)T);
     2377
     2378  int i,k,rk,flength=0,slength,length;
     2379  poly p,q;
     2380
     2381  if (idIs0(h2))
     2382    return idFreeModule(si_max(1,h2->ncols));
     2383  if (!idIs0(h1))
     2384    flength = id_RankFreeModule(h1,currRing);
     2385  slength = id_RankFreeModule(h2,currRing);
     2386  length  = si_max(flength,slength);
     2387  if (length==0)
     2388  {
     2389    length = 1;
     2390  }
     2391  ideal temp = idInit(IDELEMS(h2),length+IDELEMS(h2));
     2392  if ((w!=NULL)&&((*w)!=NULL))
     2393  {
     2394    //Print("input weights:");(*w)->show(1);PrintLn();
     2395    int d;
     2396    int k;
     2397    wtmp=new intvec(length+IDELEMS(h2));
     2398    for (i=0;i<length;i++)
     2399      ((*wtmp)[i])=(**w)[i];
     2400    for (i=0;i<IDELEMS(h2);i++)
     2401    {
     2402      poly p=h2->m[i];
     2403      if (p!=NULL)
     2404      {
     2405        d = p_Deg(p,currRing);
     2406        k= pGetComp(p);
     2407        if (slength>0) k--;
     2408        d +=((**w)[k]);
     2409        ((*wtmp)[i+length]) = d;
     2410      }
     2411    }
     2412    //Print("weights:");wtmp->show(1);PrintLn();
     2413  }
     2414  rk = IDELEMS(h2);
     2415  ideal s_temp1;
     2416  ring orig_ring=currRing;
     2417  ring syz_ring=rAssure_SyzOrder(orig_ring, TRUE);
     2418  rSetSyzComp(length,syz_ring);
     2419#ifdef HAVE_SHIFTBBA
     2420  if (rIsLPRing(currRing))
     2421  {
     2422    for (i=0;i<IDELEMS(h2);i++)
     2423    {
     2424      temp->m[i] = pCopy(h2->m[i]);
     2425      q = pOne();
     2426      // non multiplicative variable
     2427      pSetExp(q, currRing->isLPring - currRing->LPncGenCount + i + 1, 1);
     2428      p_Setm(q, currRing);
     2429      pSetComp(q,i+1+length);
     2430      pSetmComp(q);
     2431      if(temp->m[i]!=NULL)
     2432      {
     2433        if (slength==0) p_Shift(&(temp->m[i]),1,currRing);
     2434        p = temp->m[i];
     2435        temp->m[i] = pAdd(p, q);
     2436      }
     2437      else
     2438        temp->m[i]=q;
     2439    }
     2440    rChangeCurrRing(syz_ring);
     2441    ideal s_temp;
     2442
     2443    if (syz_ring != orig_ring)
     2444    {
     2445      s_temp = idrMoveR_NoSort(temp, orig_ring, syz_ring);
     2446    }
     2447    else
     2448    {
     2449      s_temp = temp;
     2450    }
     2451
     2452    idTest(s_temp);
     2453    unsigned save_opt,save_opt2;
     2454    SI_SAVE_OPT1(save_opt);
     2455    SI_SAVE_OPT2(save_opt2);
     2456    if (T==NULL) si_opt_1 |= Sy_bit(OPT_REDTAIL_SYZ);
     2457    si_opt_1 |= Sy_bit(OPT_REDTAIL);
     2458    s_temp1 = idGroebner(s_temp,length,alg);
     2459    SI_RESTORE_OPT1(save_opt);
     2460    SI_RESTORE_OPT2(save_opt2);
     2461  }
     2462  else
     2463#endif
     2464  {
     2465    rChangeCurrRing(syz_ring);
     2466    ideal s1,s2;
     2467
     2468    if (syz_ring != orig_ring)
     2469    {
     2470      s1 = idrCopyR_NoSort(h1, orig_ring, syz_ring);
     2471      s2 = idrCopyR_NoSort(h2, orig_ring, syz_ring);
     2472    }
     2473    else
     2474    {
     2475      s1=idCopy(h1);
     2476      s2=idCopy(h2);
     2477    }
     2478
     2479    unsigned save_opt,save_opt2;
     2480    SI_SAVE_OPT1(save_opt);
     2481    SI_SAVE_OPT2(save_opt2);
     2482    if (T==NULL) si_opt_1 |= Sy_bit(OPT_REDTAIL_SYZ);
     2483    si_opt_1 |= Sy_bit(OPT_REDTAIL);
     2484    s_temp1 = idPrepare(s2,s1,testHomog,length,w,alg);
     2485    SI_RESTORE_OPT1(save_opt);
     2486    SI_RESTORE_OPT2(save_opt2);
     2487  }
     2488
     2489  //if (wtmp!=NULL)  Print("output weights:");wtmp->show(1);PrintLn();
     2490  if ((w!=NULL) && (*w !=NULL) && (wtmp!=NULL))
     2491  {
     2492    delete *w;
     2493    *w=new intvec(IDELEMS(h2));
     2494    for (i=0;i<IDELEMS(h2);i++)
     2495      ((**w)[i])=(*wtmp)[i+length];
     2496  }
     2497  if (wtmp!=NULL) delete wtmp;
     2498
     2499  if (T==NULL)
     2500  {
     2501    for (i=0;i<IDELEMS(s_temp1);i++)
     2502    {
     2503      if (s_temp1->m[i]!=NULL)
     2504      {
     2505        if (((int)pGetComp(s_temp1->m[i]))<=length)
     2506        {
     2507          p_Delete(&(s_temp1->m[i]),currRing);
     2508        }
     2509        else
     2510        {
     2511          p_Shift(&(s_temp1->m[i]),-length,currRing);
     2512        }
     2513      }
     2514    }
     2515  }
     2516  else
     2517  {
     2518    *T=mpNew(IDELEMS(s_temp1),IDELEMS(h2));
     2519    for (i=0;i<IDELEMS(s_temp1);i++)
     2520    {
     2521      if (s_temp1->m[i]!=NULL)
     2522      {
     2523        if (((int)pGetComp(s_temp1->m[i]))<=length)
     2524        {
     2525          do
     2526          {
     2527            p_LmDelete(&(s_temp1->m[i]),currRing);
     2528          } while((int)pGetComp(s_temp1->m[i])<=length);
     2529          poly q = prMoveR( s_temp1->m[i], syz_ring,orig_ring);
     2530          s_temp1->m[i] = NULL;
     2531          if (q!=NULL)
     2532          {
     2533            q=pReverse(q);
     2534            do
     2535            {
     2536              poly p = q;
     2537              long t=pGetComp(p);
     2538              pIter(q);
     2539              pNext(p) = NULL;
     2540              pSetComp(p,0);
     2541              pSetmComp(p);
     2542              pTest(p);
     2543              MATELEM(*T,(int)t-length,i) = p_Add_q(MATELEM(*T,(int)t-length,i),p,orig_ring);
     2544            } while (q != NULL);
     2545          }
     2546        }
     2547        else
     2548        {
     2549          p_Shift(&(s_temp1->m[i]),-length,currRing);
     2550        }
     2551      }
     2552    }
     2553  }
     2554  s_temp1->rank = rk;
     2555  idSkipZeroes(s_temp1);
     2556
     2557  if (syz_ring!=orig_ring)
     2558  {
     2559    rChangeCurrRing(orig_ring);
     2560    s_temp1 = idrMoveR_NoSort(s_temp1, syz_ring, orig_ring);
     2561    rDelete(syz_ring);
     2562    // Hmm ... here seems to be a memory leak
     2563    // However, simply deleting it causes memory trouble
     2564    // idDelete(&s_temp);
     2565  }
     2566  idTest(s_temp1);
     2567  idTest(h2);
     2568  idTest(h1);
     2569  if (T!=NULL) idTest((ideal)*T);
    23612570  return s_temp1;
    23622571}
Note: See TracChangeset for help on using the changeset viewer.