Opened 4 years ago
Closed 20 months ago
#24377 closed PLEASE CHANGE (invalid)
Wrong results when using singular functions
Reported by: | enriqueartal | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | algebraic geometry | Keywords: | singular |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | Reported upstream. No feedback yet. | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
In sage (version 8.1, but 8.0 has the same issue) I have the following code: R.<x,y>=PolynomialRing??(QQ,order='neglex') f=(y2+x3)*(y2+x3+x2*y) singular.lib("all.lib") f._singular_().bernstein()
I guess this is equivalent to the following singular code LIB "all.lib"; ring r=0,(x,y),ds; poly f=(y2+x3)*(y2+x3+x2y) bernstein(f)
The results differ: -11/7 is a root in the first case, while -4/7 in the second (and I think there are theoretical results that ensure the second one is correct); moreover in both cases, when using bfct -4/7 is the root (bfct uses another algorithm to compute the Bernstein-Sato polynomial). The Singular computations are done using both an external Singular installation and the Sage one.
In other cases I had communication problems between singular and sage leading to output errors, but in this case it produces (a non evident) mathematical wrong result.
Change History (2)
comment:1 Changed 4 years ago by
comment:2 Changed 20 months ago by
- Milestone changed from sage-8.2 to sage-duplicate/invalid/wontfix
- Resolution set to invalid
- Status changed from new to closed
After discussion with upstream, it is related to the dependence on orderings of the rings, so I guess it can be closed.