Opened 3 years ago

Closed 3 years ago

#28758 closed defect (fixed)

random output in a giacpy_sage doctest

Reported by: Markus Wageringel Owned by:
Priority: minor Milestone: sage-9.0
Component: interfaces: optional Keywords: giacpy_sage
Cc: Merged in:
Authors: Markus Wageringel Reviewers: Frédéric Chapoton
Report Upstream: N/A Work issues:
Branch: d2dcbb6 (Commits, GitHub, GitLab) Commit: d2dcbb6d4bd5ca12e9ebef01303c17497d28fabe
Dependencies: Stopgaps:

Status badges

Description

The following giacpy_sage doctest runs a probabilistic check and sometimes fails when it prints less than usual.

sage -t --long --warn-long 39.5 src/sage/libs/giac.py
**********************************************************************
File "src/sage/libs/giac.py", line 209, in sage.libs.giac.?
Failed example:
    B1 = gb_giac(I.gens(),1e-16) # optional - giacpy_sage, long time (1s)
Expected:
    ...adding reconstructed ideal generators...
    ...
    Running a probabilistic check for the reconstructed Groebner basis.
    If successfull, error probability is less than 1e-16 ...
Got:
    Running a probabilistic check for the reconstructed Groebner basis. If successfull, error probability is less than 1e-16 and is estimated to be less than 10^-63. Use proba_epsilon:=0 to certify (this takes more time).
    // Groebner basis computation time 0.88 Memory 181.284M

This has occured a few times in the patchbot results, for example here.

Change History (3)

comment:1 Changed 3 years ago by Markus Wageringel

Branch: u/gh-mwageringel/28758
Commit: d2dcbb6d4bd5ca12e9ebef01303c17497d28fabe
Keywords: giacpy_sage added
Status: newneeds_review

New commits:

d2dcbb628758: fix random output in giacpy_sage doctest

comment:2 Changed 3 years ago by Frédéric Chapoton

Reviewers: Frédéric Chapoton
Status: needs_reviewpositive_review

ok, thx

comment:3 Changed 3 years ago by Volker Braun

Branch: u/gh-mwageringel/28758d2dcbb6d4bd5ca12e9ebef01303c17497d28fabe
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.