Changeset 72477e in git

Timestamp:

Jun 2, 2021, 2:03:23 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

292b6572a45e1b64dfbf5fe30500439af95a5d51

Parents:

59f4d39881cf41f8b4d3e4ad9987c547143cbf29

Message:

improve liftstd via slimgb

Files:

• Tst/Manual/liftstd.res.gz.uu (modified) (1 diff)
• Tst/Manual/liftstd.stat (modified) (1 diff)
• Tst/Manual/liftstd.tst (modified) (2 diffs)
• kernel/ideals.cc (modified) (1 diff)

Tst/Manual/liftstd.res.gz.uu

@@ -1 +1 @@
 begin 640 liftstd.res.gz
-M'XL("+B^-V`"`VQI9G1S=&0N<F5S`,U438^;,!"]\RNL:`]03.0/OJ*('*I>
-M5JIZZ'*+T"IIDI57D*S6K&K\ZSMC\Y%*VWLYP&/\9OSF#>:I_O;X@Q#"=^3[
-MXU>RZG6_;M5QM26`GM55]6&T#?!)=CO2J@N$3^OK^?=:]X<^>!K3Q0YN[^KZ
-M0GY6C(:&#M1&]/2VG1D2&6^W=B"7RLAX*&(K8C/8A9$B0YW.AY:HZO7PZW8,
-M+]&RG.%R=^C?E2'U$LZ7+-U5H\!0T?HNM4".[K:![O:\J<P0"XM8-)4T(A[<
-MBVRJ`21)EI9\(ZS$6`H$)E)C10)K&,F`)6R2&Y>3X_JFX%G)LUR4I4UCP7CN
-MDXNF*H8\!N:DHW0>@$U]B/(8Y;3><RH;"G%$:0/&>9@WE%&@,)I($Z,*2Z5!
-M(F&.(I#":<"!4N_E7$5B%<AQ0:Q"YOTWBX6A[J)DA"KZ`H8^PZ9@#G-`3$!.
-M()U`-H%\`@6"<0_.W!ZWTT=[)GH>`>=^!/<#HGH9$1>+-1A.S)`(2YGKEVAO
-MDO8.:2?"/:"]8.2,&1I\<53AJ<)3G5F!'S;U4X&H]%3IJ=)3T;39,BX_TTU7
-M`%=WZM/_5'WV#_6MZEZ.]PWDGS:@W9=`IP[(_34K!UEP.*@[)P(28\Y8.5C,
-CGR2C+%\'-9._ZTP2X)#B+P=_*Q\ZY-'V(?@#GH01?)T$````
+M'XL("$MSMV`"`VQI9G1S=&0N<F5S`,U4RV[;,!"\ZRL((P>IH@P^]#($^5#T
+M$J#HH?'-$`*[M@,&DAV$"BKQZ[M+ZF&@=@\Y]2*-EK/DS.Y23YMOCS\((7Q-
+MOC]^)8M6M\M:[1<%`?2LSJKU@\+#-UFO2:U.$#XLS\??2]WN6N]I2!=K>+RK
+M\POY63+J=[2G)J"'MV)B2&2\7>J>G,I.AGT6&A%VO9D9,3+4X;BKB2I?=[\N
+M>_\4S,L)+C>[]EUU9#.'TSE+-^4@T%=T<Y6:(4<WA:>;+:_*K@^%02RJ4G8B
+M[.V'K,H>)$D6YWPEC,18#`0FXLZ("-8PD@!+F"CM;$Z*ZZN,)SE/4I'G)@X%
+MXZE+SJHRZ],0F*..W-8`RM3Z*(]13C=;3F5%(8XHKJ!P#J85910HC$:R"U&%
+MH;)#(F&6(I#"J<>!LMG*:1>)NT".#>(N9#I_-9?0UTT0#5`%7Z"@SW`H%(=9
+M($8@1Q"/(!E!.H(,P7`&9_:,R^&C/A(]M8!SUX+K!E$]MXC;`=+*''V7Z]^6
+M&01ER0J/3WGR3AZ0QQV"OY+BN0^H(>KZ2!C*;'&)=AW1KAW:.K8OJ*4W<(8,
+M#4VP5.&HPE%M9SPW6=2-`$2EHTI'E8Z*'9KZPY-;1:(+@(NK4J7_J?KLCOI:
+M-2_[:P/Y30/:CAW]IP-")@\@$.[D:&)R;TW`HH0K+B8;*-7M?=\'F9VL/C>,
+;@GUB&`7<#/S5XN_T0_L\*!Z\/S*&1*N5!0``
 `
 end

Tst/Manual/liftstd.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1614266040:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:90400
-1 >> tst_memory_1 :: 1614266040:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:2150192
-1 >> tst_memory_2 :: 1614266040:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:2191296
-1 >> tst_timer_1 :: 1614266040:4201, 64 bit:4.2.0:x86_64-Linux:nepomuck:4
+1 >> tst_memory_0 :: 1622635339:4203, 64 bit:4.2.1:x86_64-Linux:nepomuck:94008
+1 >> tst_memory_1 :: 1622635339:4203, 64 bit:4.2.1:x86_64-Linux:nepomuck:2150192
+1 >> tst_memory_2 :: 1622635339:4203, 64 bit:4.2.1:x86_64-Linux:nepomuck:2191296
+1 >> tst_timer_1 :: 1622635339:4203, 64 bit:4.2.1:x86_64-Linux:nepomuck:2

Tst/Manual/liftstd.tst

@@ -10 +10 @@
   module s;
   sm=liftstd(i,T,s);
+  size(module(matrix(sm)-matrix(i)*T))==0;
+  size(module(matrix(i)*matrix(s)))==0;
   print(s);
   sm=liftstd(i,T,s,"std");
@@ -15 +17 @@
   sm=liftstd(i,T,s,"slimgb");
   print(s);
+  size(module(matrix(sm)-matrix(i)*T))==0;
+  size(module(matrix(i)*matrix(s)))==0;
 tst_status(1);$

kernel/ideals.cc

@@ -227 +227 @@
   {
     if (TEST_OPT_PROT) { PrintS("slimgb:"); mflush(); }
-    temp1 = t_rep_gb(currRing, temp, temp->rank);
+    temp1 = t_rep_gb(currRing, temp, syzComp);
     idDelete(&temp);
   }