Changes between Initial Version and Version 3 of Ticket #21884


Ignore:
Timestamp:
11/19/16 08:37:38 (6 years ago)
Author:
frederichan
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21884

    • Property Commit changed from to 7accb23f1cdc56138d12e8145fc4d378f0fdf077
    • Property Dependencies changed from #21860 to
    • Property Branch changed from to public/giacpy21884
  • Ticket #21884 – Description

    initial v3  
    2727    cumulative wall time: 9.1 seconds
    2828}}}
     29
     30in fact it is related to the singular update #17254 where all the
     31{{{
     32if r.ringtype == 0:
     33}}}
     34were replaced by
     35{{{
     36if r.cf.type == n_unknown:
     37}}}
     38but it seems not equivalent with QQ coefficients.
     39
     40Remarks: The interred_libsingular function of multi_polynomial_ideal_libsingular.pyx
     41ends with an explicit:
     42{{{
     43# divide head by coeffi
     44...
     45}}}
     46and the groebner_basis function doc have still five examples giving:
     47{{{
     48[a - 60*c^3 + 158/7*c^2 + 8/7*c - 1, b + 30*c^3 - 79/7*c^2 + 3/7*c, c^4 - 10/21*c^3 + 1/84*c^2 + 1/84*c]
     49}}}
     50so what is the best thing for the interreduced_basis command to output?