Changeset 3fd3f3 in git

Timestamp:

Nov 20, 2013, 12:44:26 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

826567790c0f123d4a6b80c695492b5fe1b8cfe19aa61ab499a2001f8d1e5112b9908742b2f69659

Parents:

448b6571955b81192b53dc7300bb54a1984142e3

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-11-20 12:44:26+01:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-11-20 12:45:57+01:00

Message:

more tests for tr 501 (std/syz for modules over qring with ring-coeff)

Location:

Tst/Short

Files:

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

Tst/Short/bug_tr501.res.gz.uu

@@ -1 +1 @@
 begin 644 bug_tr501.res.gz
-M'XL("&#U@%(``V)U9U]T<C4P,2YR97,`59+!;H,P#(;O/(55[0`MT,80V@F1
-MP[0+TK1+=YNZJAV4(75T)>E*>/HE'01Z(/[Y8CNVY?7;<_H*`(3!2_H$$\&%
-M?RSWD]A:=S?(0,%M697"=F)+6V`,]I=B*VJZ('Z57WTN=L)$!`R,#GV8S^'[
-ME%V..7"1P>DWK^%<EU4!UU)\@5;>YRD_'+@)HOX-0TT@@;(2>9'7KMVXTFT=
-M-_L9:HL8E%F^.T*I')MP)G'6XG"]9-U+9YUGX*L^C"N.K>N%+:I#:M6H`QML
-M/93JT[P)/8G>..\C`RY;FSLQ6-MWLDF*O+(C1VG<)-A.]2]Q9MJ@IH&B<DP#
-M34-%FS$--:6;I,&>FJ"[G-3I*R$+UDT*D]&<0-Z-B9"^WS19D:G\B#P2H;)T
-M<$$SJCI)!QR822710$/3_W_[N)115Z!'0TD[;?SIL!`D\F_KI!?FPI53_&#]
-)`3&F]OZ$`@``
+M'XL("/>?C%(``V)U9U]T<C4P,2YR97,`K5;?:]LP$'[O7R'*'NS(#M'I1Q)"
+M_+"-06#TI7UN24DH9EF:QBZS_=?O),LZI5M#*(7$DL^G3[K[OCO[]N[[ZH8Q
+M)@KV<_657==5/=Z5C]>+JUO_!`J&QH=R7]9)NKBR(RL*]OCZ]%`?]42,]]L_
+MXZI>UV&%+%B8JS$[EOLG=A1LR<I]O7W:'K.DR=JL2[/-@;;1!2LWV_6.E>C8
+M*-X"[X`>FX*].*`7BT/VZ;"L0CMT6:XZP$MK9PU>H($NAQ;_UMZHO(4\QIT5
+M[/?SYG6W9>MEU79)E2[H\/."'7#3.F$W/Y+>+:F/ZWUU>*ZVR3H=T4V5IEE5
+M;Y))FC+,TB2+?@%03"@S0@R9@664%]:>I$7`$-]J.1.C]M[DP@"..H<I#BIO
+M[B&?XPRXF(U:+FFI#"G#+59D5R%E2Y,%JQZS7$;W!N\%C!JR3*T%][B7_0!V
+M:-P<+^0W0S\S:@;')KCZP;G'P'-<T`?'?7"\#X[C$CX?UK<Y!0>3,[R!^!S>
+M_B40@`@$.1`HSQ`(ZCT"R44343(B"DQ$%%FGYR*??3SR@#&G&.5DB%&=EN^;
+M**7XL$PE4/0JBE[*_\E4JE.92OU6IM)<)E,YO4RF=*!SK4)^4JMXHS<5-0P5
+M&H9>)IZ*-+329'-(9)I]2\-Y5:15A5KU_-CN:DLI)$)A2F5??#9=>M0YHM2H
+MPT0X]@"GJB<49YHCPQTRC#X$@CR@;V,?<.E*V*$ICR8#6L!")(2(SH'$S6WV
+M';A6#DP[,-6#20\&`YB%PEN"F-I0&K>;\5RZ?>8.3#DPV8-!#^:@6D+`YM6X
+MV(T5AT/2N?1`/4`O8;?<+A:4\:AR-%;.B5I6D5HT-:CS4EE=U)4T,OVKW.W8
+M.AQ%1^]@K<;TCD3NN0CA:EL^Q**VM0-.^I14/75&6R;@\P8^;S8GWDKN,X^!
+MC[A[Q)T[=ZS9.;G:QF\/1"(P$UO??0/Q:N1!C9S4R(,:\UZ-/%:C$?8,7HX.
+M3N>#''F0(Q_DR+T<>2Q'`X@1],@'/3HTE0]ZY$&/O-<C8M#7A8E8,&K\?OLP
+E^D)!5.<$\=Z/MC'1>9!6^UUGO]Q>JT2DBR]7?P'#&Y[R#0H`````
 `
 end

Tst/Short/bug_tr501.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1384183136:3170:3-1-7:ix86-Linux:mamawutz:158884
-1 >> tst_memory_1 :: 1384183136:3170:3-1-7:ix86-Linux:mamawutz:2214700
-1 >> tst_memory_2 :: 1384183136:3170:3-1-7:ix86-Linux:mamawutz:2255672
-1 >> tst_timer_1 :: 1384183136:3170:3-1-7:ix86-Linux:mamawutz:3
+1 >> tst_memory_0 :: 1384947703:3170:3-1-7:ix86-Linux:mamawutz:181248
+1 >> tst_memory_1 :: 1384947703:3170:3-1-7:ix86-Linux:mamawutz:2214700
+1 >> tst_memory_2 :: 1384947703:3170:3-1-7:ix86-Linux:mamawutz:2255672
+1 >> tst_timer_1 :: 1384947703:3170:3-1-7:ix86-Linux:mamawutz:3

Tst/Short/bug_tr501.tst

@@ -2 +2 @@
 tst_init();
 
-// module std over qring with ring-coeffs
 ring r1 = integer,(x,y,z),dp;
 ideal i = x4+y2+z2;
 qring q = i;
 ideal s = 2z,-4z2,-4yz,-4xz,-2x2z-2yz-2z2,-x4-y2-z2;
-syz(s); 
+module a=syz(s);
+print( NF(module(transpose(a)*transpose(s)),std(0)) );
+
 ring r2=integer,(x, y),dp;
+ideal I=81*y^6-162*y^5-27*y^4-x^2-9*y^2+18*y+3;
+qring qr2=I;
+ideal s=6,
+-36,
+-12*x,
+-18*y^3-18*y^2-18*x-18*y-18,
+-6*x*y^3-18*x*y^2-18*x^2-18*x*y-18*x,
+-81*y^6+162*y^5+27*y^4+x^2+9*y^2-18*y-3;
+module a=syz(s);
+print( NF(module(transpose(a)*transpose(s)),std(0)) );
+
+ring r3=integer,(x, y),dp;
 ideal I=81*y^6-162*y^5;
-qring qr=I;
+qring qr3=I;
 ideal s=6;
-syz(s);
+module a=syz(s);
+print( NF(module(transpose(a)*transpose(s)),std(0)) );
+
+ring r4 = integer,(x, y),dp;
+ideal I=81*y^6-162*y^5-27*y^4-x^2-9*y^2+18*y+3;
+qring qr4=I;
+ideal s=6,
+-36,
+-12*x,
+-18*y^3-18*y^2-18*x-18*y-18,
+-6*x*y^3-18*x*y^2-18*x^2-18*x*y-18*x;
+module a=syz(s);
+print( NF(module(transpose(a)*transpose(s)),std(0)) );
+
+ring r5=(integer),(x,y,z),(dp(3),C);
+
+ideal I = x*y-3,
+3*y^6+18*y^5*z-9*y^4*z^2-27*y^2*z^4-162*y*z^5+81*z^6-y^4,
+27*x*z^6+3*y^5+18*y^4*z-9*y^3*z^2-27*y*z^4-162*z^5-y^3,
+9*x^2*z^6-54*x*z^5+3*y^4+18*y^3*z-9*y^2*z^2-27*z^4-y^2,
+3*x^3*z^6-18*x^2*z^5-9*x*z^4+3*y^3+18*y^2*z-9*y*z^2-y,
+x^4*z^6-6*x^3*z^5-3*x^2*z^4+3*y^2+18*y*z-9*z^2-1;
+
+module a=syz(I);
+print( module(transpose(a)*transpose(I)) );
+kill a;
+
+ideal s =x*y+1,
+-4,
+-2*x*y-2,
+-2*y^3-2*y^2*z-2*y*z^2-2*z^3-2*y^2,
+-2*x*z^3+2*y^2+2*y*z+2*z^2+2*y,
+-x*y+3,
+-3*y^6-18*y^5*z+9*y^4*z^2+27*y^2*z^4+162*y*z^5-81*z^6+y^4,
+-27*x*z^6-3*y^5-18*y^4*z+9*y^3*z^2+27*y*z^4+162*z^5+y^3,
+-9*x^2*z^6+54*x*z^5-3*y^4-18*y^3*z+9*y^2*z^2+27*z^4+y^2;
+
+module a=syz(s);
+print( module(transpose(a)*transpose(s)) );
 
 tst_status(1);$
+