Changeset 04929b7 in git


Ignore:
Timestamp:
Apr 1, 2020, 9:34:44 AM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
52558a6b3a0a415be47b13181276001350a30b8e
Parents:
eb91f7111038dfbf967fb4ff02b2f919c13e07d2
Message:
fix: matrix size for division
Files:
3 added
4 edited

Legend:

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

    reb91f7 r04929b7  
    11begin 640 div_lift_s.res.gz
    2 M'XL("-UC15@``V1I=E]L:69T7W,N<F5S`.5966_C-A!^]Z\@C#Y8,6V+I,X&
    3 M<9&B#PX0]&7KIR#09F-E2]>Q%[;2*O[U'>H84I24`[MITVT.4/HX,YR+G\GD
    4 MPV^_7/Q*"&%S<GGQ,QEFAVRZD9^&IX,/U0R?$P`3N979R#D=J)',YV0E_TPV
    5 M\BY+#M-M^M?TD-UDJ"+F9#;#-V\*;R1+#QDYW.[EEXS<[?9$Z<[`B#S(W9;<
    6 M[N[O;[8KU/&GIH5@2O9R^YGLM5?AG,A5>K,A\BSG])'3(]>3$4[*L_N;O'@>
    7 M<4<+Q+7`&N?)2&@!YL[)4$(2)"*0H"_@1#:ZO\GV,A])!\3KI5$*DC5<@]X:
    8 M$6'IK97>4=#'H](]TD=!<WC,'X_P"R-`.7^DN4`+WIR4NF2I'?1A(97"D:1K
    9 M!Q;$9Y0(ZH5Q"A:&V'\B?+LB][O5PR8EJUUZ(-M=!N5(B=R2[/>4W,G](2LE
    10 MT_T>2K6[O7W8[].5$H#73RG4+R7E.ANY36&M'\G'UF(?T970<)8N37?A#:4B
    11 MVV&8?#N7HY;+Q7+::>B1X1)<7=8(=VL'E^"62]O?_V608)C0Z<-Z8];MU7A'
    12 M2>CVC81M?7F&\VLJ]3;BV/R75^RZE31H?IJ7SJA'->:UAS;0\-#39GEIMO&C
    13 M]I(!H)JOU8128]VI:<.%BS9<!<.ZP"9LA,VZ0`U;"6+=U6+=)60Z08&BKX*_
    14 MD,!X:!-8P6"*A8Z*Q'+%/T`]*!_95,;CKZ4RX9I4!A\*)R<$-FEZ!Q\J0.]+
    15 M,L)9;#+!D#P:5&<VHN!-ZJC(KJ.'RKS9<)5,JP6;V<V[:Y%WUR+'6@AA^F^R
    16 M7Y/^A->*H>2_]Q&%;[.A"$PV_&ZWD@@;;-BBPT8;1IU\J`BQU>N79-0MJJW%
    17 M%GF^BT;PW*>YM_&#2NS_PKP>,-$?<K,QCJH>$(!U>O74D:X\S2S.$(0S;\Y/
    18 M/J?;$7,HH@&BW$!#1(6!1HAZ!AHCZFO4=Q$-#90A&ADH1S0V4*']=0W8T[`1
    19 MAZ^B*]!`GP]\X!!\AI#JG+B8%!]"8FS&7,S,A(7^3/!<5/Z,`VZ\FRM"W!,V
    20 M\S"><:SM<&<B&"@&7J4(TU%HO!O)#B!53&A=X8R9/V-!O:0+[Y'IE%&2`!(Z
    21 M@75J+P)GC!5J6H'(0N$)L..SVA!(*R>CZM4H:@`EF82%?EW$<:A=])T)+XUQ
    22 MOUX!)(09H=$,@6A&&-H1A9`N=,-4])KEB:QR1%:YS*Q"0Q@%B1VC5LPJ1FQ7
    23 MRRAS`!O$B+RHADH9UJH1M)KV`F6<\:BC7&'1,SS'],-SNYD#U96&E%]Y6]=X
    24 M@C7&5@]BW>HA-%1UT#D_J\Y2Q8?^@BY<1^N$2)OG`)Y?,<JN@6V(^JH&>VP.
    25 M2B6R56J-`0IQRE&HQZ`7QWY.NU>Q#:)=0<4U?=I#0S9NQ3;H7L=SH>O'K#NL
    26 MSF'"Z%,&Z_'\RJ?^-?5<UWTFUF<\U`8#95`-04\9>HL2/E\4)10^;9<,.BOW
    27 M7-M$S[<-IM8MTO6R*L<OK[)E^.GR!JZ+_=!G$#8#H]Z+RE#:*S48N\;]R*T+
    28 MT,(Y.9_4S\7.;9\-.L\1WR.LZ4W=>-9I=LQ(?;95U\@&@+)>=62^T.?@A4L7
    29 M!@FJF\<%G(#!AAH0Q_O'17D\3E[/C\E+^#%Y(WY,7L&/R;O@Q^1;\V-2\F/R
    30 M>GY,7L*/R1OQ8_)&_)C\J_R8O)H?$YL?PV*K\G*K<HU'>JOR]I\!WQV3_3,L
    31 M&1?)$F6R!"8K<G6R>N_*/;?EGOMRSXVYY\[<<VONN3?WW)Q[[L[=M^>^9.EK
    32 :=<3*?T*I_S(]'.#X?_K#Z>!OV\X@5+L:````
     2M'XL("");@UX"`V1I=E]L:69T7W,N<F5S`.U92V_C-A"^^U<01@]63-M\Z-D@
     3M+ESTX`!!+UN?`D.;C94M7<=>V-I6\:_O4(\A)4M.@C9HL-LX`:6/,\-Y\3.)
     4M?/CME^M?"2%\2FZN?R;]])".-^I3_[+WH9P14P)@K+8J'3B7/3V2Z92LU)_Q
     5M1CVD\6&\3?X:']*[%%7DE$PF^.:.X8VDR2$EA_N]^I*2A]V>:-T)&%$'M=N2
     6M^]WCX]UVA3K>V+;@C\E>;3^3O?$JF!*U2NXV1%UE@CX)>A1F,L1)=?5XE^7/
     7M`^$8@:@26.,\&4@CP-F4]!4D02$""?H"3J2#Q[MTK[*!<D"\6AJE(%G]->BM
     8M$9$-O;76.TKZ=-2Z1_HD:0:/V=,1_F`$*!-/-)-HP9V20I<LC(,>+*13.%!T
     9M[<""^(P2?K4P3L'"$/M/1&Q7Y'&W^KI)R&J7',AVET(Y$J*V)/T](0]J?T@+
     10MR62_AU+M[N^_[O?)2@O`ZZ<$ZI>08IV-VB:PUH_DX\EB']&5P'*6+FQWX0VE
     11MPJ;#,/EV+H<G+N?+&:>A1_H+<'51(8)5#B[`+4[9R:?'*&\#3^%>,?`VL`[W
     12MS"-O`PW<JR_!V\`"[IVZS@F&"9W>KS9FU5ZU=Y2$;M\HV-8W5SB_ILIL(X'-
     13M?W/+EX#7UX3FIUGAC'[48U;%T@3@8SQTC5E1F*W]ZKUD`:CF&36Y_*9+Z&OZ
     14MROD+"4P$30++&4RST%&36*;Y!Z@'Y<,FE8GHGU*99#:5P9?"Q06!39H\P)<*
     15MT/N"#'`6FTQR)(\:U=F-*$6=.DJR:^FA(F]-N$QFHP7KV<W::Y&UUR+#6DAI
     16M^V^S7YW^I'L20\%_[R,*K\F&TO\NV%`&-38\H<-:&X:M?*@)\:37;\B@7=18
     17MBQKD^2X:P67GN9>U,:_+OQ?F=8&)_E";C754=8$`&J=75Q_IBM/,_`I!./-F
     18MXN)SLAUPAR+J(RHL-$!46FB(J&NA$:*>03V&:&"A'-'00@6BD85*XR^S8-?`
     19M5AR>CBY'?7,^\(!#\!E"JG+","D>A,3YA#/,S(@'WD2*3);^#'UAO=LK0MPC
     20M/G$QGF%D[`AG)#DH^FZI"--A8+U;R?8A55P:7>D,N3?A?K4D@_?0=LHJB0\)
     21M'<$ZE1>^,\0*U:U`9(%T)=CQ>&4(I+638?EJ%=6'DHR"7+\JXC`P+GK.2!3&
     22MA%>M`!+2CM!J!E_6(PR:$060+G3#5G3KY0D;Y0@;Y;*S"@UA%21RK%KQ1C&B
     23M9K6L,ONP0:S(\VKHE&&M:D'K:=?7QKD(6\H5Y#TC,DP_/)\VLZ^[TI+R2F^K
     24M&H^PQMCJ?F1:/8"&*@\ZLZOR+)5_Z<_IG#E&)T#:G`$XN^64+X%MB/XIA^98
     25M'[1*V%2I-'HH)*A`H0Z#;A1Y&6U?I6D0[4HJE_2\AY9L=!);KWT=ET'7#SD]
     26M9[`^C#@]9[`:9[<>]9;498P]$^LS'AJ#OC:H!W])7V-P=AL\7Q0M%)RW2WJM
     27ME7NN;<+GVP93R_)TO:S*T<NKW#!\OKP^8]@/709A,W#JOJ@,A;U"@_,E[D?1
     28MN`#-G8O9J'K.=RZCK/UH\^W#AM[TC6>=I,>45&=;?8VL`2CKED?F:W,.GC,Z
     29MMTA0WSRNX00,-O2`.-X_KHOC<?QZ?HQ?PH_Q&_%C_`I^C-\%/\;_-C_&!3_&
     30MK^?'^"7\&+\1/\9OQ(_Q?\J/\:OY,6[R8Y!O55%L56'PT&Q5L?R?)8ND1'FR
     31M9)$LB<D*F4E6YUVYX[;<<5_NN#%WW)D[;LT=]^:.FW/'W;G]]MR5+'.M#GGQ
     3273RC]7Z:O!SC^7_YPV?L;QP#LEKL:````
    3333`
    3434end
  • Tst/Short/div_lift_s.stat

    reb91f7 r04929b7  
    1 1 >> tst_memory_0 :: 1480942444:4100, 64 bit:4.1.0:x86_64-Linux:nepomuck:242224
    2 1 >> tst_memory_1 :: 1480942444:4100, 64 bit:4.1.0:x86_64-Linux:nepomuck:2359296
    3 1 >> tst_memory_2 :: 1480942444:4100, 64 bit:4.1.0:x86_64-Linux:nepomuck:2383872
    4 1 >> tst_timer_1 :: 1480942444:4100, 64 bit:4.1.0:x86_64-Linux:nepomuck:1
     11 >> tst_memory_0 :: 1585666850:4125, 64 bit:4.1.2:x86_64-Linux:nepomuck:223416
     21 >> tst_memory_1 :: 1585666850:4125, 64 bit:4.1.2:x86_64-Linux:nepomuck:2310144
     31 >> tst_memory_2 :: 1585666850:4125, 64 bit:4.1.2:x86_64-Linux:nepomuck:2319312
     41 >> tst_timer_1 :: 1585666850:4125, 64 bit:4.1.2:x86_64-Linux:nepomuck:4
  • Tst/Short/ok_s.lst

    reb91f7 r04929b7  
    55bug_content
    66bug_curvepar
     7bug_division_2
    78bug_ecart
    89bug_mem_Z
  • kernel/ideals.cc

    reb91f7 r04929b7  
    11101110}
    11111111
    1112 static void idLift_setUnit(int e_mod, int e_smod,matrix *unit)
     1112static void idLift_setUnit(int e_mod, matrix *unit)
    11131113{
    11141114  if (unit!=NULL)
    11151115  {
    1116     *unit=mpNew(e_mod,e_smod);
     1116    *unit=mpNew(e_mod,e_mod);
    11171117    // make sure that U is a diagonal matrix of units
    1118     for(int i=e_smod;i>0;i--)
     1118    for(int i=e_mod;i>0;i--)
    11191119    {
    11201120      MATELEM(*unit,i,i)=pOne();
     
    11421142      *rest=idInit(1,mod->rank);
    11431143    }
    1144     idLift_setUnit(idelems_mod,idelems_submod,unit);
     1144    idLift_setUnit(idelems_submod,unit);
    11451145    return idInit(1,idelems_mod);
    11461146  }
     
    11501150    {
    11511151      *rest=idCopy(submod);
    1152       idLift_setUnit(idelems_mod,idelems_submod,unit);
     1152      idLift_setUnit(idelems_submod,unit);
    11531153      return idInit(1,idelems_mod);
    11541154    }
     
    12601260          if (unit!=NULL)
    12611261          {
    1262             *unit=mpNew(comps_to_add,comps_to_add);
     1262            idLift_setUnit(idelems_submod,unit);
    12631263          }
    12641264          if (rest!=NULL) *rest=idCopy(submod);
     
    13061306  if (unit!=NULL)
    13071307  {
    1308     *unit=mpNew(comps_to_add,comps_to_add);
     1308    *unit=mpNew(idelems_submod,idelems_submod);
    13091309    int i;
    13101310    for(i=0;i<IDELEMS(s_result);i++)
Note: See TracChangeset for help on using the changeset viewer.