Package: singular
Version: 3-0-4-3.dfsg-3.1
Severity: normal

While considering whether to sponsor Mònica's NMU for #646456, I tried to
run the regression tests. I got as far as:

( cd Tst/Short && perl ../regress.cmd -s /usr/bin/Singular ok_s.lst )

with the attached output.

Given that the tests clearly don't all work and I have no idea how significant
the failures are or how else to test this package, I'm not comfortable
sponsoring this.

Regards,
    S
;; Test which should pass shifted exponents
--- alexpoly                24.10 
--- algebralib              0.07 
--- allres_s                0.15 
--- barei_s                 0.02 
--- betti_s                 0.03 
--- bug_1                   0.01 
--- bug_10                  0.01 
--- bug_11                  0.01 
--- bug_12                  0.44 
--- bug_13                  0.00 
--- bug_14                  0.02 
--- bug_15 
155c155
<       _[2]=x+y+1
---
>       _[2]=x-y
158c158
<       _[2]=x+y+1
---
>       _[2]=x-y
162c162
<       _[2]=x-y
---
>       _[2]=x+y+1
165c165
<       _[2]=x-y
---
>       _[2]=x+y+1
169c169
<       _[2]=x+y
---
>       _[2]=x-y+1
172c172
<       _[2]=x+y
---
>       _[2]=x-y+1
176c176
<       _[2]=x-y+1
---
>       _[2]=x+y
179c179
<       _[2]=x-y+1
---
>       _[2]=x+y
!!! bug_15 : Differences in res files
--- bug_16                  0.02 
--- bug_17 
30,31c30,31
<       _[2]=y+z+1
<       _[3]=x+z+1
---
>       _[2]=y+z
>       _[3]=x+z
34,35c34,35
<       _[2]=y+z+1
<       _[3]=x+z+1
---
>       _[2]=y+z
>       _[3]=x+z
39,40c39,40
<       _[2]=y+z
<       _[3]=x+z
---
>       _[2]=y+z+1
>       _[3]=x+z+1
43,44c43,44
<       _[2]=y+z
<       _[3]=x+z
---
>       _[2]=y+z+1
>       _[3]=x+z+1
!!! bug_17 : Differences in res files
--- bug_18                  0.01 
--- bug_19                  0.02 
--- bug_20                  0.01 
--- bug_21                  0.02 
--- bug_22                  0.00 
--- bug_23                  0.02 
--- bug_24                  0.01 
--- bug_25                  0.03 
--- bug_26                  0.02 
--- bug_27                  0.00 
--- bug_28                  0.02 
--- bug_29                  0.01 
--- bug_3                   0.01 
--- bug_30                  0.02 
--- bug_31                  0.04 
--- bug_32                  0.04 
--- bug_33                  0.01 
--- bug_34                  0.02 
--- bug_35                  0.02 
--- bug_36                  0.02 
--- bug_37                  0.01 
--- bug_38                  0.04 
--- bug_40                  1.86 
--- bug_41                  0.02 
--- bug_42                  0.04 
--- bug_43                  0.01 
--- bug_44                  0.02 
--- bug_46                  0.18 
--- bug_47                  0.04 
--- bug_48                  0.01 
--- bug_49                  0.02 
--- bug_5                   0.00 
--- bug_50                  0.07 
--- bug_6                   0.01 
--- bug_7                   0.02 
--- bug_8                   0.03 
--- bug_9                   0.00 
--- bug_barei               0.05 
--- bug_barei_2             0.01 
--- bug_c_dp                0.02 
--- bug_chin                0.01 
--- bug_charseries          0.04 
--- bug_factorize           0.03 
--- bug_homog               0.01 
--- bug_interpol            0.36 
--- bug_mres                0.06 
--- bug_napMultT            0.04 
--- bug_pd                  5.28 
--- bug_primdec             0.05 
--- bug_qring               0.00 
--- bug_qslimgb             0.03 
--- bug_qslimgb1            0.02 
--- bug_radcon              0.03 
--- bug_rp                  0.01 
--- brnoeth_s 
85c85
<    _[2]=x+1
---
>    _[2]=x+y+1
88c88
<    _[2]=x+y
---
>    _[2]=x+1
91c91
<    _[2]=x+y+1
---
>    _[2]=x+y
124c124
<    _[2]=x+1
---
>    _[2]=x+y+1
127c127
<    _[2]=x+y+1
---
>    _[2]=x+y
130c130
<    _[2]=x+y2
---
>    _[2]=x+y2+1
133c133
<    _[2]=x+y2+y
---
>    _[2]=x+y2
139c139
<    _[2]=x+y2+1
---
>    _[2]=x+1
142c142
<    _[2]=x+y
---
>    _[2]=x+y2+y
148c148
<    _[2]=x+y2+y+1
---
>    _[2]=x+y
151c151
<    _[2]=x+y2+y
---
>    _[2]=x+y2+1
154c154
<    _[2]=x+y2+1
---
>    _[2]=x+y+1
160c160
<    _[2]=x+y
---
>    _[2]=x+1
163c163
<    _[2]=x+1
---
>    _[2]=x+y2+y
166c166
<    _[2]=x+y+1
---
>    _[2]=x+y2+y+1
211c211
<    _[2]=x2+x+y
---
>    _[2]=x2+xy+x+1
217c217
<    _[2]=x2+xy+x+1
---
>    _[2]=x2+xy+y
223c223
<    _[2]=x2+xy+y
---
>    _[2]=x2+x+y
229c229
<    _[2]=x+y+1
---
>    _[2]=x+1
232c232
<    _[2]=x+1
---
>    _[2]=x+y
235c235
<    _[2]=x+y
---
>    _[2]=x+y+1
241c241
<    _[2]=x+y2+y
---
>    _[2]=x+y3+y+1
244c244
<    _[2]=x+y
---
>    _[2]=x+y3+y2+y+1
247c247
<    _[2]=x+y+1
---
>    _[2]=x+y3+y
250c250
<    _[2]=x+y2+y+1
---
>    _[2]=x+y3+y2+y
265c265
<    _[2]=x+y3+y2+y
---
>    _[2]=x+1
268c268
<    _[2]=x+y3+y+1
---
>    _[2]=x+y2
271c271
<    _[2]=x+y3+y2+y+1
---
>    _[2]=x+y2+y
274c274
<    _[2]=x+y3+y
---
>    _[2]=x+y+1
277c277
<    _[2]=x+y2
---
>    _[2]=x+y
280c280
<    _[2]=x+1
---
>    _[2]=x+y2+y+1
!!! brnoeth_s : Differences in res files
--- cyc5_lp                 0.18 
--- bug_sres                0.12 
--- bug_sres_betti          0.11 
--- bug_sres_cyc5           0.04 
--- classify_s              0.07 
--- dbm_s                   0.01 
--- deform_s                0.14 
--- div_lift_s              0.02 
--- eliminate_1             0.02 
--- eliminate_3             0.30 
--- eliminate_4             0.14 
--- eliminate_5             0.03 
--- eliminate_7             0.07 
--- elimlib_s               0.04 
--- equising_s              7.76 
--- facstd                  5.82 
--- fetch_s                 0.05 
--- fglm1_s                 0.19 
--- fglmquot1_s             0.01 
--- finduni_s               0.66 
--- finvar_s                1.05 
--- finvarlb                1.09 
--- gaussm_ex               0.73 
--- gaussm_s                0.41 
--- gcd0_s                  0.03 
--- gcdp_s                  0.02 
--- Gonnet-83_32003_dp_slim 0.05 
--- Gonnet-83_1_32003_dp_slim 3.02 
;MP general_s
--- graphics                0.03 
--- groebner_s              0.06 
--- highcorner_s            0.02 
--- hilb_weights            0.04 
--- hnoether_s 
275c275
< // new minimal polynomial: a12+a11-a10-a9+a8-a6+a5+a4-a3-a2+1
---
> // new minimal polynomial: a12+a11-a10-a8-a6-1
285c285
<   y = (a^11+a^10-a^9-a^8+a^6+a^4-a^3+a^2)*x
---
>   y = (-a^11-a^10-a^9+a^7+a^6+a^5-a^4+a^3-a^2-a)*x
288c288
<   y = (-a^11-a^10+a^9+a^8-a^6-a^4+a^3-a^2)*x
---
>   y = (a^11+a^10+a^9-a^7-a^6-a^5+a^4-a^3+a^2+a)*x
291c291
<   y = (-a^11-a^10-a^9+a^8-a^6-a^4+a^3-a^2+a)*x
---
>   y = (a^10-a^8+a^7+a^6+a^5+a^4-a^2+1)*x
294c294
<   y = (a^11-a^10+a^8+a^4-a^3+a)*x
---
>   y = (-a^10-a^9+a^8-a^7-a^6-a^5-a^4+a^2-a)*x
297c297
<   y = (-a^10+a^9+a^8+a^6+a^2+a+1)*x
---
>   y = (a^9+a)*x
300c300
<   y = (-a^11+a^10-a^8-a^4+a^3+a+1)*x
---
>   y = (-a^11+a^10-a^9+a^8+a^4+a^3+a)*x
303c303
<   y = (a^10+a^9-a^8-a^6-a^2-a)*x
---
>   y = (-a^11-a^9-a^8-a^7-a^6-a^5+a^3+a^2+1)*x
306c306
<   y = (a^9+a^3+a)*x
---
>   y = (a^11+a^10-a^9-a^7-a^6-a^5+a^4+a^2-a)*x
309c309
<   y = (a^11+a^10+a^9-a^8+a^6+a^4+a^3+a^2-a+1)*x
---
>   y = (a^11+a^10-a^7-a^6-a^5+a^4+a^3+a^2+1)*x
!!! hnoether_s : Differences in res files
--- homolog_s               0.31 
--- hres_s                  0.07 
--- imap                    0.03 
--- intdet_s                0.03 
--- intersect_s             0.03 
--- invar                   0.12 
--- invarlib                0.08 
--- latex                   0.30 
--- lift_s                  0.02 
--- liftstd_s               0.03 
--- lres_s                  0.11 
--- minor_s                 0.03 
--- modulo_s                0.02 
--- monodromy_s             0.12 
--- mora_10                 0.10 
--- mora_5                  0.40 
--- mora_6                  0.06 
--- mora_7                  0.18 
--- mora_9                  0.38 
--- mpsr_s Warning: mpsr_s not tested: needs MP
--- mres_s                  0.05 
--- normal                  1.68 
--- pAddManyVarsManyL_s     8.84 
--- pAddManyVars_s          1.00 
--- pAdd_s                  2.77 
--- pMultManyVarsManyL_s    10.75 
--- pMultManyVars_s         1.43 
--- pMult_s                 2.06 
--- polylib_s               0.11 
--- primdec2                0.72 
--- primdec3                150.16 
--- primdec_s 
1209c1209
<    _[2]=x+y+1
---
>    _[2]=x-y
1212c1212
<    _[2]=x-y
---
>    _[2]=x+y+1
1345c1345
<    _[2]=x+y+1
---
>    _[2]=x-y+1
1348c1348
<    _[2]=x-y+1
---
>    _[2]=x+y+1
1363c1363
<    _[2]=x-y
---
>    _[2]=x+y+1
1366c1366
<    _[2]=x+y+1
---
>    _[2]=x-y
1421c1421
<       _[2]=x-y
---
>       _[2]=x+y+1
1424c1424
<       _[2]=x-y
---
>       _[2]=x+y+1
1428c1428
<       _[2]=x+y+1
---
>       _[2]=x-y
1431c1431
<       _[2]=x+y+1
---
>       _[2]=x-y
1463c1463
<       _[2]=x-y+1
---
>       _[2]=x+y+1
1466c1466
<       _[2]=x-y+1
---
>       _[2]=x+y+1
1470c1470
<       _[2]=x+y+1
---
>       _[2]=x-y+1
1473c1473
<       _[2]=x+y+1
---
>       _[2]=x-y+1
1494c1494
< m[3,2]=xy+y-1
---
> m[3,2]=xy+y+1
1496c1496
< m[4,2]=xy+y+1
---
> m[4,2]=xy+y-1
1506c1506
< m[9,2]=xy-x-y-1
---
> m[9,2]=xy-x-y
1508c1508
< m[10,2]=xy-x-y
---
> m[10,2]=xy-x-y-1
!!! primdec_s : Differences in res files
--- primitiv_s              0.05 
--- qhw_s                   0.13 
--- quotient_s              0.01 
--- rInit                   0.10 
--- reduce_s                0.01 
--- res_s                   0.08 
--- resultantp_s            0.04 
--- ringsum                 0.01 
--- sheafcoh_s              5.98 
--- sing_s                  0.07 
--- slimgb_s                0.72 
--- slimgb_rcyclic12_32003_dp 0.05 
--- slimgb_rcyclic13_32003_dp 0.08 
--- slimgb_rcyclic14_32003_dp 0.12 
--- slimgb_rcyclic15_32003_dp 0.21 
--- slimgb_rcyclic12_32003_lp 0.07 
--- slimgb_rcyclic13_32003_lp 0.21 
--- solve_s                 0.31 
--- spcurve                 0.13 
--- sres_s                  0.14 
--- std_s                   0.75 
;MP stratify
--- string                  0.04 
--- test_c_dp               0.06 
--- triang_s                0.21 
--- tst_s                   0.02 
ok_s Summary: Checks:159 Failed:5 Time:247.58

Attachment: signature.asc
Description: Digital signature

Reply via email to