Changeset 4173c7 in git for Tst/Buch

Timestamp:

May 4, 2011, 3:11:46 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

85ba0aaf4c7c467f1fa0dbf0a8b22f8cc10cf672

Parents:

c8a1b262104ff4f22a15159b4777248922f0178f

Message:

use div instead of /, part 1


git-svn-id: file:///usr/local/Singular/svn/trunk@14191 2c84dea3-7e68-4137-9b89-c4e89433aadc

Location:

Tst/Buch

Files:

• Example_7_6_17.res.gz.uu (modified) (1 diff)
• Example_7_6_17.stat (modified) (1 diff)
• Example_7_6_17.tst (modified) (1 diff)
• Example_7_7_8.res.gz.uu (modified) (1 diff)
• Example_7_7_8.stat (modified) (1 diff)
• Example_7_7_8.tst (modified) (1 diff)

Tst/Buch/Example_7_6_17.res.gz.uu

@@ -1 +1 @@
 begin 640 Example_7_6_17.res.gz
-M'XL("#"YCSL``T5X86UP;&5?-U\V7S$W+G)E<P!]5TN3HS80ON^O4+9R$`8[
-MB#=ERX=4MBI;&_O@S<WE3('-[&(P9L"OV:G\]T@@6I+'V3EXH%_ZNK]N27S]
-M^X_/2X00F:._/O^./I[:TZ3,TX_3#U^%QIDC)GS*J_R$C>D'_A_-Y^C3+3G4
-M9?84/@5/))Q4V772GI(3N+ES!,_>!-7-<8M.6=4>FT52M_B0G)K\AA86$D]+
-M`\S]"7J#EV#"?E!>G5!#J^VQ;/'"D.`BT+:T:HY734MLT-;"=ZEH'="^"%]5
-MZX$VL5)K:^VDJH<D<*_6[>AELVY&]49:]+">CPU.*9FF,UI/4].$#)T>&"3I
-M]%"$RXZY[&;T9;I37;S!1'H%@T@X)LPQF=%FFJB.D6(%OJZM2(7[EKEO9[2=
-M;A5WU]$-901/5["_U1IOQ\08O9@["R?\J3;3#5VLMU:R&2W7.RN5-7(#W?]?
-M4*B`0>H!8"GJH<GW'E&3G<Y-A5>22X\M):U"V9A>)!HSS:OC`6'.=F5UI!=0
-M`2]6VM&7+55"?%]V4L-J"&+10L\(HP+-434N$$3U^_3?F(9RC?2*]*P"6XDR
-MHS8Z-JB85\C0:P_FCHC;L+BXH-0V1@T$#[R[X,'0J`B7##HJ9[1@OZ8ID0:1
-MWJPA,-'09H0KDXQ+XS=9C?".EE"CI9&TA"HMH4)+"+0D;=XNSX<T:P0W[/>2
-M;=$%T(4J.Y$Z\&W^(\,7N5PD6'K&-:7$>!.`+FNR,::`(Y)SOZ?56+(9R8TH
-ME<*^-M?O>9GA_9PY\'`F`7CQW:3',$XI3<VN[?#>JMFL0,P8!FL_'DMIH%<U
-MAIV/U^-*+]W*@SFQ^W6O]+IV)I.N%%=#4?<P.@Q*C7OXUM60AAIYJ:)0R".V
-M)(_8#!@\QRJ1G\KLD%4GR22JNU_8^0G?L-_@A3SD:RG)(L25V[^U`FS$5UA9
-MS93XH<8&(?%0ZM8TP=TA@W1%5X*C:MQJ+!''U?@@3K_FBB['_^\3JIQ=J%85
-M86VM%/M8Y[BU+F8+6I>HU"B<N:Y"C>M):EQ?T/'EV/XXE^P<QODN2TITZ]F`
-M.O&]&8KD=J@[TOJ9NBE+Q8,NH2)I/66/#`:I-%#4716'N\`ZV:SE"4&\KJ3`
-M_X+>IB+9A=(#'L#;6X7T'8!UE;:NH/`[0/RXV[/];C^CZ70OCSOB=X`@=]\7
-MK7!/EE5;>YF&'PHS-H=\WN15@/A#BRW6VJ2Q(;/V&WI;\XF3YL'0>QQA09UI
-M,:NGA0(P<(4!8`P&C&)],ID48S;%EW5A$@U+$$K+QW`PX^X?7/"CFR,K5&1#
-M(E#YD$RT51GQTCQT?YIWOU`]+%0K"X5=/G*5#K0D'N2QTN61+;L\(EJ7_WD\
-M',OCMU=H=70X[LYEQJ^>>M?S`P*J&LFMI>H3H>B^^R-?WA$'FX=3$,'@H_2=
-MH6(6JQ?+96?6OZB)QWW9119%Q@_ZYR;+>@$>;K**@PL;Z2_L.@!B7]\,8^@.
-M$3H_<`#*G?W,KOX,#TX,:ZF$C^_\GM&=G]QN;BQ=:P@#2"&68\/6R_-"0ZVZ
-MP$?\;.4'Q5;?@1W;GVC@R6/PJ0K>L4/=R?D)<G:L_Q1[K(;ZSNZ3`)PEPZ`3
-MD\67]N)\XX:0:-V<JPPSD6+FJMN\KO+E"#@D@!%P^#G'ON8^]LVC?<\Y))JC
-M)J^^L:/*MFZ8S:UK6+M:ZN,YZD?EE1Z26_>(92\[#ANU88*H+<7L`_)NX%ZM
-MA64SQR>VP]$;=HW1MZQBH9C`X0)'$;A<0$`P!'5D3OS`?;``&1:PP=!3G%B%
-M7KILO]+VM,/=&GQE)9_@<3[A4(;;XS)$[_*]J7#&[Q(>O\MX_"CE6*+G'VD/
-?UG#>I>P2Q8GM8OQ[G7^,GUL.^=</_P%$2W3HY0\`````
+M'XL("*A'P4T``T5X86UP;&5?-U\V7S$W+G)E<P!]5TN3HS80ON^O4*9R$`:[
+M$&_*E@^I;%6V$OO@S<WE3('-[&(P9L"OW:G\]T@@6I+'F3EXH%_ZNK]N27S]
+M^_<O2X00F:._OOR&GD[M:5+FZ=/TTU>A<>:("9_S*C]A8_J)_T?S.?I\2PYU
+MF3V'S\$S"2=5=IVTI^0$;NX<P;,W075SW*)35K7'9I'4+3XDIR:_H86%Q-/2
+M`'-_@M[@)9BP'Y17)]30:GLL6[PP)+@(M"VMFN-5TQ(;M+7P72I:![2OPE?5
+M>J!-K-3:6CNIZB$)W*MU.WK=K)M1O9$6/:R78X-32J;IC-;3U#0A0Z<'!DDZ
+M/13ALF,NNQE]G>Y4%V\PD5[!(!*."7-,9K29)JICI%B!KVLK4N&^9>[;&6VG
+M6\7==71#&<'3%>QOM<;;,3%&K^;.P@E_JLUT0Q?KK95L1LOUSDIEC=Q`]_\7
+M%"I@D'H`6(IZ:/*]1]1DIW-3X97DTF-+2:M0-J87B<9,\^IX0)BS75D=Z054
+MP(N5=O1E2Y40WY>=U+`:@EBTT`O"J$!S5(T+!%']/OTWIJ%<([TB/:O`5J+,
+MJ(V.#2KF%3+TVH.Y(^(V+"XN*+6-40/!`^\N>#`T*L(E@X[*&2W8KVE*I$&D
+M-VL(3#2T&>'*)./20+O\HE0DO*,FU*AI)#6A2DVH4!,"-4F;M\OS(<T:P0_[
+MO61;=`&$H<I0I`Y]F__,\$4N%PFF7G!-*3'>!*#+FFR,*>"(Y.SO:366C$9R
+M,TJEL*_/]7M>9G@_9PX\G$D`7GPW[3&,5$I3LVL]O+=J-B\0,X;AVH_'4AKH
+M58UA]^/UN-)+M_)@3NQ^W2N]KIW)I"O%U5#4/8P.@U+C'KYU-:2A1EZJ*!3R
+MB"W)(S8#!L^Q2N3G,CMDU4DRB>KN%W9_PC?M-W@A#_E:2K((<>418*T`&_$5
+M5E8S)7ZHL4%(/)2Z-4UP=\@@7=&5X*@:MQI+Q'$U/HC3K[FBR_'_^X0J9Q>J
+M54586RO%/M8Y;JV+V8+6)2HU"F>NJU#C>I(:UQ=T_'EL?YY+=A;C?)<E);KU
+M;$"=^/X,17([U!UI_4S=E*7B09=0D;2>LD<&@U0:*.JNBL-]8)ULUO*4(%Y7
+M4N!_06]3D>Q"Z0$/X.VM0OH.P+I*6U=0^!T@?N3MV9ZWG]%TNI=''O$[0)"[
+M[XM6N"?+JJV]3,,/A1F;0SYO\CI`_*'%%FMMTMB06?L-O:WYQ$GS8.@]CK"@
+MSK28U=-"`1BXP@`P!@-&L3Z93(HQF^++NC")AB4(I>5C.)AQ]P\N^/'-D14J
+MLB$1J'Q()MJJC'AI'KH?YMTO5`\+U<I"89>/7*4#+8D'>:QT>63++H^(UN5_
+M'`_'\OCM![0Z.AQWYS+CUT^]Z_D!`56-Y-92]8E0=-_]D2_OB8/-PRF(8/!1
+M^LY0,8O5R^6R,^M?U,3CONPBBR+CA_U+DV6]``^W6<7!A8WT%W8E`+&O;X8Q
+M=(<(G1\X`.7>?F;7?X8')X:U5,+'=WXOZ,Y/;C<WEJXUA`&D$,NQ8>OE>:&A
+M5EW@(WZQ\H-BJ^_`CNU/-/#D,?A4!>_8H>[D?("<'>L?8H_54-_9G1*`LV08
+M=&*R^-)>G&_<$!*MFW.58292S%QUF]=5OAP!AP0P`@X_Y]@7W5/?/-HWG4.B
+M.6KRZAL[JFSKAMG<NH:UJZ4^GJ-^5'[00W+K'K'L9<=AHS9,$+6EF'U$W@W<
+M#VMAV<SQF>UP](9=8_0MJU@H)G"XP%$$+A<0$`Q!'9D3/W`?+$"&!6PP]!0G
+M5J'7+MNOM#WM<+<&7UG))WB<3SB4X?:X#-&[?&\JG/&[A,?O,AX_2CF6Z/F'
+@VH,UG'<INT1Q8KL8_V;G'^3GED/^]=-_`"Y`[^D/````
 `
 end

Tst/Buch/Example_7_6_17.stat

@@ -1 @@
-1 >> tst_memory_0 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:168756 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:225004
-1 >> tst_memory_1 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:728632 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:666308
-1 >> tst_memory_2 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:728632 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:731876
-1 >> tst_timer_1 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:10 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:13
+1 >> tst_memory_0 :: 1304512424:3130- 14004 :3-1-3:ix86-Linux:mamawutz:225060
+1 >> tst_memory_1 :: 1304512424:3130- 14004 :3-1-3:ix86-Linux:mamawutz:666332
+1 >> tst_memory_2 :: 1304512424:3130- 14004 :3-1-3:ix86-Linux:mamawutz:731900
+1 >> tst_timer_1 :: 1304512424:3130- 14004 :3-1-3:ix86-Linux:mamawutz:13

Tst/Buch/Example_7_6_17.tst

@@ -38 +38 @@
    for (l=1; l<=k; l++ )
    {
-      r=r*(n+1-l)/l;
+      r=r*(n+1-l) div l;
    }
    return(r);

Tst/Buch/Example_7_7_8.res.gz.uu

@@ -1 +1 @@
 begin 640 Example_7_7_8.res.gz
-M'XL("#"YCSL``T5X86UP;&5?-U\W7S@N<F5S`'U8W6^C.!!_W[_"M[H'""2+
-M#0E$B2/=QTI7W24/V7V+>BM(Z):$$`KY:JO[W\_&>,9DNVVEE'AF/+_Y'OKE
-MZY]W"T((G9%_[GXG'X_U<9!GR<?)AR\MA<V(./R6%=G1LB<?Y%\RFY'/UWA?
-MYNFW4/Q&@R*]#.IC?`0I?T;@.1C(NS^65;;?I.N;ZX<&XVA`RNJP)L>TJ`_5
-M/"YK:Q\?J^Q*YBYIGQ8VL(<#\@I?HH'X(%EQ)!4OUH>\MN8V:*$>4&M>5(=+
-ME\J`6K:R"X,:`/6IE36I(Z#&;N*NW0V2%*06]W)5]Y[N5U6OO`<.IF`]'"HK
-MX7223'DY21P'+&0*&!C)%)169"-$-E/^--F8(B/-@E*1/FH%8R$83WDUB0U!
-MWS.X0-9GQFDKOA;BZRFO)VM3/.@RX@VC+D'\+%?6ND_MWI.S<:U8/I5.<L_G
-MJ[4;W_<6JXV;H(_\J"O_GR8$)F`\!<!XI*#A=X6H2H^GJK"6&,M`J$*N,2;F
-MT&L3,\F*PYY8,MJ%VP1]!QX84B,=AYA2.=P_Q$RJA`_AN$VA!V*1'9F1HK\C
-M>*LR_U50N*2`U,CK6C5BQBU3[I%#17:S@M@WSO_T2:3C.8MSLH[KM`;QH-53
-M"3W6CG//[E6H;'2C+-*)2ZQ<F$+R*=^)3\=!Y*'73=X0(E/QJF<5#NWG]B?T
-M3G@3IK`3I@K#%)IA"D685&CB.JL7IWV25FU\Q.<Y79,S((H\(T(1-8J^SEY2
-MZXPJ(K]UIE5R3NW7%L1Y1>_M">B.AG#%EA=]C&@4`B'!PW%S>'G,\M3:SH2`
-MO,ZA`&],NPX;^]IA"4^<)O6LK5N*>H$[QT/-LNWW\33L>G(\UG"D/R[\W&C6
-M[-13>B_\LF*#0>.*BVV0%8P&@^%C!=^]V,@X-`.6&(00`T:]".J*>@*8?J90
-M8U+)YSS=I\41(TG*YA.Z/Z5&N5'=P6_BM<!@4:.-U^X2L+7]6T5E.37NCSK1
-MH`S:3>TX(,X@J9=\V<:HZ->=*%'6S6S:]N@E7_1_+A.9,3OSCE=:;A=[%_6]
-M;HQK]^S42&5F:(R8R;8-N'R<Q=37L_CO0_URRL4LMK)-*KK&544#_.0;4YBJ
-M9MT$3=74%56I?MT,2MX:W359M>ZF:)#!(#=>U/O`*KY?X92@JJ=#_.?\.FF-
-MG1LY$`"\K0N=E`XUL,;3[@4)#2`Y\K:BQVVG/)EL<>11U<[!]J$>=+?!<DMW
-MBV8,]3P3=2CK#=<!.M(I-E]U*DT4F;N]Y]>5K#B#7>>>1+CC;+*;EI.=`7"D
-M9S)@'!G#6.JG@\&N+ZKXO-HYM(O%&+MOP[%$[/ZU=G)\2V0[`UFH#0'/0_-O
-MM8K`&^S!NW8K1:565)J*&GM02P,:`Z_/9>,'IHABED>LD^5_'?:'_/#]&5*=
-M[`^;4Y[*];.;]7)`@%<C;"V%,H23V^R/C#U1\[Q9!1$NLLD/C,@V]LSE<M&P
-MJ2^FX6/E]M:*72J'^T.5INK`TMNL(1!`(_U%K`!P/.HVPS%D1WMUMI<`C+W]
-M)%X3!!XKMEW<EIGGW<@]D!LY;#=78:ZKKP&DQEW0>J5=1/NJN?A@/;C9WN#M
-M=F#FC08=\/1M\$D7?-058N\@%V/]/>SM^TA[U:/8*0&X,$9`IXZXW^!7MDI&
-M,+2L3D5JB2.#+3#;?)<TPA)@-(028'+.-26P2<OCHZ43W@;Z&#.=M4-0E<>>
-M[^-K\VAA_C*&FV\[`PP4#"LEPT-S!&?3`E2S[@AF\(J2X01F\(8B<K91=U/*
-M>W?N9K8M%UJ]%A3]3,0'Q@+S;[+#[VR>'L+WC<V3^?B"P`*]O/QQ>$R+>;R.
-M3WG\_#6MCS\Z-#`6%Z9F7JM)16`NL&ZRO54?-]9OA>QC9N8$QL!FP="`,!K@
-MLYC)559\%RN&YXIT?'9?;'=3XR5B!U,QO./7%_?Y!2G"*(V8W_6,7F&$>.C-
-MWC!4MAT/6+#),CE&A1[F/#/W)<1;_-E[.H*?Z:#`8E@OAZ_\+X7\'\2IEA?]
-+^N%_>@-GG-L0````
+M'XL("*A'P4T``T5X86UP;&5?-U\W7S@N<F5S`'U86V^C.!1^GU_A'>T#!)+!
+MA@!1XDA[&6FKW>0A,V]1=P2!3@F74,BMK?:_KXWQL<ETVDHI\3G'YSOW0[]\
+M_?-NC1#"2_3/W>_HX[$]3HHL_CC_\*6GD"5BA]^R*CL:YOP#_XN62_3Y&I5U
+MD7X+V&\XJ=++I#U&1Y!REPB>O0F_^V/=9&62[FZNGVJ,_@35S6&'CFG5'II5
+M5+=&&1V;[(I6-NJ?UB:P!Q/T"E_""?M`675$#:UVAZ(U5B9HP0Y06UHUA\N0
+M2H!:][)KC>H!]:F7U:D^4",[MG=VHD@"4H][LVU'3_?;9E3?`P<1L!X.C1%3
+M/(\7M)['E@46$@$,C"0"2B^2,)%D09_FB2[B2Q8E%<JC7C!B@M&"-O-($W0=
+MC0MD7:*=]N([)KY;T':^T\6](:.ZP1\2V,]F:^S&V!P]68EM1/RIMN)[NMKN
+M[.A^M-XF=JQ\Y(9#^?\DP=,!JU,`K(X$-/5=(&K2XZFIC(V*I<=4*:Z92LRI
+MTR=FG%6'$AD\VI7=!3T'#TRQEHY3E5(%W#]5F=0P'\)QGT(/R$`Y6J)JG"-U
+MJS#_E5$HIX"4[PRM\HEVRX(ZZ-"@?%DA\\;YGSZQ=#QG48%V49NV(.[U>AJF
+MQ\@I=<Q1HY3Y-\I"F;C(*)@IJ%C0G'U:ED(>.,/D#2`R#6U&1F7A<6&B)#MK
+M'@IN0A4,0M6H4`5ZJ`(6*A&>J,W:]:F,TZ:/$?L\ISMT!E2AHT4IQ%KAM]E+
+M:IR5BM#M'6K4E&+SM0=QWN)[<PZZPRE<L:?56$4U#(`0J\-9=WAYS(K4V"^9
+M`+_.P@!OAH=.F[G2:3&-K2[]C+U=LYJ!.V=3R;(?C]5I,/3D;";A<']<Z+G3
+M+-FQ(_1>Z&5+)I/.%1=3(PL8'0;-QP*^?3$5XU0/6*P1`A4P[(106]AAP.0S
+MACKC2CX7:9E61Q5)5'>?,`$PUDH.RRY^$Z^U"A;66GEK;P!;W\-%5#8+[?YP
+M$`U,H.6TE@7B!!)[0S=]C*IQ.X@2)L/,QGV?WM#U^.<RH1ZS,QUXI>>V5?_"
+MKC.,<6N?K591B1X:+6:\=0,N5\UC[,IY_/>A?3D5;!X;69*RSG$5T0`_N=HD
+MQJ)A=T$3-755JD3/[H8E[8T>FBS:=U<TBD$C=UZ4.\$VNM^J28%%7X?XK^AU
+MWAN[TG+``WA[&[HIGDI@G:?MBR)T@/C8V[,^MU_0>+Y78P^+E@ZV3^6PNPV6
+M7=M[9<94SC16A[S>U$J`?9EBJ^V@TEB1V?M[>MWRBM/89>YQA#DE\WQ1SW,-
+MH"_G,F#TM8',]>/))!^S*CYO<PL/L6BC]VTX!HO=OT;.1SA'EFO(`FD(>!X&
+M0*^5!5YC]]ZU6RBJI:):5]39H[1TH%7@Y3EO_,`48I7E(1ED^5^'\E`<OC]#
+MJJ/RD)R*E*^@PZSG`P*\&JK64@E#*+K-_E#;%27/FU40JF4V_H%1L<T<?<%<
+M=VSBBV[X3+B]MR)/^8!_:-)4'!ARH]4$/&BDO[`U`([]83.<07;T5V<E!Z#M
+M[B?VJL#P&)%IJXV9.,Z-W`.ZD5/MYLK,M>4U@%2["UHOMPM)7W47'XP'.RLU
+MWF$')HX_&8#';X./A^##H1!Y!SD;Z^]A[]])^JL>V5X)P)DQ##JVV/T:O["5
+M,X*A=7.J4H,=:6R>WN:')%^5`,$!E`#A<ZXK@22MCX^&3'@3Z#.5Z:0?@J(\
+M2EI&U^[14/E+B-I^^QF@H2"J4C)UJ(_@;%&!:C(<P01>4S(U@0F\I;"<[=3=
+ME')IK^S,-/E2*]>":IRQ^,!8(.Y-=KB#S=-1\%UM\R2N>DD@GEQ>_C@\IM4J
+MVD6G(GK^FK;''QWJ:8L+$3.OUR0BL&)8DZPTVF-B_%;Q/J9GCJ<-;.)--0C^
+M1#VSF=QDU7>V8C@V2\=G^\6TDU9=PG8P$<,[>GVQGU\4A1DE$=.[D=8KM!!/
+MG>4;AO*VXP"+:K*$CU&FAUC/Q'X)U"WN\CT=WL]T8&#1K.?#E_^G@O\?XM3R
+-BW[]\#_W7RI`WQ``````
 `
 end

Tst/Buch/Example_7_7_8.stat

@@ -1 @@
-1 >> tst_memory_0 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:185536 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:229488
-1 >> tst_memory_1 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:761400 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:666308
-1 >> tst_memory_2 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:769592 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:764660
-1 >> tst_timer_1 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:18 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:13
+1 >> tst_memory_0 :: 1304512424:3130- 14004 :3-1-3:ix86-Linux:mamawutz:229632
+1 >> tst_memory_1 :: 1304512424:3130- 14004 :3-1-3:ix86-Linux:mamawutz:666332
+1 >> tst_memory_2 :: 1304512424:3130- 14004 :3-1-3:ix86-Linux:mamawutz:764684
+1 >> tst_timer_1 :: 1304512424:3130- 14004 :3-1-3:ix86-Linux:mamawutz:13

Tst/Buch/Example_7_7_8.tst

@@ -40 +40 @@
    for (l=1; l<=k; l++ )
    {
-      r=r*(n+1-l)/l;
+      r=r*(n+1-l) div l;
    }
    return(r);