#28758 closed defect (fixed)

random output in a giacpy_sage doctest

Reported by: gh-mwageringel 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 23 months ago by gh-mwageringel

  • Branch set to u/gh-mwageringel/28758
  • Commit set to d2dcbb6d4bd5ca12e9ebef01303c17497d28fabe
  • Keywords giacpy_sage added
  • Status changed from new to needs_review

New commits:

d2dcbb628758: fix random output in giacpy_sage doctest

comment:2 Changed 23 months ago by chapoton

  • Reviewers set to Frédéric Chapoton
  • Status changed from needs_review to positive_review

ok, thx

comment:3 Changed 22 months ago by vbraun

  • Branch changed from u/gh-mwageringel/28758 to d2dcbb6d4bd5ca12e9ebef01303c17497d28fabe
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.