Changeset 581ac1 in git

Timestamp:

Jan 23, 2014, 4:41:05 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')

Children:

10b5cf7e520c37bef5070a9c4e695ebc346eb0cf

Parents:

9df7272b3c87bdfa3acfd6f0e99c94ca6b1230ac

git-author:

Martin Lee <martinlee84@web.de>2014-01-23 16:41:05+01:00

git-committer:

Martin Lee <martinlee84@web.de>2014-01-27 16:12:23+01:00

Message:

chg: more tests for gcd

Location:

Tst/Short

Files:

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

Tst/Short/gcd0_s.res.gz.uu

@@ -1 +1 @@
 begin 644 gcd0_s.res.gz
-M'XL("-H=OU```V=C9#!?<RYR97,`O5IM;]LX$O[>7T$4!]2V(IL<OHC<(@;V
-ML(?#`G<+++KWY3YTJSA*8IPC!7IK^N]O2$D4Y;?&R>X"K4USAL/AS'#F&2F?
-M?OOIYU\((6Q-5JMWG_I?L,1?Y'YS2W^OEG55DYA4#T59DSJKZHK<%:4EDDVZ
-MVS2[M-X6>46V.?GOTDO@RU"></)^W.U(DV_;M-RF=4;R(H_K<MMNTQW)GM/'
-MIUU6D4WQF)&[LGBT&_P'F>FG^G9YESV3HO3BY*">8_AQ]_206I8E(9_L\N*.
-MU`_9*#,M,_+8[.KMTVZ;W9*OV_J!9+OL,<OKRLM43J;;^5=2%^ZD9+/+4-G\
-MWHJ\S?+B<9NG=5%6XSF3R3FU$_);N#F:Q1WXQO[XTGP@:7Y+OK0?T'C#2;]L
-MBJ<RK:IL!BNZ8O,/7IYQ\E!$5=_^VYZ@I?_<W"ZWN5>`T5`!QCH%"O)3\8.?
-MA`F+\PPI.HL,OCCPIC/24UJBDG56>C,QT:].=_=E=E.FVPT>M<[RRJU",VT>
-MTI)0=&Y-MM8"ULIH]&]9[65T[B-D=M,,$97NRBR]_8:RME4]]YQJHCG:VH_1
-MTO_Z^>_D/0;G<K>]>?_14\R:X.3OVWQ;S^8?W]EOLEX/P9QG7Y=5G7IE@*Z]
-M4&#A=M!=@IBX`"C9-;UZOKI]\I:'28B#&)4#/*!3X3XORFQ&WD\E?'Q/4"\4
-M/?+\L+>)/PVH]4E2$FB.YG@J=M_(W?4L-E**Q?-G$3/01N*(QXQ2X#B"6`'#
-MP7R4@N9R*^_]%`],PKN`JNRUVK^KG@<-A=:=T2M"43#U\WP]S',&'$GVRU-%
-M1Q5<\FZA'7FJ#'107OX=LMGC/8O('>Z91^YHSQ#9@SW[)4DG_*Z3_*(E.MC1
-M=#N"5;C;E0TT0;UHUA]KI+%1AH#3EL,;W1:[UOG5W3>DY<WC37#1!$;7W35C
-M*Y%H(Q;,+"YTK!"!+G(9>F*%_X545G,J<`?&)'A6-;IEI1-C_XWN&68\=Q"#
-M0E_L)F$N=I,,@E.RP$VK?4=)F#IJ!1,J#^2(T57HG>IDI$MIG3(#:_K(?H+]
-M'&TNK?&N9Q-JQ`+Z&);W.(MG0[(G!@$HC=LH?OYL8H62=,P8?B4Q2_!+Q<S&
-M@>R^1*Q=*"@7!KAC'.RHJ-/("0(G")P<[A:J8"'?6\@FJGHM%8Q:*A>C,ZN$
-M0:]9\1$8*S\2]I>*7+S*2%@-1<1=S$;N#.C6J6V4Z&W'F"5]9C1R9S8=OX[<
-M89/N2T7:"59.;N</E!E(DR?4[\.;K?"VV,A8B<64(8AHI=WYF&`@*77;8BSJ
-M1%)G?64P0MV\O9'4,G5WTHBD)Z`_$D@2MSI0SKBC,JD4[1G1EUQQK:0"V9U)
-M0:*HZ*B\$\/[+2`2"K2FFD[E)G0:7AB%_MXD06I*)H`@X9,Z!]=X@]-Y5VL(
-M`AY;':Y35"E%(Z>X>1HQ7P03,1$EQR*8J*-%<"+^="&<L'F1R?HL&2_0"7U'
-M'C.:0=/7%DW-#HJF#NZ%[BQZMRVK^JI+*STD+=E8`V;5;GO_4*.4Q^)V>X?(
-MU.,>+8Y75"TG%761(G%F1^FX5)TKJSJ(;GV8KQ=#]ET,Z7?1Y]^%#R1]F+-?
-MLLP$>=NPT^75P.GR:H*<;<2;RJN1;RRO1@6Z)-/R.NOJ*[K'^B<>BVS*PQ\0
-M_@C&WI=&7U*+S1C:J/;HVU7Z<C<QRE[C748AV)N'57EFHW3J8SSIF<K,J`QD
-MJ9=59D:3LY6947VV,C-J3E=FQL;897V']15;IH(4>=<G#1?8=WHDQ[[)*V<;
-ML%.IL)U?-2](A0.;%XE7X7];[*=+&.?$^NP2.:;'%M-CB[9HT1+MF!X94\%)
-MDR$]CF2]G_<8"Z(.7"]*=BEVSK;_P^;9)\"SWNL:K^#:VER)'6;?8`Y6Q?[^
-M'_LK.Y1M.WS72I=\Z4D=.D%TU'R&18N(H5FTMB*+13,Z'CK8$2O1LS'5\04L
-M4RS1^/G`6-#%'S.`8A2N%[@/Q;'$L8RX%OV86S#4?!8X5)%1_5#$,AG&$#L.
-M[A8R(?HQ#Q32/7[@RN^6*#WL%O>$;CN_AXHZGFX_-^WV".1.+P'N+*.9:%'E
-M%B+>1F*^:$34#-6$!8TBLXVBM3;(7K#-&9U)\42]48,S<`CLWAO%\48<NF'<
-M&1,70[<X%IUG'/.B#63Q?;TAFL4M:NLY1*"I#"`+XVJ"?KB].?5\TNDSGDQ6
-MZ.4HRQR]V:&4,S=[PC:(M/WE.?*(XYAM,5\%8)C@!Q<YZ!>9D&\#,$RHHP"&
-MB60*8.H!P-3C4GT&P#`1I!M)7P-@F'Q=B9-!B9/\)(!A4IP$,$P&I4VJMP`8
-M)I.W`1@6M)M,FN,`IIX/SPAF#IF,7E+T`FC"5!"T"@)H4E_@`,5?Y3<5Q+62
-M>]"DWH<F0W]X')H$S2%3^H701)GST"2AYZ%)PLY`DR2(RKZ1NPB:V/[M5`)K
-MYE?M"Q+8P.9%R@&:\'%.K<\N">R:Z`/8D1P\HV0Z*#V:O1)V:#@".^HRS:M-
-MEM]F>8UK!K/Y-2]"%?K[J$(??T+!=(`J]%^)*O2?A"KT%%7,FOFB%5B?18.E
-M'<<<,8:=&QY!LJ!59.9"6&'^0%AAIK"B=3K[#&B"O&(FD,),(86XIE>S^NIY
-M'D(*,X$4YLA[HP[."@=MZX>B\@#WQ*L99KJ719N'-+_'^UX7W?[^Y=.P-]#P
-ME1%0YN$,T..-2GB",]E@PN9%\O59\FA%H/*5<`:HVD\00)-`L'X;G`%JCL(9
-M8/00SM2>R,X`&6!CX@;&+WUR#DP<%,/O+I'!CNHD@`&6G`0PP'0@P[P%P(!M
-M%M\"8`!&4`$`QUYP3/T!_`+(`A`$)DQ@`[IYSV)P#C1`\)X.X(6@`>`\:`!^
-M'C2@IJ=!`_`@]OCEH`%M>SI--/:YP_?3Q,#F17K0(,8YM3Z[)+`K/P`-P`]`
-M`XBQL(!X)6@`L0\:;@JTF,^RGNTE.`'$=W$"B.-/'T"HX#!_(4X`\>?@!!!3
-MG("U5B(V:`2"!8&?$#>\]>DS>`T(\C*,`/*/PP@@^;[2$#6MIXKN;Q'L'QPT
-0U0SOY]_>_1\Q\1V8<2,`````
+M'XL("$<WX5(``V=C9#!?<RYR97,`O5IM;^/(#?Z^OV*P*+"V9=E#SHND2VW@
+MBCL4"W0+%'O]TJ*Y56(Y$>I8.4OV.BWZW\L92:.18WOCY.Z`W6@D<C@<DD,^
+ME/SYIQ\^_I4Q!G,VG;[[W-SAA.[8W>V"_UQ.JK)B(2OOBTW%JJRL2K8L-H;(
+M;M/5[7:55GFQ+EF^9O^8.`EBXLN35M[WJQ7;KO-=NLG3*F/K8AU6FWR7IRN6
+M[=.'QU56LMOB(6/+3?%@%O@[,?//U6*RS/:LV#AQJE7/,GR_>KQ/#<N$L<]F
+M>K%DU7W6R4PW&7O8KJK\<95G"_8UK^Y9MLH>LG55.IG:RK0K_XU5A=TINUUE
+MI.SZSHA<9.OB(5^G5;$INWU&O7W&5LA/_N)D%KOA&W/S9?N!I>L%^[+[0,9K
+M=_KEMGC<I&69#7#*IS#\X.0E5AZ)**O%)[.#'?_S[6*2KYT"P'T%`&H%"O9#
+M\9U[B#T6ZQE6U!9I??',F]9(C^F&E*RRC3,3R&9VNKK;9#>;-+^EK5;9NK2S
+MR$RW]^F&<7)NQ7)C`6-E,OI35CD9M?L8&]QLVXA*5YLL73R1K+RLAHY3]S0G
+M6[LQ6?HO'__$WE-P3E;YS?LK1TGFC![^G*_S:C"\>F>N;#YO@WF=?9V45>J4
+M03YW0A'\Y;`^!"&S`;"!&1_OQXM'9WGLA3C*3CFD#5H5[M;%)ANP]WT)5^\9
+MZ46B.Y[O#A9QNT$]/TF*/,W)'(_%ZHDM9X,P44J.]M<R!(P312,1`N<H:(2A
+M1J#!L)-"YK(S[]PCX9E$U`%5FF-U>%8=#QF*K#O@8\9),'?/Q;Q]+@`%D<S%
+M465-E4*)>J(9.:KR=-!._I+8S/;V,K";VXO`;FV/@=G8WDV):N'+6O*+IL3>
+MBDF](AJ%ZU6AI4GN1$.SK8X&G0R)IRU')WI7K';6K_:\$6V]?;CQ#IJDZ%K.
+M`*8RBA,Y@F1TH6.E]'11$]\34_HOE3::<TDK`"ATK+ISRS2.$O.O<T_[Q'%[
+M,2CCB]TDDXO=I+S@5."Y:7KH*(5]1TVQ1Q6>'-FYBKQ3GHQTI8Q3!FA,'YB_
+M:/YV-E?&>+-!CQJ`1^_"\HZ>TMZ([(A>`*K$+A3NKY-0DZ0X!*!+%$)$%QV"
+MB0-57V08VU#0-@QHQ=!;47.KD16$5A!:.<).U-Y$<3`1>JHZ+35V6FH;HP.C
+M1$)>,^(#3(S\0)H['=AX58$T&LI`V)@-[![(K7W;:-G8#L"0KH$'=L])S1\'
+M=K-1?=%!;`5K*[?V!\GTI*D3ZC?A#5,Z+28RIG+49_`B6L=V?R`!%>=V68K%
+M.%+<6E\G%*'VN3F1W##59S*144,@?T0817:VIUQBMPI*:]XPDB^%%K%6&E6]
+M)XV1YK*FBEJ,:);`0&J,8Q[SOMR(]\.+HM"=F\A+35$/$$2B5^=P1B<X'=:U
+MAA'@,=5AEI)**1DYI<73`%P1C&1/E.J*8*2/%L&>^-.%L,?F1$;SLV0Z0"?T
+M[7B2S@PQ?VW1C.%9T8R]<Q'7%EWFF[(:UVFE@:0;Z&K`H%SE=_<527DH%OF2
+MD*G#/;$\7E%CU:NHHY2(`S-*NZGZ7%F-O>B.G^?K49M]1VWZ'37Y=^0"*7Z>
+MLU\R+?'R=@*GRVN"I\MKXN7L1+ZIO";JC>4UT9XN4;^\#NKZ2NXQ_@F[(IL*
+M_P;]&V_L?)G$E]3BI`MM4KOS[31]N9N`PVN\"QR]M85?E0<F2OL^IIV>J<S`
+ME2=+OZPR`X_.5F;@\=G*##PY79D!NMB%IL/Z2BU3P8IUW2>U!]AU>FQ-?9-3
+MSC1@IU+A;CC>OB`5MFQ.)!V%?^?43V^P>R;G9Z>H+CWN*#WNR!8[LL2N2X\`
+MVMMIU*;'CAP?YCT`+^K0]J)LE5+G;/H_:IY=`CSKO;KQ\HZMR974838-9FM5
+MZN]_/)Q9HVS3X=M6>B,FCE2C$T)'VVL<[0@Q;$<[4Y'E:-LY'FO8$6K9L(&N
+M^3R6/I;8NN>>L;"./TB0Q&B:+VD=3F-%8Q6(6#9C8<#0]EK24`>);H8R5%$[
+MQM!R"#L1I&S&PE,H;O"#T&ZU2,?M:F%#J)=S:^B@YJG7LX_M&I[<_B&@E54P
+MD#M2>8>!V`5R.-K*8-M6$_`:13"-HK$VJD:PR1FU26E'C5&]/0CT[-X8Q?(&
+M`NMA6!N3)F,].92U9RSS:.?)$H=Z8S`(=Z2MXY">ILJ#+"!T#_T(<W*J8:_3
+M!Q'U9L233E9R]&3[4LZ<[!Y;*]+TE^?('8X#TV*^"L"`%,\.LM<O@E1O`S`@
+M]5$``S+J`YBJ!3!5-S4^`V!`>NE&\=<`&%"O*W'**W%*G`0PH.1)``/**VU*
+MOP7`@(K>!F#`:S=!)<<!3#5LWQ$,+#+IO*3Y!=`$M!>T&CUH4EW@`"U>Y3?M
+MQ;56!]"D.H0F;7]X')IXS2'H^(701"?GH4G$ST.3",Y`D\B+RJ:1NPB:F/[M
+M5`+;#L>[%R2PELV)5"TT$=TS/3\[Q;-K%#^#'=&S=Y00>Z4GAE?"CAB/P(YJ
+MDZ[+VVR]R-85S6G-YN:\"%7$WT85\?$W%!![J"+^/5%%_!NABKB/*@;;X6@G
+MJ3[++95V&@O"&.99^PH2O%81D@MA1?(KPHJD#RMV5F>7`1,OKR0]2)'T(86<
+M\?&@&N^'/J1(>I`B.?+=J(:STD+;ZKXH'<`]\6D&DOICT>U]NKZC\UX5]?KN
+MXU.[-G+_DQ%R<'`&^?%&Q=_!F6S08W,BQ?PLN;,B<O5*.(-<'R8(Y)$G.'X;
+MG$&>'(4S"/PYG*D<$<X`&80N<2.(2]^<(\AGQ?";4Y2WHCX)8!"BDP`&(?9D
+M)&\!,&B:Q;<`&,0.5"#BL0\<?7^@N`"R('J!B3W80&X^L!B>`PWH?:=#?"%H
+M0#P/&E"<!PVDZ6G0@,*+/7$Y:"#;GDX36_/>X=MIHF5S(AUHD-TS/3\[Q;.K
+M>`8:4#P##2B[PH+RE:`!Y2%HN"G(8B[+.K:7X`24W\0)*(^_?4"IO<W\CC@!
+MY6^#$U#V<0+56D788"L)+$CZB^%6[%SZ]#X#HKH,(Z#Z]3`"*G&H-`;;G:-Z
+M2<1\.ZRCV03S?OS4"V;55K`E7#4#[(@4Z>8G-X-\7;%\QJ]8_D?SZ8FN0>"*
+ME*(S\%]W8_('S)80[*\']C-5F`]'3]>Y$ZJ-U7"VQ.#)X]C['!3"_W,WLOY9
+MA?GMQ+8<=!8P7]JLPH\S:P@8+[WH-?W4\6FTIWR1T0'[R&;,SNIHYD-.2@=P
+MSS[-RJ?_##YZ\Y(3`DT;9?7XA?8T_?1/&,._.B*<FN6E0M,_E>8W*_GR:?`X
+@AF'H[GX9@U_W(\^O4?-CCT8T\?WAW?\!_3\XS54E````
 `
 end

Tst/Short/gcd0_s.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1354702278:3150:3-1-5:ix86-Linux:mamawutz:189748
-1 >> tst_memory_1 :: 1354702278:3150:3-1-5:ix86-Linux:mamawutz:2241576
-1 >> tst_memory_2 :: 1354702278:3150:3-1-5:ix86-Linux:mamawutz:2274360
-1 >> tst_timer_1 :: 1354702278:3150:3-1-5:ix86-Linux:mamawutz:4
+1 >> tst_memory_0 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:195372
+1 >> tst_memory_1 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:2217020
+1 >> tst_memory_2 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:2257992
+1 >> tst_timer :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:11
+2 >> tst_memory_0 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:215900
+2 >> tst_memory_1 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:2217020
+2 >> tst_memory_2 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:2257992
+2 >> tst_timer :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:5
+3 >> tst_memory_0 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:256068
+3 >> tst_memory_1 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:2217020
+3 >> tst_memory_2 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:2257992
+3 >> tst_timer :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:1
+4 >> tst_memory_0 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:276108
+4 >> tst_memory_1 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:2217020
+4 >> tst_memory_2 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:2257992
+4 >> tst_timer :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:1
+5 >> tst_memory_0 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:276236
+5 >> tst_memory_1 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:2217020
+5 >> tst_memory_2 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:2257992
+5 >> tst_timer_1 :: 1390491463:3170:3-1-7:ix86-Linux:mamawutz:19

Tst/Short/gcd0_s.tst

@@ -252 +252 @@
 g=(-64*u^3+48*u^2*v^2+32*u^2*v-192*u^2-12*u*v^3-4*u*v^2+48*u*v);
 gcd(f, g);
+
+ring r=0,(x,y),dp;
+poly f1; poly f2;
+for (int i=0; i<1000; i++)
+{
+f1=f1+x^(10000-i)*y^i;
+f2=f2+y^(10000-i)*x^i;
+}
+tst_status();
+poly p=gcd(f1,f2);
+tst_status();
+ideal I = f1,f2;
+matrix M=syz(I);
+tst_status();
+poly q=f2/M[1,1];
+tst_status();
+
+simplify(p,1)-simplify(q,1);
+
 tst_status(1);$