Changeset 867e1a3 in git


Ignore:
Timestamp:
Dec 14, 2009, 7:07:52 PM (13 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a657104b677b4c461d018cbf3204d72d34ad66a9')
Children:
3a5edc375c8c9192d0f777ea79d63b5fde378a37
Parents:
ded085a7412801cc56df67b95d9d1aad3854f8b4
Message:
no - for ideal/module: track 114

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

Legend:

Unmodified
Added
Removed

  • Singular/LIB/bfun.lib

    rded085 r867e1a3  
    465465  l;
    466466  module M = I;
    467   l[1] - ideal(M*l[2]);
     467  matrix(l[1]) - M*l[2];
    468468}
    469469

  • Singular/LIB/central.lib

    rded085 r867e1a3  
    271271  /*4DEBUG*/    if( defined( @@@DEBUG ) ){ BCall( "smoothQideal", I ); }; /*4DEBUG*/
    272272
    273   ideal A = I - NF( I, twostd(DefaultIdeal(#)), 1 ); // component wise
     273  ideal A = matrix(I) - matrix(NF( I, twostd(DefaultIdeal(#)), 1 )); // component wise
    274274
    275275  if( size(A) > 0 ) // Were there any changes (any non-zero component)?

  • Singular/LIB/dmod.lib

    rded085 r867e1a3  
    51445144    P = normalize(P); // now leadcoef = 1
    51455145    // TODO: hunt for units and kill then !!!
    5146     P = lead(P)-P;
     5146    P = matrix(lead(P))-P;
    51475147    // nP = leadcoef(P[i]-lead(P[i])); // for 1 var only, extract the coeff
    51485148  }

  • Singular/LIB/dmodapp.lib

    rded085 r867e1a3  
    581581    number nP;
    582582    P = normalize(P); // now leadcoef = 1
    583     P = lead(P)-P;
     583    P = ideal(matrix(lead(P))-matrix(P));
    584584    sP = size(P);
    585585    int cnt = 0;

  • Singular/LIB/equising.lib

    rded085 r867e1a3  
    11481148    intmat b_app_in(i)[1][ncJ];       // Eintraege sind spaeter 1 oder 0
    11491149    b_appears_in(i)[ncJ]=0;
    1150     J_Tmp = J-subst(J,b(i),0);
     1150    J_Tmp = matrix(J)-subst(J,b(i),0);
    11511151    for (Z=1; Z<=ncJ; Z++) {
    11521152      if (J_Tmp[Z]<>0) {      // b(i) appear in J_Tmp[Z]

  • Singular/LIB/finvar.lib

    rded085 r867e1a3  
    77687768    map emb=newring,vars;
    77697769    ideal G=emb(J);
    7770     J=J-G;
     7770    J=matrix(J)-G;
    77717771    for (i=1;i<=ncols(G);i++)
    77727772    { if (J[i]<>0)
    … …  
    78697869    map emb=R,vars;
    78707870    ideal G=emb(J);
    7871     J=J-G;
     7871    J=matrix(J)-G;
    78727872    for (i=1;i<=ncols(G);i++)
    78737873    { if (J[i]<>0)

  • Singular/LIB/inout.lib

    rded085 r867e1a3  
    105105   execute("matrix M[2][2]="+s+";");      //use the string s as input
    106106   module m1 = transpose(M);              //should be the same as m
    107    print(m-m1);
     107   print(matrix(m)-matrix(m1));
    108108}
    109109///////////////////////////////////////////////////////////////////////////////

  • Singular/LIB/involut.lib

    rded085 r867e1a3  
    355355  ideal II = involution(I,F);
    356356  II;
    357   I - involution(II,F);
     357  matrix(I) - involution(II,F);
    358358  module M  = [f,g,0],[g,0,x^2*d];
    359359  module IM = involution(M,F);
    360360  print(IM);
    361   print(M - involution(IM,F));
     361  print(matrix(M) - involution(IM,F));
    362362}
    363363///////////////////////////////////////////////////////////////////////////////////

  • Singular/LIB/mregular.lib

    rded085 r867e1a3  
    13001300   m=subst(maxideal(1),s,0);
    13011301   m=simplify(subst(m,t,0),2);
    1302    i=m-param;
     1302   i=matrix(m)-matrix(param);
    13031303   ttime=rtimer;
    13041304   i=eliminate(i,st);

  • Singular/LIB/ncdecomp.lib

    rded085 r867e1a3  
    106106  if ( ( ncols(A) == ncols(B) ) && ( nrows(A) == nrows(B) ) )
    107107  {
    108     module @AB = A-B;
     108    module @AB = module(matrix(A)-matrix(B));
    109109    @AB = simplify(@AB,2);
    110110    if (@AB[1]!=0) { ANSWER = 0; }

  • Singular/LIB/presolve.lib

    rded085 r867e1a3  
    398398   ideal k1, k2, lin2;
    399399   int l = ncols(lin);                  // lin=i after applying elimlinearpart
    400    ideal lin1 = jet(lin,1)-jet(lin,0);  // part of pure degree 1
     400   ideal lin1 = ideal(matrix(jet(lin,1))-matrix(jet(lin,0)));  // part of pure degree 1
    401401   //Note: If i,i1,i2 are ideals, then i = i1 - i2 is equivalent to
    402402   //i = ideal(matrix(i1) - matrix(i2))
    … …  
    410410   //since lin1 != 0 there are candidates for substituting variables
    411411
    412    lin2 = lin - lin1;      //difference as matrix
     412   lin2 = matrix(lin) - matrix(lin1);      //difference as matrix
    413413   // rest of lin, part of pure degree 1 substracted from each generator of lin
    414414
    … …  
    10271027            7x +  4y + 3z - 3u;
    10281028   ideal j= 2,1,0,3;
    1029    j = i-j;                        // difference of 1x4 matrices
     1029   j = matrix(i)-matrix(j);        // difference of 1x4 matrices
    10301030                                   // compute reduced triangular form, setting
    10311031   solvelinearpart(j);             // the RHS equal 0 gives the solutions!

  • Singular/LIB/resolve.lib

    rded085 r867e1a3  
    11591159           {
    11601160              if(BO[6][l]==1){l++;continue;}
    1161               if(size(ideal(reduce(BO[4][l],H)-BO[4][l]))==0)
     1161              if(size(ideal(matrix(reduce(BO[4][l],H))-BO[4][l]))==0)
    11621162              {
    11631163//!!! need further cleanup:

  • Singular/iparith.cc

    rded085 r867e1a3  
    33343334,{jjMINUS_IV,  '-',            INTVEC_CMD,     INTVEC_CMD, INTVEC_CMD, ALLOW_PLURAL | ALLOW_RING}
    33353335,{jjMINUS_IV,  '-',            INTMAT_CMD,     INTMAT_CMD, INTMAT_CMD, ALLOW_PLURAL | ALLOW_RING}
     3336,{jjWRONG2,    '-',            NONE,           IDEAL_CMD,  IDEAL_CMD, ALLOW_PLURAL | ALLOW_RING}
     3337,{jjWRONG2,    '-',            NONE,           MODUL_CMD,  MODUL_CMD, ALLOW_PLURAL | ALLOW_RING}
    33363338,{jjTIMES_I,   '*',            INT_CMD,        INT_CMD,    INT_CMD, ALLOW_PLURAL | ALLOW_RING}
    33373339,{jjTIMES_BI,  '*',            BIGINT_CMD,     BIGINT_CMD, BIGINT_CMD, ALLOW_PLURAL | ALLOW_RING}

  • Tst/Old/inoutlib.res.gz.uu

    rded085 r867e1a3  
    11begin 640 inoutlib.res.gz
    2 M'XL("-"CHDD``VEN;W5T;&EB+G)E<P"]6'MOV\@1_Y^?8D$4,"6N+&DIVW=6
    3 M&31M[W`![*"I'>`*QPXH<F7SPE=(RB95]+OW-[O+AY0KDKNBE0AJ=F9W7CL[
    4 M,ZN;V[^^><L86[YB5V_^S.PXRW?U:1)O[+5U8VCB%>MA[Y3))DB+1+(@28HR
    5 MSNJU-9^SHLS#'L.V99XR,&$].^N'GU]?_^WJATL+3##GD=VL"4R#NHP;=NUK
    6 MP-F64J9YM$ND(R;<X]Y$32.FKZ^NM#QH4.3E"$$S.MF.?<U\FU]C'0!KR1?X
    7 M6@N^U#_X,IK^*4Z2$8/>OM6KWKYCZWZ#;:7/%MQI>,OW$QY52L$B3UJV]1VG
    8 M<=O)U&EFZNWN\6[Q?A#:4F/%EJ\6"M%XK9@U[<H5@/9N(UJQGXFF]?:S=H6Q
    9 MMQ<6:*+=TS2!MP!-8.+>FV'L*2\KC[*4^>QNJV7?\[L%[V`EN:J5[I5O5$@G
    10 M:U:M;5MIL2(MO-:;0=+*;=HSR%RU>\)!'Z\AH4!#H_8,P(HT\$@G3VE,NFE-
    11 M6TW:*T[T)AU=$#T..=@C_?[_B"1AV&\9[FKIV%TLWHE[/+[M5JZ]MN$%]9G/
    12 M=Y5D]9/L'<6""D%0[.JQBY?P<5T&657DE72NN]7=9SZOGO)=$K&-X16DDOBD
    13 M*D2TWV?I$EMOXA;AV@?GV1"<!90=0I-&WQB80UPF.B[C2`8)BWW6\+WKM1SA
    14 MR??CLYG>>?=X_/A!Z$`&GH+#:@17-C58U[0&;MT.31^KV>L!=N`<X?M]"V)+
    15 M<K`C9ID%&O8->($=-NLIU/>#-'XVR,.ZTU/>2>HD@`EA6TVTNF&/!;?>C^>#
    16 M'\OK(`QV2="N6>_-'O<UEV+!ZZK:I6HK2PFF<54C+-@V!NL3L(FC$_82UT]J
    17 MK[=YDN0OM`W&YYEA,LC+2YA[:1M\<[>X]V;+Q7)^L2)8-'?+>_?"NUC2B`9B
    18 MMO3FWWD$(J[U%''//A@&])FMYL-\HAK:WV400:VXTMHB\G)V`^6@2,F"+$)4
    19 M5O%CQN*:@3*.^R7;M)W]`\YG)3@B_9+5MDYFF'!+$O#(S[OX.4AD1NSL@X2#
    20 MM32T?Z^Y7UBHV??;Z%1TGAIG,7GHV$_52.!G.5$2%$(-'XP0/8"8;J:8*$'#
    21 M3(4S9OXCW^&\M-CLZHG\99P'VV@P.-;L?'0Y=D`<P7MV1Z+R=:`[1Q9:#T>8
    22 M47&!$J>G'HI+L1[G,+`R!3-:,TK=<02?^/\KVXWQ;_,7Y#R)'!1T22/.CJ/Z
    23 ME+VO2'^*)*.N61[F:8J`XSH:PRX]D@NS1QD=>=`(0,X,-OFS/!T[4I`?";$8
    24 M/ZH]\(X0^-UX1P@\H7>$P!-Y1P@\TF-?1)E069N-'BOP^'B(]V;`F,FAP0QK
    25 M(X^/AWBD-V2OBR%[H9:\#%6`1E]+62:&E.IJ@5-.%`?"7S+'$XL%PJJK$4Y4
    26 M.!C^1<])4>VHBT$`TC#?_")#Y+N-3/+L4>UMKO=0,5,BNNK2/*#B/IS-SJ?[
    27 M!X\C[3?4G8S4B*G5.ZR4E)-*E-50,H]518#?.MB0/$0492P=6''>Y5$EC&/R
    28 MH\QD&=1YZ503"XT#A)U3@P&YEA*LY#Y#^[QDSWXSQ0(Z#:T"3,_9EW3_F8OI
    29 MLTNDE2$E2/3L"HZ(^3-/1V9<]8F/II`N,I$ILAXT41[!<=2>^1T:([6-UFKU
    30 MK;L&P=*JK(XJ/:)K]3D3A\R[^7>"`-'RY?T0&#>^L^"WV/>`;WC(HPE_J9PE
    31 M%^C$.].'(+A]$.YR?;#-@7"Q3K@@32.Q!J:J(R<V2S\K&>_\>.2P=SJT/IOX
    32 M.Y+NC,1_&87.+128J.6[O(ZIMB@)Z@PHE2ZMCY3_2"U`:.I",8OT[J=!P7[T
    33 M2QX(OGF`A&GHC=3Z4<N*9ZC=ST$9!QM$0K[%09-Q&CQ*+0BA#C:%SE%_`G@7
    34 MW],R`MGQAPJSDJK4*RTU7RFG06BW,2"Z+=*'6+TN"MAZ0DJ=D)28.2]/<?C$
    35 MHEQ6+,MK<_RZ(KT)*DFZ35"D6=T6`+OCC6,_G,?N!&K*N[5)!MR.J7;WR>:[
    36 M4;(IDGC4<ZKA?WD;HCU$OTG7GY5N"8BIH].YLYWP,[H$-2MWA<[>/:>^'F"+
    37 M5*)0>W>I;C[T@Y[>7=&-X+SY8*'[5SC5==)@U:#CQ^7!<_>K04YWUYKHF]9O
    38 M%/.?A7RP2$SOP^\''R)_#1[$X&O^0X9SZ-*9^8LUR_[HG^'M9Q3T(/Z3.#AG
    39 MLVSBVE/;I0&![@!.[37[E\X(4W>J@"ESF8*F#)`"`1%(,($*QD#!>H!19\UR
    40 M<5A^2E3RLHJ?Y6$=ZM'?&"&B/_0<@7)\:6[=H,$1;CPW5)L387-TO(Q%X=+<
    41 MZ&-+RSA;(05F>1H'">4]9X.FQ7.=P`U;`5"X3M1Z`%RGG?PJKY;;26&/.9[]
    42 M*L>0N$$K)S!L\4/!,_AL.?CLI8QK2;5A\%>/^C9?'=S:U*G2?QP0@T^^_5-L
    43 M\PRWRGSK]+F`H[I>J%F]+,?>[]*;`DV6#3-W51T_VOR33M2ZD>_I0"KF>I86
    44 MID#*7N:L6C^9)&\H8J"4!P2Z2)+NCJ43PIBV`@WGT?(N*`7U9=8O987^8'%\
    45 ME^XJ'<AYLJ,^@#(T)4'CG2.#,>\C03`8X(R<9',4;-4H#W;WTSJ[N\G&-WI`
    46 MMAM#]C"DF1Q28;_Y&\N:M5U[L5>`F/!9<XCR>I08FI`CCM[`L5MM.(N!C?$;
    47 M(JN[$1S;!'-?5(<=4L..+EL[65U224XOD!M&NMJ@TI%C#UV-6M3_AQ'F64T%
    48 M&'WYE;X85&U5R]2QJR<X?+Z)LWF9LDX1-HZNA1'U/HMDR=Z_??.SN0N4,D6+
    49 MKT73+;5B)QV#$W5'/>G8G'37S;:0[$DFA1&_IKKX*&L<W,.6D6X/NUK?:S$_
    50 M8;(*@Z*[DKS9LC;?E2POJ'%2=PO%;JBZ01C*XLOUG-89)NE.!0^9H.;]0F/M
    51 M]J@SI]=?FS-8%\7(174R2B+"_$5;5^8/6@`?JSJH=^B1)NL_6/\&PE0#P,P5
    52 "````
     2M'XL(".DC)DL``VEN;W5T;&EB+G)E<P"]6'MOV\@1_Y^?8D$4,"FN+&DIVW=6
     3M&31M[W`![*"I'>`*QPXH<67SPE=(RB95]+OW-[O+AY0KDKNBE0AJ=G9W7CL[
     4M#]W<_O7-6\;8XA6[>O-G9L=9OJM/DWAMKZP;,R=>L1[V3YELPK1()`N3I"CC
     5MK%Y9LQDKRGS38]BVS%,&(JPG9_WP\^OKOUW]<&F!"-8\LIL5@6E8EW'#K@,-
     6M.-M2RC2/=HETA,M][KMJ&1%]?76E^4&"(B]'"%K1\7;L:Q;8_!K[`%@+/L?7
     7MFO.%_L&7T?)/<9*,"/3Z+5_U^AUK]QMT*P,VYT[#6[YW>50I`8L\:=DV<)S&
     8M:]V)TTS5V]OCW>+](+2F1HLM7\X5HO%;,6W:I2<`[;U&M&(_%4WK[Z?M$F-_
     9M+RS,B79/RP3>`G,""_?^%&-?65E9E*4L8'=;S?N>W\UY!RO.5:UDKP(C0NJN
     10M6+6R;27%DJ3P6W\*3DNO:<_`<]GN"0=Y_(:8`@V)VC,`2Y+`)YE\)3')IB5M
     11M]=1>4:(WR>AATN?@@S/2[_\/2V*&\Y:;72T=N_/%.W&/)["]RK-7-JR@/K/9
     12MKI*L?I*]H5A8P0F*73TV\0(VKLLPJXJ\DLYUM[O[S&;54[Y+(K8VM,)4$IU4
     13MN8BVN[X)J3OMH(4+5S!^#/?MG?5L<-8":P=7I=$W.NK@IXGVTSB28<+B@#5\
     14M[_DMA[OR_?BNIG?^/9X@?A#:L8$G9[$:P96.#?8UK8%;KT/3QVKV>H`3.8<[
     15M?]]BLB4^."&SS<(<SA%X@1,W^\GU]P,W?C;PP[[34]YQZCB`"&%;/6EUPQX+
     16M:KT=SP<[EM?A)MPE8;MBO35[W-=,B@VOJVJ7JJ,M)8C&50TW8=L8I$]`)HY.
     17MV$M</ZFSW^9)DK_0,1B;9X;(P"\OH>ZE;?#-W?S>GR[FB]G%DF#1W"WNO0O_
     18M8D$C&HCIPI]]YQ,(/]=+Q#W[8`C09[J<#>MIULS]7881Q(HK+2T\,6<W$`Z"
     19ME"S,(GAI%3]F+*X99L;W8,'6;:?_@`M8"8H(QZ2UK8,;%MP2!SSR\RY^#A.9
     20M$3G[(`!A+PWMWZON%QIJ\OTQ.M6"O,>9NP\=^8D:"?PL7,5!(=3PP3#1`[#I
     21M5@I7,1I6*IQ1\Q_Y#O>EQ6%73V0O8SSH1H/!L.;DH\NQ`>((UK.[*4IG![)S
     22M1*75<(49)1L(<7KJ(]D4JW%,`RF30*,5HU`>1[!)\+_2W2C_-G]!#)2(06$7
     23M-.+LV*M/V?N*Y"=/,N*:[9L\3>%P7'OCI@N79,+L449'%C0,$$/#=?XL3\>&
     24M%&1'0LS'CRH7_",$?M?^$0+/QC]"X(G\(P0>Z;,OO$RHJ,U&CQ7Z?#S$>SU@
     25MS.*-P0Q[(Y^/AWBD/T2OBR%Z(;>\#%F`1E\+6<:'E.AJ@U.ZB@+A+YGCB_D<
     26M;M7E""<J'`S_HM>DR'Y4U<`!:9BO?Y$;Q+NU3/+L49UMKL]0$5,LNNS2/"`#
     27M/YQ-SR?[!Y\C[#=4K8S$B*GT.\R<%)-*I-F-9#ZKBA"_=;@F?O`HBEC:L>*\
     28MBZ.*&<?B1YG),JSSTJE<"X4$F)U3P0&^EF*L^#Y#^KQDST$SP0:Z#:T"3`W:
     29MI_C@F8O)LT=32S.5(-"S*Q@BYL\\':EQU0<^6D*RR$2FB'J01%D$UU%;YG=(
     30MC-`VVJO%M^X:.$NKHCJR]&A>B\^9."3>K;\3!(B6+^X'Q[@)G#F_Q;F'?,TW
     31M/'+Y2^4LN$!EWJD^.,'M@_`6JX-C#H6'?<+#U"02*V"J.G)BL_6SXO$NB$<&
     32M>Z==Z[/QOR/NSHC]EU[HW$(`5VW?Y75,N45Q4'=`B71I?:3X1V(!0I&W$=-(
     33MGWX:%NS'H.2AX.L'<)AL_)%8/VI>\12Y^SDLXW`-3\BWN&@R3L-'J1G!U4&F
     34MT#'J3P#OXGO:1B`[_E!B5ER5>*6EUBOA-`CIU@9$M47R$*G710%=3TBH$^(2
     35M,^?E*=X\L2B7%<ORVER_+DFOPTJ2;"Z2-*O;`F!WO7'MA_O8W4`]\VYE@@&W
     36M8\K=?;#Y;A1LBB0>U9QJ^%]V1W2&J#>I'5KJDH"(.CJ<.UN7GU%3U"R])2I]
     37M[YSJ?(`M0HE"[;V%ZH3H!S6^MZ0.X;SY8*$;4#A5==)@V:`#0#/A>_OEP*?K
     38MO5S=>?U&-O^9R0>+V/0V_'ZP(>+78$$,OF8_1#B'FM`LF*]8]L?@#.\@(Z?'
     39MY#^)@G,VS5S/GM@>#0CT!G!BK]B_=$28>!,%3)C'%#1A@!0(B$"""50P!@K6
     40M`XPZ;1;SP_13(I.75?PL#_-0C_Y&#Q']I>=PE.,FNO7"!E>X\;V-.IP(AZ/]
     41M9<P*372CKRUMXVR)$)CE:1PF%/><-8H6WW-";],*@,)SHM8'X#FM^ZNT6FXG
     42MA3VF>/:K%#=$#5(YH2&+'W*>P6:+P68O95Q+R@V#O7K4M]GJH&M3MTK_D4`$
     43M/@7V3['-,W29^=;I8P%'=KU0JWI>CKW?I3<%BBP;:NZJ.GZT^2<=J'4AW\\#
     44MJ8CK59J9`BEZF;MJ_62"O)D1PTQY,$&-),GN6#H@C.>6F,-]M/P+"D%]F@U*
     45M6:$^F!_WUEVFPW2>[*@.H`A-0=!8YTAAK/M($!0&."4CV1P)6Q7*@][]LD[O
     46M;K&QC1Z0[D:1/11IW,-9Z&_^UK*F;5=>[!4@7#YM#E%^CQ)#$7)$T1\H=KL-
     47M93&0,7:#9W4=P;%.4/=%5=@;*MA196LCJR:5^/0,N2&DLPTR'1GVT-3(1?U_
     48M&IL\JRD!HRZ_THU!U5:U3!V[>H+!9^LXFY4IZP1A8^^:&U;OLTB6[/W;-S^;
     49M7J"4*4I\S9JZU(J==`1.5(]ZTI$YZ=K-MI#L22:%8;^BO/@H:US<PY*1NH==
     50MK?M:K$^8K#9AT;4D;[:LS7<ERPLJG%1OH<@-63?<;&3QY7Y.^PR1=*><AU10
     51MZWZAL39[U*G3RZ_5&;2+8L2B.AD%$6'^LJTK\X<M@(]5'=8[U$CNZ@_6OP%6
     52'0NTYW!4`````
    5353`
    5454end

  • Tst/Old/inoutlib.stat

    rded085 r867e1a3  
    1 1 >> tst_memory_0 :: 1235395536:3100-2009022212:3-1-0:ix86-Linux:nepomuck:180052
    2 1 >> tst_memory_1 :: 1235395536:3100-2009022212:3-1-0:ix86-Linux:nepomuck:872100
    3 1 >> tst_memory_2 :: 1235395536:3100-2009022212:3-1-0:ix86-Linux:nepomuck:872100
    4 1 >> tst_timer_1 :: 1235395536:3100-2009022212:3-1-0:ix86-Linux:nepomuck:11
     11 >> tst_memory_0 :: 1260790762:3107-2009120819:3-1-0:ix86-Linux:nepomuck:188404
     21 >> tst_memory_1 :: 1260790762:3107-2009120819:3-1-0:ix86-Linux:nepomuck:794624
     31 >> tst_memory_2 :: 1260790762:3107-2009120819:3-1-0:ix86-Linux:nepomuck:868432
     41 >> tst_timer_1 :: 1260790762:3107-2009120819:3-1-0:ix86-Linux:nepomuck:6

  • Tst/Old/m8ex.res.gz.uu

    rded085 r867e1a3  
    11begin 640 m8ex.res.gz
    2 M'XL("$W*Z4@``VTX97@N<F5S`+56VV[;.!!]SU<0Q0*6:\F-*-G-!>E#L0C:
     2M'XL("(QG)DL``VTX97@N<F5S`+56VV[;.!!]SU<0Q0*6:\F-*-G-!>E#L0C:
    33MHBT"U,`^%,F"DFB;BDRI(GV1OWYG2(F2FR9[`=8!I(B7P^',F3/S;?'[QZ^$
    44MD/`=/-Z\(8M]273-I-KQ6K&"I%M5*2(D\1X?(O]\?'7VK=U!I_"HA5R1.B0W
    … …  
    2323M*J.&Q@,M!,^5M3'RBP,RLGA[<_L0]^#SMC8IL:D*L6P\)`%J=,8+CH0[#]*R
    2424MV&ZD2]C(L**E'E`13'*;+5UOQ_Y`C:.+WOX%=BY^T\]=]G.?8`[V#_)CT8/$
    25 MY_W"#\8)L^GT\KZ?#T]KPX?@TXGZ&G*B*(&>/397)!/+)>07TCKA>L^1K?O2
    26 MH9EB^'SA,.<8/$A*\-122)[Y)-GJ7Z(9"7D>S;@2%'%*WC>$;74)`R(ENJFX
    27 M+;(UUD>'%K^,9C+!VL?J#@#3';*Q.\EW8+.7P=0V@7"D1BT@3]D2*NZ>U9GJ
    28 M<1W4_&_L@J9'6LNFT`D9]0`%&DU&Z,?6AP[L[<M@QI@,S/#`CA3D!25&C0W[
    29 M[>4=DM$;<6TK>A"KZ#!AMIX'$0C`(5!1,TEL90^HTO0`3ZJ;20IC,8SIZ``K
    30 M-6TF&8S,$$3#%J=H\;"]`XVT5SGI\*#(9EN0Y;*&RH*C:'_;"!#72<PZO8(V
    31 MRH1QT`H:;>9.9V:=2BU09^%0TY6195UN0'C`U7>V%W3R2UH=LDM$#S00K/!9
    32 MQ?*RRHO'_AZ>?OLW[G-S%IWFWI+K=.W=^6*P9*!A^4DO#OI[:&RG]*3)?MJS
    33 M.#PC9?GU68Y1C5(:Q$DV81R^(;`T2;,@8AD-HH3R20PU'B8@OA<)A<%+EN(S
    34 MH2F?A)2EE`>4)5D/WFGB'Y`^P-FMLOKZ)(K#^O:3@QU65T*A7X+N16=!PI10
    35 M;3=H[MK'HBN-<*[DW#3#*1E)!4J<ZI%%Q@.GA4CZ7:9>?O[XGKSJYEXYO\^-
    36 M;.8HT3H[Z4A/\ZEK3HV)Q)J8.Y"P`VE-\7(?2E!\@H9B82:'U<=8G*-(.BQJ
    37 M`_=\=G<&2<V$1"]W64!L@Q+_+S&?&PX_BJ*`3M4#XH(-KU^;`1-I"#]XQ88=
    38 DT[-`3I)SMQWX;4*@E;81@'_^5!#@K<):_MO97\AHY<LA$```
     25MY_W"#\8)L^GT\KZ?#T]K@S7/^S`./IVHL"$IBA/HVF-S13*Q7$*>(;T3KO<<
     26M6;LO':HIBL\7$'.>P8/D!(\MA>293Y*M_B6:D9+GT8S-H(Q3\KXA;*M+&!`I
     27MT4W%;;&ML4XZM/AE-),1UCY6=P"8]I"5W4F^`YN]#*:V"80E-:H!^<J64'GW
     28MK,Y4C^N@YG]C%S0_TEHVA8[(J`@HT6@R0C^V/G1@;U\&,\9D8(8'=J0@,R@U
     29M:FRRP%[>(1G=$=>VL@>QB@X39NMZ$($0'`(5-9/$5OB`*DT/\*2ZF:0P%L.8
     30MC@ZP4M-FDL'(#$$T;''*%@_;/-!*>Y633@^*;;8%>2YKJ#`XBO:W#0%Q'<6L
     31MTRUHITP8!RVAT6CN]&;6J=4"]18.-=T96=;E!@0(7'UG>T(GPZ35([M$]$`#
     32MX0J?52XOJ[QX[._AZ;=_XSY'9]%I#BZY3M?>G2\&2P9:EI_TY*##A\9V3$^:
     33M[:>]B\,SDI9?G^48U2BE09QD$\;A&P)+DS0+(I;1($HHG\10ZV$"XGN14!B\
     34M9"D^$YKR24A92GE`69+UX)TV_@'I`YS=*JNS3Z(XK',_.=AA=:44^B;H8G06
     35M)$P)U7:%YJY]++H2">=*SDU3G)*15*#(J1Y99#QP6HBDWV7JYN>/[\FK;NZ5
     36M\_O<R&>.4JVSD\[T-)^Z)M682*R)N0,).Y#6%"_WH13%)V@H%F9R6(6,Q3F*
     37MI,.B-G#/9W=GD-1,2/1REP7$-BKQ_Q+SN>'PHR@*Z%@]("[8\/JU&3"1AO"#
     38H5VS8,3T+Y"0Y=]N!WR8$6FD;`?CG3P4!WBJLZ;^=_07?Y>QB*1``````
    3939`
    4040end

  • Tst/Old/m8ex.stat

    rded085 r867e1a3  
    1 1 >> tst_memory_0 :: 1223281230:3100-2008100209:3-1-0:ix86-Linux:nepomuck:206024
    2 1 >> tst_memory_1 :: 1223281230:3100-2008100209:3-1-0:ix86-Linux:nepomuck:697476
    3 1 >> tst_memory_2 :: 1223281230:3100-2008100209:3-1-0:ix86-Linux:nepomuck:697476
    4 1 >> tst_timer_1 :: 1223281230:3100-2008100209:3-1-0:ix86-Linux:nepomuck:14
     11 >> tst_memory_0 :: 1260808076:3107-2009120819:3-1-0:ix86-Linux:nepomuck:218148
     21 >> tst_memory_1 :: 1260808076:3107-2009120819:3-1-0:ix86-Linux:nepomuck:668636
     31 >> tst_memory_2 :: 1260808076:3107-2009120819:3-1-0:ix86-Linux:nepomuck:701420
     41 >> tst_timer_1 :: 1260808076:3107-2009120819:3-1-0:ix86-Linux:nepomuck:7

  • Tst/Old/m8ex.tst

    rded085 r867e1a3  
    3939  ideal J = jac*transpose(T);
    4040  ideal H = M[5..9];
    41   ideal i = H-J;         // this is tricky: difference between two
     41  ideal i = matrix(H)-J;         // this is tricky: difference between two
    4242                         // ideals is not defined, but between two
    4343                         // matrices. By automatic type conversion

  • Tst/Plural/involut_lib.res.gz.uu

    rded085 r867e1a3  
    11begin 640 involut_lib.res.gz
    2 M'XL("%(&X4D``VEN=F]L=71?;&EB+G)E<P#M6%M/VT@4?O>O.*KV(9<QM9U"
    3 M=[%`[6Z*Y`I6J[+24B&*C#U)+!Q/Y'&*X=?O-^/Q+0$*@GU8J1;$PYESGW.^
    4 M.>'T[VGP)Q&YAW0<_$YO"EGLI,G5&]\Z-3O>(8%XF61),1CZEGK3X2$EV7>1
    5 MKHM+,.]D_&9'%F'1R$RTMC>&9T/ANT-Z^Y;R=49AFA(OP^4JY;+9WMW!AZ'2
    6 M+,GB`%I\"R*K7$0-A6:Y6!(T4\>*]>GLX\E?QY_V+:*8SRBD`UJ&U_P??IL.
    7 M7'A/)'F1)]F<0E]Y42P2"3?F_"H/22VA/Y<%*8&:#J%0VR>*%F$>1@7/$UDD
    8 M$>V34]&S]?**YR1F]#W,)>A>1=?/52JB:Y5BT$4><VT^7G4XVF>?LG#)I5J6
    9 M-*5[M'A=+7\8\R*+Q'*YQA$DWSGE/,5"9'+?R$_+@W(Z=DU2SI"4.HN#7D[.
    10 M=$[T\B8I%H1S50$EX14.B%$D\GR'"D'K[#H3-QD(?#9+HH1GA82:L^=FZ=W+
    11 MLQ2Z+GX]"CV\/>\)&2,Z]JUS]T+5"-5O/)=8'T#=&&H:DJ=(W@C:%?F;9[M:
    12 MRNM*,<C972&756*M%L4"'1V"XM`B\#<5XIK"`L7(4:TXBA(UK?_:.`"<'MH/
    13 M4:B]-,EXF-?5C^.&LA5B+`;'B`0NXFB56PR>,`O6694@Q*_VW0M?&[]9\'S#
    14 M$(DK?JMLR$XM6;W\/)"9)/X,A(@_G^N4U-NNB[>'^E,[6L[]YHW-MEV1)YH\
    15 M`M%L>)K\SI"U%;<A[VX;;_!C[_`>_)@FX7P;0Q3U)XZ\!HZH3#X;2[A<B2S6
    16 M]?QZF/(*&=.8\D0LT26%IJL:-^IUZ5:'RNT6U1KJ:JF:?Y]N.-+("1<M2BF"
    17 M7!%FA66[S&&6PQ!.1X_7U9/%T"4Y1&):"2D3)-MH]3?4(>?",AIU[Q[K`TMY
    18 M06M)!8H=JC0RB0J+;A8B5:@CBX?1TS,`V6*G.WX(,=T^7CI]M'3Z6.E:M89[
    19 M;(XW;3Z$TL\RN05H]^-8![\VD>C])A)]7!<;DXRB_$2@ER*0RN+`,TV0*`S)
    20 MBCR4JL;;>5'7\DSD%()[*?(5$K:43T4LLO_O4X],[OC@>*B#!,`L0N1W8(A#
    21 MFH7+)$V@W4P>829O>&YM3"@/@UPOJ?L_P#F1\0V04R:3&!E-BML:E5X$<S$N
    22 M))&%:8N:NI\A?5QG(`JSQW&.:8Q\?*JQ_]NIAN@ZP9<DE*9^A[Z.P6X?7=_Z
    23 MBU1G)NP=!MGW/%MJUICUE(9(J6IZRAFVY?>`&EU?7]"(#AN43`Y9O/)->^:@
    24 M9M&E`9^!BUV_Z;;<H!:J8)',B@Y$R5'9[(DLO6U0H*G-!N7VK5*.I3'WM8L&
    25 M3@\BO_H;#:"&7M:T@4LK].Y2,=_QN.H%E.$]5=R(?EA5(`O`NN.YJ!6@9=QJ
    26 MX$8Z/JR&VK5&@0U*5<+1@J-+,7LCGERQ\'R99+B6N5*K-%I.>Y'\VKU(LDBQ
    27 M1RHA[5W2(?[P.NF?V"V[8].!N[,S&=9G9[Z#3,_W+O"C*%-<F"A:U\?*8[MZ
    28 MA>6$[:GE0\<][1TWN#I>JF%1W]]E]5WB%B]TRQU>,&3#HR&6NWKIJ>6>7DZ&
    29 M=4ODC+YL=<.C3Q/Z@0[\]-%2M4^?XKQMO#]]-:]4X*UKS4E,+O!3GX17Y]]E
    30 M2)E]^K(#J&,P*9^H:)K*^ZU;>>T@VQ9>2WMFW<6/IM_=0@HUQ]@?&Y!8ABLZ
    31 M@E3.2F;'2L_1X,@TEUR(=1K3E;H32MPJH9J8JJL_ZWY?[M9?K)I=`&QF4$KE
    32 M*`:6:[6:&"AJ*SF8L2.-+S,[F/F64[/-P55^\T;QV!M!Q7@R*L?O1ZV:0C'8
    33 M\0@\-KBP"PZ[RQ',^X;FQE`QMX-Y94D'1($".S;W6T+0EPR,9!#X5A#H2&.$
    34 MI-9JN"V]V/;*>`SS6"@^3#A=\4K>#,Z.U1F9ER)>HQI."`;/X0-S+M@Y/ID.
    35 M75>I80E.^CZ=&)\J5`U.\(=VBG5NF;YCS-HD.!UF]5B;!"/0,M3V3C8B5-[`
    36 @`Z>:#ZH/:DK?=:K_>ZK_:ZZE&KE_L?X%Q2O-URT5````
     2M'XL(""1H)DL``VEN=F]L=71?;&EB+G)E<P#M6%M/VT@4?O>O.*KV(1<[M9U"
     3M=[%`[6Z*Y`I6J[+24B&*!GN26#AVY''`\.OWF_'X&D*+8!]6J@7Q<.;<YYQO
     4M3CC[>^;_243.$9WXO].;7.23.+I^XQEG>L<](A"OHB3*!T//D&\Z.J(HN4WC
     5M37X%YDG"[R8B9WDM,U7:WFB>GL)W1_3V+66;A%@<$R_8:AUS46_O3?"AJ32/
     6MDM"'%L^`R#I+@YI"\RQ=$313RXKQZ?SCZ5\GGPX,HI#/B=$AK=@-_X??QP,'
     7MWA,)GF=1LB#F22_R923@QH)?9XSD$OHSD9,4J.@08LH^4;!D&0MRGD4BCP(Z
     8M(+ND)YO5-<\HG=,MRP3H;DE7SW6<!C<RQ:"G6<B5^7#=XFB>`TK8B@NY+&CV
     9MB!*WK>0/;3U-@G2UVN`$HEM.&8^Q2!-QH.5GQ6$Q&SLZ)^?(297$02<EYRHE
     10M:GD7Y4O"L<IX(G:-\S$I2+-L0GE*F^0F2>\2$/A\'@413W(!->?/3=*[ER>)
     11M.0Y^76(NWNYC6>\EC.C$,RZ<2UDA5+WQ7&%]"&UCJ:4BN9+DCJ!<DK^YEJ.D
     12MW+:4"3FK+>28I5BC1;)`1XL@.90(_(W3](98CE+DJ%6<1(&*5G_U\H_#0_,A
     13M"KD71PEG657[.&TH6R/&?'""2.`B3E:Z9<(3TX!U4^:'9/QRW[GTE/&[)<]Z
     14MABB]YO?2AFB5DM')SX[,1.%GX$/X^4*EI-IV'+Q=E)_<47+.-W>LMZV2/%7D
     15M$8AZPU7D=YJLK#@U>6_;>(T>^T>/H,<L8HMM!)'4GRCR"B@B$_EL).%BG2:A
     16M*N?70Y172)A"E!]#$E50:+FR;8-.CV[UI]AN4*6AJI6R]0_HCB.+G'#)HI`"
     17MR.4LR0W+,6W3L$U$T]+CMO4D(70)#I&0UJD0$7*MM7H]=4AY:FB-JG-/U'G%
     18M/*>-H!RE#E4*E](2B>Z6:2PQ1^2[L=/5\-@@IS/>A9=.%RWM+E;:7:1TC$K#
     19M(S;'?9N[,/I9)K?@['$4:Z%7'X?>]W'HXR;O33&2\A-_7H@_,HD#5_=`)!$D
     20MR3,F9(DWHZ(JY7F:$0/W*LW6R-=*_"A>D?4_GWA$],`')T,5(^!ER9#>@28.
     21M:<Y641Q!N9XZ6"+N>&;TII/=$-?)Z<%W4"Y->`_BI,DH1$*C_+["I!>!7(C;
     22M*$U8W&"FZF9(GU09"%CR-,J9"B&?GFBL_W:B(;J)\/4(E:G>S%,Q6,VCREM]
     23MA6K-@YW#(.N19TO-!G.>U!!(575+V<.F^G:H4?7U!7UHFX/"%$,S7'NZ.S-0
     24MD^!*0\_`P:Y7-UNF,0M5L(SF>0N@Q*BH]](DOJ]!H*[-&N,.C$*,A3;WM0T&
     25M=@<@OWJ]!I`#KUFW@4-KM.Y*,C_PL.P%E.$C55R+?EB7$`N\>N!96BE`RSCE
     26ML(UT?%@/E6NU`@N4LH2#)4>78NY&/)EDX=DJ2G`I<ZE6:C3LYAKYM7V-)(%D
     27M#V1"FIND1?SN9=(]L7OSP9P-G,ED.JS.3G__F%WL7^)'4F:X+E&TCH>5:^ZI
     28M%993<U\N=QWWK'/<X&IY*2=%=7L7Y?>(>[S0+0]XP9`%CX98[JFE*Y?[:CD=
     29M5BV1F?1EJQN>?.K0#U7@9T^6JG7V(\Y;VONS5_-*!MZX5I_$]!(_U4FX5?X=
     30M$RFSSEYV`%4,.N53&4U=>;^U*Z\98YO":VC/K+OPR?0[6T@AIQCK8PT2*[:F
     31M8TAE9F%:H=1S/#C6S266Z28.Z5K>"05N%2;GI?+F3]K?E=OU%\IF3P$V<RBE
     32M8A0"RY5:1?0EM9$<S,UCA2]SRY][AEVQ+<!5?'-'X=@=0<5X.BK&[T>-FEPR
     33M6.$(/!:XL`L.J\WA+[J&%MI0OK#\16E)!42^!#MSX34$OROI:TG?]PS?5Y&&
     34M"$FNY6A;N*'E%N$8YK&H2VW@#S'HM-64>O3X;!NMP7F5AAM4Q2G!\`5\,>U+
     35M\P*?IDJ!JE;-XI]V?3O5OI7HZI_B#^6<V;IMN@Z:1I]@MYCE8_0)6J!AJ.SI
     36G2$_[D4JOX(E=S@OE!]6MX-CE?T#E?S@W0@[@OQC_`F,R5'<W%0``
    3737`
    3838end

  • Tst/Plural/involut_lib.stat

    rded085 r867e1a3  
    1 1 >> tst_memory_0 :: 1239483986:3100-2009040812:3-1-0:ix86-Linux:nepomuck:363852
    2 1 >> tst_memory_1 :: 1239483986:3100-2009040812:3-1-0:ix86-Linux:nepomuck:1029444
    3 1 >> tst_memory_2 :: 1239483986:3100-2009040812:3-1-0:ix86-Linux:nepomuck:1029444
    4 1 >> tst_timer_1 :: 1239483986:3100-2009040812:3-1-0:ix86-Linux:nepomuck:56
     11 >> tst_memory_0 :: 1260808228:3107-2009120819:3-1-0:ix86-Linux:nepomuck:363756
     21 >> tst_memory_1 :: 1260808228:3107-2009120819:3-1-0:ix86-Linux:nepomuck:937984
     31 >> tst_memory_2 :: 1260808228:3107-2009120819:3-1-0:ix86-Linux:nepomuck:1024000
     41 >> tst_timer_1 :: 1260808228:3107-2009120819:3-1-0:ix86-Linux:nepomuck:25
Note: See TracChangeset for help on using the changeset viewer.