#14749: check whether gprc.expect exists
-------------------------------------+-------------------------------------
Reporter: felixs | Owner: Felix Salfelder
Type: enhancement | Status: needs_work
Priority: trivial | Milestone: sage-6.1
Component: doctest coverage | Resolution:
Keywords: gp, expect, | Merged in:
configuration | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | 9d184af8dafb82353ee8280e9da0601aff3c736c
u/jdemeyer/ticket/14749 | Stopgaps:
Dependencies: #14750 |
-------------------------------------+-------------------------------------
Changes (by jdemeyer):
* status: needs_review => needs_work
* commit: => 9d184af8dafb82353ee8280e9da0601aff3c736c
Comment:
I still find the comment
{{{
EXAMPLES: We illustrate objects that wrap GP objects (gp is the
interpreter, gprc.expect is a requirement).::
}}}
very confusing. Why not separate this in two pieces (such that is clear
that you're first testing `gprc.expect`, then the `gp` interpreter).
----
New commits:
||[[http://git.sagemath.org/sage.git/commit/?id=9d184af|9d184af]]||{{{Merge
commit '05cda7723684f2fd7fed058d06f399a170a25423' into ticket/14749}}}||
||[[http://git.sagemath.org/sage.git/commit/?id=05cda77|05cda77]]||{{{use
"isfile", not just "exists" within gprc.expect check}}}||
||[[http://git.sagemath.org/sage.git/commit/?id=f028367|f028367]]||{{{fix
comment above gprc.expect check}}}||
||[[http://git.sagemath.org/sage.git/commit/?id=33ca380|33ca380
]]||{{{python-sage: check whether gprc.expect is available (#14749)}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/14749#comment:11>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
