Changeset 3fd3f3 in git


Ignore:
Timestamp:
Nov 20, 2013, 12:44:26 PM (9 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '48f1dd268d0ff74ef2f7dccbf02545425002ddcc')
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:
3 edited

Legend:

Unmodified
Added
Removed
  • Tst/Short/bug_tr501.res.gz.uu

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

    r448b65 r3fd3f3  
    1 1 >> tst_memory_0 :: 1384183136:3170:3-1-7:ix86-Linux:mamawutz:158884
    2 1 >> tst_memory_1 :: 1384183136:3170:3-1-7:ix86-Linux:mamawutz:2214700
    3 1 >> tst_memory_2 :: 1384183136:3170:3-1-7:ix86-Linux:mamawutz:2255672
    4 1 >> tst_timer_1 :: 1384183136:3170:3-1-7:ix86-Linux:mamawutz:3
     11 >> tst_memory_0 :: 1384947703:3170:3-1-7:ix86-Linux:mamawutz:181248
     21 >> tst_memory_1 :: 1384947703:3170:3-1-7:ix86-Linux:mamawutz:2214700
     31 >> tst_memory_2 :: 1384947703:3170:3-1-7:ix86-Linux:mamawutz:2255672
     41 >> tst_timer_1 :: 1384947703:3170:3-1-7:ix86-Linux:mamawutz:3
  • Tst/Short/bug_tr501.tst

    r448b65 r3fd3f3  
    22tst_init();
    33
    4 // module std over qring with ring-coeffs
    54ring r1 = integer,(x,y,z),dp;
    65ideal i = x4+y2+z2;
    76qring q = i;
    87ideal s = 2z,-4z2,-4yz,-4xz,-2x2z-2yz-2z2,-x4-y2-z2;
    9 syz(s);
     8module a=syz(s);
     9print( NF(module(transpose(a)*transpose(s)),std(0)) );
     10
    1011ring r2=integer,(x, y),dp;
     12ideal I=81*y^6-162*y^5-27*y^4-x^2-9*y^2+18*y+3;
     13qring qr2=I;
     14ideal s=6,
     15-36,
     16-12*x,
     17-18*y^3-18*y^2-18*x-18*y-18,
     18-6*x*y^3-18*x*y^2-18*x^2-18*x*y-18*x,
     19-81*y^6+162*y^5+27*y^4+x^2+9*y^2-18*y-3;
     20module a=syz(s);
     21print( NF(module(transpose(a)*transpose(s)),std(0)) );
     22
     23ring r3=integer,(x, y),dp;
    1124ideal I=81*y^6-162*y^5;
    12 qring qr=I;
     25qring qr3=I;
    1326ideal s=6;
    14 syz(s);
     27module a=syz(s);
     28print( NF(module(transpose(a)*transpose(s)),std(0)) );
     29
     30ring r4 = integer,(x, y),dp;
     31ideal I=81*y^6-162*y^5-27*y^4-x^2-9*y^2+18*y+3;
     32qring qr4=I;
     33ideal s=6,
     34-36,
     35-12*x,
     36-18*y^3-18*y^2-18*x-18*y-18,
     37-6*x*y^3-18*x*y^2-18*x^2-18*x*y-18*x;
     38module a=syz(s);
     39print( NF(module(transpose(a)*transpose(s)),std(0)) );
     40
     41ring r5=(integer),(x,y,z),(dp(3),C);
     42
     43ideal I = x*y-3,
     443*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,
     4527*x*z^6+3*y^5+18*y^4*z-9*y^3*z^2-27*y*z^4-162*z^5-y^3,
     469*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,
     473*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,
     48x^4*z^6-6*x^3*z^5-3*x^2*z^4+3*y^2+18*y*z-9*z^2-1;
     49
     50module a=syz(I);
     51print( module(transpose(a)*transpose(I)) );
     52kill a;
     53
     54ideal s =x*y+1,
     55-4,
     56-2*x*y-2,
     57-2*y^3-2*y^2*z-2*y*z^2-2*z^3-2*y^2,
     58-2*x*z^3+2*y^2+2*y*z+2*z^2+2*y,
     59-x*y+3,
     60-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,
     61-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,
     62-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;
     63
     64module a=syz(s);
     65print( module(transpose(a)*transpose(s)) );
    1566
    1667tst_status(1);$
     68
Note: See TracChangeset for help on using the changeset viewer.