Changeset 649427 in git

Timestamp:

Nov 2, 2022, 11:36:25 AM (5 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')

Children:

2ea97f9b11bc251f21ac6d89ae9453eb5074a95d

Parents:

eedce96bd7cce4843c40e5ad4ebd4b53d7fea7fb

Message:

fix: maximal space for exponents

(see https://github.com/oscar-system/Oscar.jl/issues/1663)

Files:

• Tst/Short/bug_tr393.res.gz.uu (modified) (1 diff)
• Tst/Short/bug_tr393.stat (modified) (1 diff)
• Tst/Short/bug_tr393.tst (modified) (1 diff)
• Tst/Short/bug_tr774.res.gz.uu (modified) (1 diff)
• Tst/Short/bug_tr774.stat (modified) (1 diff)
• Tst/Short/bug_tr774.tst (modified) (4 diffs)
• libpolys/polys/monomials/ring.cc (modified) (1 diff)

Tst/Short/bug_tr393.res.gz.uu

@@ -1 +1 @@
 begin 640 bug_tr393.res.gz
-M'XL("+IC15@``V)U9U]T<C,Y,RYR97,`?9#/3X,P',7O_!4OBP>VD(Y?@I.L
-M!Z,F2Q:7;$:/RY@%&[$TM#CPK[>@@WC02_M-/WWOM6_W>+MZ`.!1K%<WF&BE
-M2<'326+M?HA/80[W7'!M3Q.KVT$ITCK?ZRI8!$2P$U'ZH`=%0#',(<%\CO*#
-M55E1GG!\9<<W=3W@2X**BQS5F!=1R+)H(9=^$[CN"&**]X-$MJR<W^"*(K.E
-M>9M)FLV,6BF>%@R;I[OM_7KS#"XZI6.6!JR1I6!"@RL$?AS%EM_X81B%[>"W
-MH%!UJC1LZ31.:[+^]^XO_^'N?%.N:]W]\X7E,'Y(V_-H^6T?_WF.]]RQ/L\C
-4??E=O;6RO6ER87T!Q.+X7K(!````
+M'XL("*U#8F,"`V)U9U]T<C,Y,RYR97,`?5%=2\,P%'WOKS@,'[I1NB;=1VM9
+M'D2%P7#@1!_'.M,:K&UH4M?ZZVTV24'0E]Q+3LY'[MT]W:X?`!"&S?H&(ZVT
+M7XATE#B['X0R])=[40KMCA/'5#"&M,GWN@[CT"_YR5?ZH"TC9+#]S,=TBNJ3
+MUUE1G7!\X\=W=6WAN8]:E#GJP6_!(*NB@US1-@R"8$"6#!\'B6Q5>[^0B"%S
+M99^N]YI,>KY2(BTXML]WC_>;[0M$::A>?[3@K:Q*7FH(A3F=T6CIT'9!2!C3
+M+K*2,8-J4J7A2J_U.N/WO_[Y]5\.W@46NM'FNZ\\AU%$VMG>H=TEQ)<-08)A
+7DH3XYSV823?*)>/DROD&L#X)";T!````
 `
 end

Tst/Short/bug_tr393.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1480942444:4100, 64 bit:4.1.0:x86_64-Linux:nepomuck:236240
-1 >> tst_memory_1 :: 1480942444:4100, 64 bit:4.1.0:x86_64-Linux:nepomuck:2359296
-1 >> tst_memory_2 :: 1480942444:4100, 64 bit:4.1.0:x86_64-Linux:nepomuck:2363392
-1 >> tst_timer_1 :: 1480942444:4100, 64 bit:4.1.0:x86_64-Linux:nepomuck:0
+1 >> tst_memory_0 :: 1667384237:4312, 64 bit:4.3.1:x86_64-Linux:nepomuck:213424
+1 >> tst_memory_1 :: 1667384237:4312, 64 bit:4.3.1:x86_64-Linux:nepomuck:2278208
+1 >> tst_memory_2 :: 1667384237:4312, 64 bit:4.3.1:x86_64-Linux:nepomuck:2319312
+1 >> tst_timer_1 :: 1667384237:4312, 64 bit:4.3.1:x86_64-Linux:nepomuck:2

Tst/Short/bug_tr393.tst

@@ -4 +4 @@
 // overflow checks:
 ring r;
-poly p=2x300;
-map f=r,x300;
+poly p=2x3000;
+map f=r,x3000;
 f(p);
-subst (p,x,y300);
+subst (p,x,y3000);
 
 tst_status(1);$

Tst/Short/bug_tr774.res.gz.uu

@@ -1 +1 @@
 begin 640 bug_tr774.res.gz
-M'XL("*FRV&$"`V)U9U]T<C<W-"YR97,`[9;);MLP$(;O?HI!T(,$R+*X:'$,
-MJT#:BX&@%^=6)+$6VB&L4@)-)WG\#A,MAF&W"!#?<I(X'/ZS\`/)Y=W/Q2\`
-M("G<+F[@RNR,7\G\:C9:MC,T!30^2B6-X\Y&]@MI"OE^\VAT''-?B1=_9S+3
-MKV`I]/_<A\D$BB=1;*7:P+K64#\+O:[J%Y`*=J:<2&6$UJ*<;'0M<B5TOSCT
-MH6Z,K)6#T\L;=T@J.@@1^Z"MMB9S)W`])_-RK_!*_*L:A[O>CX-U20JR%%D%
-MBWDQ+DE`N=?/37W(QP6)>@L)T/+FA.9X,!,?LG%^Z$C1TCK2\,"3H1T5T3GN
-M<R`\M64["TP+HWX'\=K42B@#>;U7)<@=1&'(PG92:]NRHMC;%MF6X3`7V$<!
-M[X*55`)%KV'5JJ[Z2"%6VS;WD\.%&.Y0>HB).]/MXR?$1*Y4F>G2,GE]C04^
-MR2I_SX$E%)-`!9#S/A5I4WE3K43V;*DXK8"@6+?=5C:-]3+BU<!:UW]@Y:[:
-MC#(#IMX*94W_TNS*!8<0%KM])^*!49)TC-+_,DJFYQFEP3&CM(.Q7T_I!?BB
-M]`1?E%V*+\K.\47Y%U]M)\*!+QIU?+%YX#DM6U4S0!$/4"%`#Q'WD*T'"]?@
-MDUP"G.04.-.+@3,]!PX+OL!I.T$&<!CMP.%G#B;OUJ$1)9R[PQ'%V/DCBO'C
-M(XJ%)Z]1%AU?HRP^?8VRY,0URJ8#K8^_R7V7"`[H/3)>DH@E=L3NY]FX?*^A
-I6\R#(P`_KD".</JX`AVV@>-#P3ZR[#-JOW.(.X-OL]%?-1,-SIP)````
+M'XL("%%$8F,"`V)U9U]T<C<W-"YR97,`[9;);MLP$(;O>8I!T(,$T+)(:G,,
+MJT#:BX&@%_=6.+$6VB&B4@9-)WG\#F,MAF"W#1#?<I(X'/ZS\`/)Q<_O\Q\`
+M0%.XF]_"M=D9KY+Y]?1JT<RP%-#X()4TCCN]LE](4\CWFP>CXSCPE'CQ=B8S
+MW0J>0O<?>#`>0_$HBB>I-K"N-=3/0J^K^@6D@ITIQU(9H;4HQQM=BUP)W2T.
+M/:BW1M;*P>G%K=LG%1V%B#W05EO3F>.[Q,E(3@I2$D'69$,>T5)MG<0EWX[6
+M)RG(4F05S&?%J*0^"T@W-_$@'Q4TZBS41\N;$YKCWDP]R$;YL2-#2^/(PB-/
+MCG941.>XRX$&J2W?F6-:&/4KB-=MK80RD-=[58+<012&/&PFM;:M*XJ];95M
+M'0YS@?T4<!"LI!(H>@.K1G7510JQVJ;)'QPNQ'#'TGU,W*%V/S\@)O*ERDR7
+MELV;&RSP45;Y(0>>,$P"%4#.NE2D3>5-M1+9LZ7CM`("8]UV3W*[M5Y&O!I8
+MZ_HWK-Q5DU%FP-1/0EG3WS3;<L&AE,=NUXFX9Y4F+:OLOUFED_.L,G_(*FNA
+M[-8S=@'.&#O!&>.7XHSQ<YRQX).SIA-ASQF+6L[XS"?.@+%JV\,1]W`A2/=1
+M0)"Q>PM9[Y-<`J#D%$"3BP$T.0<0]S\!:CI!>X`X:P$*_G%0D3N'18P&@=L?
+M69R?/[)X,#RR>'CR>N71\'KE\>GKE2<GKE<^Z:E]^$67;2(X8$MDO:013^R(
+M+V?9J#S4T"X._`&([U>@`ZS>K\#Z[0CP`6$?8?:9M=\YU)W"E^G5'UJW^TF\
+#"0``
 `
 end

Tst/Short/bug_tr774.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1641591465:4213, 64 bit:4.3.0:x86_64-Linux:nepomuck:111376
-1 >> tst_memory_1 :: 1641591465:4213, 64 bit:4.3.0:x86_64-Linux:nepomuck:2207744
-1 >> tst_memory_2 :: 1641591465:4213, 64 bit:4.3.0:x86_64-Linux:nepomuck:2307256
-1 >> tst_timer_1 :: 1641591465:4213, 64 bit:4.3.0:x86_64-Linux:nepomuck:2
+1 >> tst_memory_0 :: 1667384401:4312, 64 bit:4.3.1:x86_64-Linux:nepomuck:112728
+1 >> tst_memory_1 :: 1667384401:4312, 64 bit:4.3.1:x86_64-Linux:nepomuck:2183168
+1 >> tst_memory_2 :: 1667384401:4312, 64 bit:4.3.1:x86_64-Linux:nepomuck:2243544
+1 >> tst_timer_1 :: 1667384401:4312, 64 bit:4.3.1:x86_64-Linux:nepomuck:2

Tst/Short/bug_tr774.tst

@@ -5 +5 @@
 option(redSB);
 
-ring r1=(0),(a,b,c,d),(lp(4),C);
+ring r1=(0),(a,b,c,d,e,f,g,h),(lp(8),C);
 ideal I=c-d1024,
 b-c16,
@@ -16 +16 @@
 groebner(I);
 
-ring r2=(0),(a,b,c,d),(lp(4),C);
+ring r2=(0),(a,b,c,d,e,f,g,h),(lp(8),C);
 ideal I=c-d1024,
 b-c16,
@@ -24 +24 @@
 groebner(I);
 
-ring r3=0,(b,c,d),lp;
+ring r3=0,(b,c,d,e,f,g,h),lp;
 ideal I=b-c^64,c-d^1024;
 std(I);
@@ -30 +30 @@
 groebner(I);
 
-ring r4=(0),(a,b,c,d),(lp(4),C,L(262144));
+ring r4=(0),(a,b,c,d,e,f,g,h),(lp(8),C,L(262144));
 ideal I=c-d1024,
 b-c16,

libpolys/polys/monomials/ring.cc

@@ -2700 +2700 @@
 unsigned long rGetExpSize(unsigned long bitmask, int & bits, int N)
 {
-#if SIZEOF_LONG == 8
-  if (N<4) N=4;
-#else
-  if (N<2) N=2;
-#endif
   bitmask =rGetExpSize(bitmask, bits);
   int vars_per_long=BIT_SIZEOF_LONG/bits;