#9584: Weird timeouts in doctesting generic_graph with 4.5.2.alpha0 on some
systems
--------------------------------------------------------------+-------------
Reporter: mpatel | Owner:
mvngu
Type: defect | Status:
closed
Priority: blocker | Milestone:
sage-4.5.2
Component: doctest | Resolution:
fixed
Keywords: generic_graph, generic graph, time-out, time out | Author:
Leif Leonhardy
Upstream: N/A | Reviewer:
John Palmieri
Merged: sage-4.5.2.alpha1 | Work_issues:
--------------------------------------------------------------+-------------
Comment(by leif):
Replying to [comment:49 ncohen]:
> [...] if Sage is exporting invalid linear programs, that's a very bad
news, as it does it using GLPK. So if the problem stored in the file is
invalid, then the problem solved by GLPK should be too, as they behave the
same way [...]
Well, Sage does not run {{{glpsol}}} on a generated file, but uses the
library interface, so there's a slight difference, and: names are only set
when calling {{{write_mps()}}} or {{{write_lp()}}} - which goes wrong
somehow in at least two cases. (I'm calling both {{{p.write_mps()}}} and
{{{p.write_lp()}}} right before {{{p.solve()}}} in
{{{GenericGraph.edge_disjoint_spanning_trees()}}}, and afterwards run
{{{glpsol (--freemps|--lp)}}} on those files.)
{{{
$ local/bin/glpsol --freemps
../trac_9584-edge_disjoint_spanning_trees-5.mps
GLPSOL: GLPK LP/MIP Solver, v4.44
Parameter(s) specified in the command line:
--freemps ../trac_9584-edge_disjoint_spanning_trees-5.mps
Reading problem data from
`../trac_9584-edge_disjoint_spanning_trees-5.mps'...
../trac_9584-edge_disjoint_spanning_trees-5.mps:8: warning: missing model
name in field 3
Objective: R0000000
../trac_9584-edge_disjoint_spanning_trees-5.mps:1735: duplicate
coefficient in row `R0000001'
MPS file processing error
$ local/bin/glpsol --lp ../trac_9584-edge_disjoint_spanning_trees-5.lp
GLPSOL: GLPK LP/MIP Solver, v4.44
Parameter(s) specified in the command line:
--lp ../trac_9584-edge_disjoint_spanning_trees-5.lp
Reading problem data from
`../trac_9584-edge_disjoint_spanning_trees-5.lp'...
../trac_9584-edge_disjoint_spanning_trees-5.lp:7: multiple use of variable
`V0(None)((0,_1))' not allowed
CPLEX LP file processing error
}}}
> So if the files are invalid, that's a very bad news indeed !!
Indeed, though the GLPK ''library'' works on th 64-bit system. On the
32-bit system where the doctest did not terminate, it's actually the
solver that runs "forever" (trying to find a solution) - I do not yet know
why... :(
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9584#comment:50>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
