Changeset 0f0b30 in git for Tst

Timestamp:

Nov 4, 2015, 6:38:36 PM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

6cb2c6e4fa53485325bcb601fde6381c9bfd563c

Parents:

f2078ebbc640cc92f43acffa7079852974936c36

Message:

fix: some place of ideal==int

Location:

Tst/Short

Files:

• dim-test_for_rings_over_integers.res.gz.uu (modified) (1 diff)
• dim-test_for_rings_over_integers.tst (deleted)
• test_zero_ideal_decomposition.res.gz.uu (modified) (1 diff)
• test_zero_ideal_decomposition.tst (modified) (2 diffs)

Tst/Short/dim-test_for_rings_over_integers.res.gz.uu

@@ -1 @@
-begin 644 dim-test_for_rings_over_integers.res.gz
-M'XL("*D`0U(``V1I;2UT97-T7V9O<E]R:6YG<U]O=F5R7VEN=&5G97)S+G)E
-M<P"UEM^/FD`0Q]_OKYB0/L")*+LL^"/PT%P?+FFNB?;=>.>>(;D#`^M5V_1_
-M[P"RNQZHF$:-$=B9X3N?F8&=_WQX?`(`-X+OCU_!$+EPWN)G8WHW/ZR0"/#B
-M(DYB85K3N^(?H@A6\7M?<%QX3;-%%B?K?)%^\`SM!%_S+'<2_LO)Q5+(0/00
-M:)VD&3>-)!6PR=*/>,57L.?"P."#@68R@<\F,I07@3QF#@R:GT*?:4&A$%`A
-ME`JA4`BUPC:WQD?>QG?*&)#A+ZQCV.;.WEOV:J-P!1'DHK:<BPR-JW,3SRUE
-M-])2&#N`*2[?($9K5]JXPZBX$?#=AK\(OGJ(WWF2QVFB++!LC56,T=>"8/WB
-M5S`+EF9));;"L.EDX5?Z4`=5_0'X-IO]F(%I*)@3>3\H@U7"3=>R\+9&[Y!J
-M([S5,^SGK8`UJI!6E1A<DA4"`WHU-VN*&OY*25K)72QYB4I/T\<TPURL,**Z
-M&%S&,ZKP@,X'PK#%KR`$2@06[1(A#5#?1??P+"`X0^@D()T1&2I&Q'4^(R)Z
-M)U2DPM`]SHK0TUEE&8J88,225<9?TG42_\8TESELBZ>"T2))*QO!LLEC_U!"
-MIN0%+14DH_8*$F4QUK(Z4[XRS]J)#IWK^IL5[A<:_%S].G0X=14J2A0J2FM4
-M]X',FGHML"B[!(OZ#5@MSX+CEJ#!Y48_0G4?=(!UCE476-KCDXX/@':V:G9O
-MV`+(N_RX]$A70M*#7ME+*//VW>1I@^=I@^?Y$A952;>-GG=B]#16S=$[U4VU
-M"QM>UTRH\O;-Q+3)8T3RV6N$&&TAQ+QV0D-EP:[M)N9?"VC?"=%_MA,+-$0C
-MU4YL7+UFB`V[_E[F[1?35^Y\CH#Y)^9/M93?:?R.-BM^XY5UCA>Q4>?M6\K7
-:QL_'\2MVM<5F>)OC5FGZY>X?M@TT^'<+````
+begin 640 dim-test_for_rings_over_integers.res.gz
+M'XL("'P@.E8``V1I;2UT97-T7V9O<E]R:6YG<U]O=F5R7VEN=&5G97)S+G)E
+M<P"UEDV/FS`0AN_Y%2/4`VP("38?^1`<JNUAI:J5DMZJ*LINO)&E78C`V2:M
+M^M\[0&*["R%!59"B`!Z/WWEFQGCQ[?[A"P"X,7Q^^`B&R(7SPA^-66]Q'"$Q
+MX,LE3[@PK5FO^(<XAC5_'0B&`\]IMLQXLLF7Z1O+T$ZP#<MR)V$_G5RLA'1$
+MCXXV29HQTTA2`=LL?>-KMH8#$P8Z'PXUDRF\-Y&NO!CDO>_`L'X5^DP+"H6`
+M"J%4"(5"."ELFE:[Y#*!4_J`#'_1R8=M[NV#9:^W"E<80RY.E@N1H7'U;.*S
+MI>S&6@@3!S#$U0MPM':EC3N*BX6`[;?L2;#U/7]E2<[31%E@VFJCZ&.@.<'\
+M\6<P"Y9F285;452?9($EIU`'?@-\FL^_SL$T%,FI7`Q*3Y5JT[4L7-/H'^.L
+M^;;ZAOVX$[!!"=*J4H)#,CU@0/\$S9HAEC]2D)9O%_/-WX488(A1+M;H4+T,
+M+Z,95VA`9P-1U#!/IS.Y3$>#,W!Q;M0*!UKHG(6C\R$CQ8>X-3Y$+X$*TW?W
+M1Q2Y6E2D)>=9AB*FZ+$$E;&G=)/P7QCF*H==L1T8#9*TE!%,F;P/*GF^4A<V
+M9(^,F[-'E,5$"ZHE=5J,=-2MKGV<>ZFPVW)W16535V&B1&&B](CI+I014Z\!
+M%/4O@:)!#51#_^N8PHZ8[L(K0+5QN@:4ME_2205G;ZL:]T8-<+S+VZ-'.M+Q
+M.FZ.*/+V9>1IW>9IW>8%)U)41=S4;]Z9?M-`U?NM'93?L=M0X^W+R-?ZS2<G
+M.`<-CT\;\/A>,YZ1LO"[X@FZXCE<!>@_*\D/-4!C54G^L>>(#?O!088=%&U7
+M'G'^X16<:3Q53L%5?:=_=X-:X[7A(C;*O'T]!5KC!=AXQ>FU./3N<CP5S3[T
+*_@+L>EGB7PL`````
 `
 end

Tst/Short/test_zero_ideal_decomposition.res.gz.uu

@@ -1 @@
-begin 644 test_zero_ideal_decomposition.res.gz
-M'XL("&%615,``W1E<W1?>F5R;U]I9&5A;%]D96-O;7!O<VET:6]N+G)E<P"E
+begin 640 test_zero_ideal_decomposition.res.gz
+M'XL("`\A.E8``W1E<W1?>F5R;U]I9&5A;%]D96-O;7!O<VET:6]N+G)E<P"E
 MEVUOFS`0Q]_W4UC17A`%4=L\&*M*I.Y1T=9T4KH7S;15++@K*H$(J-:TVG>?
-M(2DV#W;I6BD-@?_=^<Z_.V!Y\7Z^``"@&?@R?PM&15Y8<?1K='*T/%S!,\!/
-M7D5)5!CCDZ/R&\SX.<9//K`LO8I"%L17(5NGFVV:1T64)E;"_EAY$12U%WL&
+M(2DV#W;I6K4-@?_=^<Z_.V!Y\7Z^``"@&?@R?PM&15Y8<?1K='*T/%S!,\!/
+M7D5)5!CCDZ/R$\SX.<9//K`LO8I"%L17(5NGFVV:1T64)E;"_EAY$12U%WL&
 MV/HFG2+AV)F!^MBURO#&:)M%&^ZI6L)82#U)2BQQ[%M@FZ7K:C%G47*:YRN^
-M(F/#BILT-,%\7"NI!1Z??B!H\3,ANP89R^_B`DS!WL*8BY@(EZ+3Y?+;V0<#
-MFB"/'IBQUX^G4R0)G:9PK_F.?DRG$$@RSP)_ZQ]$)(1\D1"B4D)?][509(2A
-ME!%&`S+"]L",L*L4\K2X%DMY8:)(OU,!3%5*W%+:2*J5C46M;/M0GP,GGRY6
-MMXQM/W/R`$\5U'^/Y;^,%7=9`@Q);<S-46EQ5<(Z&O.8I5#$XDQ6_C<53-S@
-M8[#FUYK.._YK=>G^.ECG1=CCVVW[3M)>[QK?E87P+GQ[;=]I%OWNK%KKFW_5
-MBVZLF_3Y7G37_HSOSNI;87QIFVESFY>7B_1\6T2;(#[/0I9%R2&WWFU>7O*0
-M4(K1B./`1CKO;H)LD',AUWI'(@L'B\9V.+B5YXQ_I@":QKVY&YOAMF;>X>A5
-MDQ3,N>!^LC/O)\C<\2C[LZO2#`BY*P7RI$"\'=O#0^+?7$EMYO@SG?:ILYHV
-M=-:>MF*K32!+7:B1[NEI&2"-P5.SM$RPQJ3DM"6WGY$O^J,XZD(M+UM:5Z?M
-MH-8R]E3K*\%K;(1+=-)NG(:MU&LN%?!X_)YR&\5Q26DM]OBN]*&;"P56H:N`
-MU[-%?,^1XKO#X?6\E\/K*6O6@=?S7PBOIVN,?GB)KD&Z\!)=>ZCA)7@XO,1^
-M!;S$&0PO<?\?7B(]#!+I89#X/?`2VH#7(&8PK@`V'ZKI6T;=IO&.7PM^XDDP
-ML6M3'RJH[D7:EP:_+PU^WQZ.M*\9,RJD?64E.TC[RN&B0-K7M4L_TKZN;;I(
-M^[JF42--X7"D*7H%TE1Z]J1\)X^/@<0I2-("1)MMS#8L*5@(KM/,LJS:0)IL
-MU.V!DWHZ./,6G&`"9#PI>0F>5)KX5$Q\!.%@/!'45%*!)X*Z^W.CU@CJ[LT]
-M%""HG#<J/!'4=4L'3P1U':/$$T$R&$\$-<]@S^&)(*UW%94OM1S/H70BA`0%
-<"$O'Y<#BK_;EV_M=;O#70O#FZ!\JJ.J2)A``````
+M(F/#BILT-,%\7"NI!1Z?OB!H\3,ANP89R^_B`DS!WL*8BY@(EZ+3Y?+;V0<#
+MFB"/'IBQUX^G4R0)G:9PK_F.?O#?Z10"2>E9X&_]A8B<D"]R0E3*Z>N^'(JD
+M,)22PFA`4M@>F!1VE4*>%M=B*2],U!7H%`%3E1AWQ3:2*F9C43';/E3I`,RG
+MB]4M8]O/'$'`$P;USV/Y+V/%798`0U(;<W-46ER5U([&/&8I%+$XG)7_3445
+M-_@8K/FUIO.._UI=NK\.UGD1]OAVV[Z3M->[QG=E(;P+WU[;=YI%OSNKUOKF
+M'_6B&^LF?;X7W;4_X[NS^E887]IFVMSFY>4B/=\6T2:(S[.095%RR*UWFY>7
+M/"248C3B.+"1SKN;(!OD7,BUWI'(PL&BO1T.;N4YXW]3`$WCWMR-S7!;,^]P
+M]*J1"N9<<#_9F?<39.YXE/W956D&A-R5`GE2(-Z4[1$B\6^NI#9S_)E.^]19
+M31LZ:X]=L=4FD*4NU$CW]+0,D,;@J5E:)EAC4G+:DMO/R!?]41QUH9:7+:VK
+MTW90:QE[JO65X#4VPB4Z:3=.PU;J-9<*>#Q^9[F-XKBDM!9[?%?ZT,V%`JO0
+M5<#KV2*^YTCQW>'P>M[+X?64->O`Z_DOA-?3-48_O$37(%UXB:X]U/`2/!Q>
+M8K\"7N(,AI>X_P\OD9X*B?142/P>>`EMP&L0,QA7`)L/U?0MHV[3>,>O!3_Q
+M))C8M:D/%53W(NU+@]^7!K]O#T?:UXP9%=*^LI(=I'WE<%$@[>O:I1]I7]<V
+M7:1]7=.HD:9P.-(4O0)I*CU[4KZ3Q\=`XA0D:0&BS39F&Y84+`37:6995FT@
+M33;J]L!)/1V<>0M.,`$RGI2\!$\J37PJ)CZ"<#">"&HJJ<`30=W]N5%K!'7W
+MYAX*$%3.&Q6>".JZI8,G@KJ.4>*)(!F,)X*:9[#G\$20UKN*RK=;CN=0.A%"
+>@@*$I>-R8/%W_/(U_BXW^,LA>'/T#U?MQ=`O$```
 `
 end

Tst/Short/test_zero_ideal_decomposition.tst

@@ -10 +10 @@
   def result = method(I);
   ASSUME(0, size(result)==1);
-  ASSUME(0, result[1]==0 );
+  ASSUME(0, result[1][1]==0 );
 }
 
@@ -19 +19 @@
   ASSUME(0, size(result)==1);
   ASSUME(0, size(result[1])==2 );
-  ASSUME(0, result[1][1]==0 );
-  ASSUME(0, result[1][2]==0 );
+  ASSUME(0, result[1][1][1]==0 );
+  ASSUME(0, result[1][2][1]==0 );
 }